Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Error on the installation: Cannot find file camlp5o.cma #29

Open
asr opened this issue Dec 11, 2016 · 1 comment
Open

Error on the installation: Cannot find file camlp5o.cma #29

asr opened this issue Dec 11, 2016 · 1 comment

Comments

@asr
Copy link
Contributor

asr commented Dec 11, 2016

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)
@01mf02
Copy link

01mf02 commented Mar 16, 2017

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

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants