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=none 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 15174BC0A; Tue, 13 Mar 2007 17:13:31 +0100 (CET) Received: from spartacus.cs.unipr.it (spartacus.cs.unipr.it [160.78.167.140]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l2DGDUQI025858 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Tue, 13 Mar 2007 17:13:30 +0100 Received: from [192.168.1.1] (host92-218-static.104-80-b.business.telecomitalia.it [80.104.218.92]) (authenticated bits=0) by spartacus.cs.unipr.it (8.13.7/8.13.7) with ESMTP id l2DGCHJj029176 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Tue, 13 Mar 2007 17:13:25 +0100 Message-ID: <45F6CD5E.6080106@cs.unipr.it> Date: Tue, 13 Mar 2007 17:12:14 +0100 From: Roberto Bagnara Organization: Department of Mathematics, University of Parma, Italy User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.12) Gecko/20050929 Thunderbird/1.0.7 Fedora/1.0.7-1.1.fc4 Mnenhy/0.7.3.0 MIME-Version: 1.0 To: Xavier Leroy Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] ocamlc problem on Mac OS X References: <45F63A4A.9090009@cs.unipr.it> <45F6AB28.5010802@inria.fr> In-Reply-To: <45F6AB28.5010802@inria.fr> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 45F6CDAA.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 Xavier Leroy wrote: >> 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. Thanks Xavier: I have been told (I do not use Mac OS X myself) that that was indeed the problem. > But if you have further problems, > may I suggest you take them with the author of mlgmp first? This is what I did one month ago, but got no answer. Moreover, it seemed that ocamlc was generating an invalid gcc '-L' option. Thanks a lot, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it