From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <steph@glondu.net>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 388BA81793
	for <caml-list@sympa.inria.fr>; Tue, 18 Jun 2013 16:39:14 +0200 (CEST)
X-IronPort-AV: E=Sophos;i="4.87,889,1363129200"; 
   d="scan'208";a="18178333"
Received: from wencory.loria.fr (HELO [152.81.3.42]) ([152.81.3.42])
  by mail3-relais-sop.national.inria.fr with ESMTP; 18 Jun 2013 16:39:14 +0200
Message-ID: <51C07111.8060809@glondu.net>
Date: Tue, 18 Jun 2013 16:39:13 +0200
From: =?ISO-8859-1?Q?St=E9phane_Glondu?= <steph@glondu.net>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130518 Icedove/17.0.5
MIME-Version: 1.0
To: caml-list@inria.fr
References: <CA+3iOzks0bHbp4eKuxtTqyMAuTxbmyPnYmXsHb-b4KAWEjdh4w@mail.gmail.com>
In-Reply-To: <CA+3iOzks0bHbp4eKuxtTqyMAuTxbmyPnYmXsHb-b4KAWEjdh4w@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
Subject: Re: [Caml-list] using ocamlc

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