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 discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id DC104BC0A for ; Wed, 14 Feb 2007 21:02:07 +0100 (CET) Received: from spartacus.cs.unipr.it (spartacus.cs.unipr.it [160.78.167.140]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l1EK27fE029904 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Wed, 14 Feb 2007 21:02:07 +0100 Received: from [192.168.1.1] (host108-217-static.104-80-b.business.telecomitalia.it [80.104.217.108]) (authenticated bits=0) by spartacus.cs.unipr.it (8.13.7/8.13.7) with ESMTP id l1EK1wsL022734 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Wed, 14 Feb 2007 21:02:01 +0100 Message-ID: <45D36AB6.2030007@cs.unipr.it> Date: Wed, 14 Feb 2007 21:01:58 +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: caml-list@yquem.inria.fr Subject: ocamlc problem on Mac OS X Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at discorde with ID 45D36ABF.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocamlc:01 mlgmp:01 monniaux:01 invokes:01 ocamlc:01 -custom:01 cmo:01 gcc:01 lib:01 ocaml':01 '-l:01 lib:01 ocaml':01 '-l:01 ocaml:01 I have a problem compiling mlgmp (http://www.di.ens.fr/~monniaux/programmes.html.en) under Mac OS X. At some stage, the make process invokes 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 and thus in the error /usr/bin/ld: -L: directory name missing For comparison, under Linux the ocamlc command above results into gcc -Wl,-E -o 'test_suite' -I'/usr/lib/ocaml' /tmp/camlprim8c1318.c '-L/usr/lib/ocaml' '-lmlgmp' '-L.' \ '-L/usr/lib' '-Wl,-rpath' '/usr/lib' '-lmpfr' '-lgmp' '-L/usr/lib/ocaml/gmp' -lcamlrun -lm -ldl -lcurses -lpthread which seems to suggest there is a bug in ocamlc (at least in the Mac OS X version). Notice that using Objective Caml version 3.09.3 from Fink or version 3.09.2 from DarwinPorts does not make any difference. Does anyone know what the problem might be? All the best, 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