SRI-CSL / llvm2smt

Experimental translation of llvm to smt.
MIT License
57 stars 14 forks source link

Compilation error #8

Open pkalita595 opened 10 months ago

pkalita595 commented 10 months ago

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?

ianamason commented 10 months ago

Sorry no. My guess is it's an issue with the versions of ocaml being used.