[Caml-list] using ocamlc

[Gergely Buday <gbuday@gmail.com>]

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