hol-light
hol-light copied to clipboard
Error on the installation: Cannot find file camlp5o.cma
I'm not familiar with the Ocaml tool-chain. Following the instructions in the README, I got the following problem:
$ make
$ ocaml
# #use "hol.ml";;
val hol_version : string = "2.20++"
val hol_dir : string ref = {contents = "/home/asr/src/hol-light"}
val temp_path : string ref = {contents = "/tmp"}
Cannot find file camlp5o.cma.
- : unit = ()
Exception: Symtable.Error _.
From this and this comments (I don't know in which language these comments were written), I could fix my problem by running
$ ocaml -I `camlp5 -where` camlp5o.cma
instead of
$ ocaml
Is there something missing in the Makefile?
$ ocaml --version
The OCaml toplevel, version 4.03.0
$ camlp5 -v
Camlp5 version 6.16 (ocaml 4.03.0)
Thank you for your solution, it worked for me as well:
$ ocaml -I `camlp5 -where` camlp5o.cma