hol-light icon indicating copy to clipboard operation
hol-light copied to clipboard

Error on the installation: Cannot find file camlp5o.cma

Open asr opened this issue 9 years ago • 1 comments

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)

asr avatar Dec 11 '16 02:12 asr

Thank you for your solution, it worked for me as well:

$ ocaml -I `camlp5 -where` camlp5o.cma

01mf02 avatar Mar 16 '17 06:03 01mf02