Unable to build against OCaml 4.06.0
Hello,
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.