[CIL users] how to add extra ocaml library to cil

2011-09-13 Thread 823797879
eface.ml" in the form of "open sqlite3Interface") So i encounter a problem? From my view , "ciltest.ml" should be built like this : ocamlc -o xxx sqlite3.cma sqlite3Interface.cmo ciltest.ml. Then how to add this build rule into cil Makefile or maybe other files to get a

[CIL users] cil building errors with ocaml 3.11 and msvc on windows

2011-08-15 Thread 823797879
i32.lib ws2_32.lib /Zi /Od camlprim86b256.c ** Fatal error: Cannot find file "/Zi" File "_none_", line 1, characters 0-1: Error: Error while building custom runtime system make: *** [obj/x86_WIN32/cilly.byte.exe] Error 2 So can you give