llvm2smt icon indicating copy to clipboard operation
llvm2smt copied to clipboard

Compilation error

Open pkalita595 opened this issue 1 year ago • 1 comments

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?

pkalita595 avatar Dec 16 '23 13:12 pkalita595

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

ianamason avatar Dec 18 '23 01:12 ianamason