From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 35C1BBC6B for ; Tue, 13 Mar 2007 14:46:20 +0100 (CET) Received: from [128.93.11.95] (estephe.inria.fr [128.93.11.95]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l2DDkG1t016730; Tue, 13 Mar 2007 14:46:17 +0100 Message-ID: <45F6AB28.5010802@inria.fr> Date: Tue, 13 Mar 2007 14:46:16 +0100 From: Xavier Leroy User-Agent: Thunderbird 1.5.0.7 (X11/20060915) MIME-Version: 1.0 To: Roberto Bagnara Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] ocamlc problem on Mac OS X References: <45F63A4A.9090009@cs.unipr.it> In-Reply-To: <45F63A4A.9090009@cs.unipr.it> X-Enigmail-Version: 0.94.0.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 45F6AB29.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocamlc:01 mlgmp:01 ocamlc:01 -custom:01 cmo:01 gcc:01 lib:01 ocaml':01 '-l:01 lib:01 ocaml':01 '-l:01 ocaml:01 -lcamlrun:01 -lcurses:01 > I have a problem compiling mlgmp > ocamlc -g -custom gmp.cma test_suite.cmo -o test_suite > which results into > gcc -o 'test_suite' -I'/opt/local/lib/ocaml' > /tmp/camlprimd07b82.c '-L/opt/local/lib/ocaml' '-lmlgmp' '-L.' \ > '-L' '-Wl,-rpath' '-lmpfr' '-lgmp' '-L/opt/local/lib/ocaml/gmp' > -lcamlrun -lcurses -lpthread > which seems to suggest there is a bug in ocamlc (at least in the Mac OS > X version). I believe the problem comes from the way your configured mlgmp in your Mac OS X build. If I guess correctly, in Makefile you left GMP_LIBDIR empty and kept the Linux definition of RLIBFLAGS instead of selecting the MacOS X one. You will be readily excused, as mlgmp's configuration is hardly described. But if you have further problems, may I suggest you take them with the author of mlgmp first? - Xavier Leroy