caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] using ocamlc
@ 2013-06-18 13:18 Gergely Buday
  2013-06-18 14:39 ` Stéphane Glondu
  0 siblings, 1 reply; 2+ messages in thread
From: Gergely Buday @ 2013-06-18 13:18 UTC (permalink / raw)
  To: caml-list

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

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2013-06-18 14:39 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-06-18 13:18 [Caml-list] using ocamlc Gergely Buday
2013-06-18 14:39 ` Stéphane Glondu

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).