Re: [CIL users] problem installing CIL under cygwin

[<Chr...@pa...>]

Adam -

We have been using all OCaml versions from 3.08.1
up to 3.10.0 and they all work under our Cygwin
environment.  I do not say it is always easy to
get them working.


>Trying to install CIL 1.3.6 on a recent Cygwin setup with OCaml 3.08.1.
>The 'configure' phase appears to succeed but the 'make' phase drops out
>with the following:
>
>Compiling           src/cil.ml to bytecode
> >> Fatal error: Primitive new_variables not found.
>Fatal error: exception Misc.Fatal_error
>make: *** [obj/x86_WIN32/cil.cmo] Error 2

Sadly, Your error message isn't indicative of a particular
problem (AFAIK).  Sometimes "Primitive ... not found."
shows up if the OCaml byte-compiler version does not match
the ocamlrun executable.

Compile and run a simple OCaml program with the byte-compiler
to check Your OCaml installation.  If the problem shows up
there it is at least easier to debug.

HTH
/Chris

--
Dr. Christoph L. Spiel
BMW Forschungs- und Innovationszentrum, EA-410
Lauchstaedterstrasse 5, 80995 Muenchen