Unable to build against OCaml 4.06.0
I'm trying to build 0.88.3 using the current latest release of OCaml (4.06.0) under Linux. Unfortunately, it seems to fail at this part during the make process:
[...] mkdir lib/plugins Linking lib/plugins/genequlin.cmxs Linking lib/plugins/dimacs.cmxs Ocamlc src/util/config.ml Ocamlopt src/util/config.ml Ocamlc src/util/bigInt.mli Ocamlopt src/util/bigInt.ml File "src/util/bigInt.ml", line 12, characters 5-12: Error: Unbound module Big_int make: *** [Makefile:1900: src/util/bigInt.cmx] Error 2
It's my understanding that Zarith should provide Big_int, which I can see in my config.status is found and enabled:
S["BIGINTPKG"]="zarith" S["BIGINTLIB"]="zarith" S["BIGINTINCLUDE"]="-I /usr/lib/ocaml/zarith" S["enable_zarith"]="yes"
I am able to reproduce this on both Arch and Ubuntu with the same results. If I try building it using older OCaml releases, it works. Please let me know if there's any additional information that I can provide.