Hi,
After I installed CIL and ./configure under cil directory, when I tried to
make, I got this error message:
ocamlbuild -build-dir _build -no-links -classic-display src/cil.cma
ocamlc.opt -c -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o
src/cilint.cmi src/cilint.mli
+ ocamlc.opt -c -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o
src/cilint.cmi src/cilint.mli
File "src/cilint.mli", line 6, characters 36-51:
Error: Unbound module Big_int
Command exited with code 2.
make: *** [_build/src/cil.cma] Error 10
If I execute “ocaml install num”, it said num has been installed. How can I fix
the error? Thank you in advance!
Best,
Kaidi Wang
Department of Computer Science
Virginia Tech
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users