llvm2smt
llvm2smt copied to clipboard
Compilation error
Hi, I could not install the tool. I am getting the following error.
ocamllex lllex.mll -o lllex.ml
73 states, 3483 transitions, table size 14370 bytes
ocamlyacc llparse.mly
28 reduce/reduce conflicts.
ocamldep -native *.ml *.mli > .depend
File "bc_manip.ml", line 368, characters 15-16:
Syntax error
File "bc_pp.ml", line 106, characters 30-31:
Syntax error
Makefile:113: recipe for target '.depend' failed
make: *** [.depend] Error 2
Ocaml version 3.10.1 Is there any Docker available for this tool?
Sorry no. My guess is it's an issue with the versions of ocaml being used.