[Caml-list] using ocamlc

[Caml-list] using ocamlc

[Gergely Buday]

Hi there,

I want to use ocaml as a compiler for the LEO-II theorem prover. I
guess the following error should tell more to OCaml experts than to
the author of the prover:

$ make
ocamlc  -g -I ./calculus/ -I ./datastructure/ -I ./general/ -I
./interfaces/ -I ./interfaces/minisat/ -I ./interfaces/translation/ -I
./parser-hotptp/ -I ./toplevel/ unix.cma str.cma
/home/gergoe/local/leo2/src/interfaces/minisat/dllminisatinterface.so
 -pp "camlp4o.opt Camlp4MacroParser.cmxs -DDEBUG " -c
datastructure/darray.mli
Camlp4: Uncaught exception: DynLoader.Error
("./Camlp4MacroParser.cmxs", "error loading shared library:
./Camlp4MacroParser.cmxs: undefined symbol: camlList__combine_254")

File "datastructure/darray.mli", line 1:
Error: Preprocessor error
make: *** [datastructure/darray.cmi] Error 2

I have the version

$ ocamlc -version
4.00.1

What is missing here? I installed OCaml first from yum repository on
my CentOS box, but LEO-II needs OCaml 4.00 so I installed it from
source.

The mentioned cmxs file is in the directory where I call make:

$ find ~/local/ -name Camlp4MacroParser.cmxs
/home/gergoe/local/leo2/src/Camlp4MacroParser.cmxs

- Gergely

Re: [Caml-list] using ocamlc

[Stéphane Glondu]

Le 18/06/2013 15:18, Gergely Buday a écrit :
> $ make
> ocamlc  -g -I ./calculus/ -I ./datastructure/ -I ./general/ -I
> ./interfaces/ -I ./interfaces/minisat/ -I ./interfaces/translation/ -I
> ./parser-hotptp/ -I ./toplevel/ unix.cma str.cma
> /home/gergoe/local/leo2/src/interfaces/minisat/dllminisatinterface.so
>  -pp "camlp4o.opt Camlp4MacroParser.cmxs -DDEBUG " -c
> datastructure/darray.mli
> Camlp4: Uncaught exception: DynLoader.Error
> ("./Camlp4MacroParser.cmxs", "error loading shared library:
> ./Camlp4MacroParser.cmxs: undefined symbol: camlList__combine_254")
> 
> File "datastructure/darray.mli", line 1:
> Error: Preprocessor error
> make: *** [datastructure/darray.cmi] Error 2
> 
> I have the version
> 
> $ ocamlc -version
> 4.00.1
> 
> What is missing here? I installed OCaml first from yum repository on
> my CentOS box, but LEO-II needs OCaml 4.00 so I installed it from
> source.
> 
> The mentioned cmxs file is in the directory where I call make:
> 
> $ find ~/local/ -name Camlp4MacroParser.cmxs
> /home/gergoe/local/leo2/src/Camlp4MacroParser.cmxs

Does your camlp4o.opt match your ocamlc (same location, same -version,
same -where)?


Cheers,

-- 
Stéphane