I am completely new to OCaml, however, I have been given a finished project, which includes the use of the z3 SAT solver, to test and gather data from. I installed everything through Opam however I am getting the below error. I am working on Ubuntu 18.04.
That is I installed Opam, and OCaml 4.08.0 as it's switch and the packages z3, Zarith, and Menhir. I am to setup all packages through Oasis (_oasis file being provided with the project). I also followed this as the developer warned me that there may be some issues with binding OCaml to z3. When presented with this error I tried to reinstall the switch as suggested here, however to no avail.
These are the steps which I'm taking to compile the project:
$ oasis setup -setup-update dynamic
$ make
However this results in the below error:
collect2: error: ld returned 1 exit status
File "caml_startup", line 1:
Error: Error during linking
Command exited with code 2.
Compilation unsuccessful after building 57 targets (0 cached) in 00:00:16.
E: Failure("Command ''/home/john/.opam/4.08.0/bin/ocamlbuild' src/utils/utils.cma src/utils/utils.cmxa src/utils/utils.a src/utils/utils.cmxs src/parsing/parsing.cma src/parsing/parsing.cmxa src/parsing/parsing.a src/parsing/parsing.cmxs src/definitions/definitions.cma src/definitions/definitions.cmxa src/definitions/definitions.a src/definitions/definitions.cmxs src/definitions/symbolic-controllability/symcontrollability.cma src/definitions/symbolic-controllability/symcontrollability.cmxa src/definitions/symbolic-controllability/symcontrollability.a src/definitions/symbolic-controllability/symcontrollability.cmxs src/main.native -use-menhir -yaccflag --infer -tag debug' terminated with error code 10")
Makefile:7: recipe for target 'build' failed
make: *** [build] Error 1