search

cil-project / cil

C Intermediate Language
Other
348 stars 86 forks source link

Unable to build CIL due to unbound module Big_int #57

Open charmoniumQ opened 1 month ago

charmoniumQ commented 1 month ago 
git clone https://github.com/cil-project/cil
cd cil
./configure
make

results in

+ ocamlfind ocamlc -c -I src -I src/ocamlutil -I src/frontc -I src/ext -I src/ext/zrapp -I src/ext/simplify -I src/ext/simplemem -I src/ext/sfi -I src/ext/pta -I src/ext/partial -I src/ext/oneret -I src/ext/logwrites -I src/ext/logcalls -I src/ext/llvm -I src/ext/liveness -I src/ext/inliner -I src/ext/heapify -I src/ext/epicenter -I src/ext/dataslicing -I src/ext/cqualann -I src/ext/ccl -I src/ext/canonicalize -I src/ext/callgraph -I src/ext/blockinggraph -o src/cilint.cmi src/cilint.mli
File "src/cilint.mli", line 6, characters 36-51:
6 | type cilint = Small of int | Big of Big_int.big_int
                                        ^^^^^^^^^^^^^^^
Error: Unbound module Big_int
Command exited with code 2.
make[1]: *** [Makefile:103: ocamlbuild] Error 10
make[1]: Leaving directory '/home/sam/Downloads/test2/test/cil'
make: *** [Makefile:371: install-local] Error 2

See also https://github.com/jburnim/crest/issues/20

charmoniumQ commented 1 month ago

It seems that #41 fixes that, whenever that gets merged.

michael-schwarz commented 1 month ago

It seems that #41 fixes that, whenever that gets merged.

CIL is no longer being actively maintained (see e.g. the discussion in this PR: https://github.com/cil-project/cil/pull/42), so that PR likely won't be merged ever. There's several forks that see some active development --- these are your best bet if you run into further issues with the original CIL.

pmetzger commented 1 month ago

If someone wants to start maintaining this, I'm sure that could be arranged for.