Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Running ocaml on cygwin

> Have you set CAML_LD_LIBRARY_PATH to C:\Frama-C\lib\stublibs (maybe with
> some additional backslashes)?

> --
> Julien

I did, but with Unix-syntax. With Windows-syntax, configure works, but make fails. Also, Jessie doesn't show up in the plugins list after configure.

-Boris

Ocamlc       src/kernel/config.cmo
File "src/kernel/config.ml", line 5, characters 65-67:
Warning X: illegal backslash escape in string.
File "src/kernel/config.ml", line 6, characters 62-64:
Warning X: illegal backslash escape in string.
File "src/kernel/config.ml", line 7, characters 130-132:
Warning X: illegal backslash escape in string.
File "src/kernel/config.ml", line 1, characters 0-1:
Error: Error-enabled warnings (3 occurrences)
make: *** [src/kernel/config.cmo] Error 2