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 27124BC6B for ; Tue, 13 Mar 2007 06:45:13 +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 l2D5jCRx013084 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Tue, 13 Mar 2007 06:45:12 +0100 Received: from [192.168.1.1] (host63-217-static.104-80-b.business.telecomitalia.it [80.104.217.63]) (authenticated bits=0) by spartacus.cs.unipr.it (8.13.7/8.13.7) with ESMTP id l2D5ihk5001601 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Tue, 13 Mar 2007 06:45:09 +0100 Message-ID: <45F63A4A.9090009@cs.unipr.it> Date: Tue, 13 Mar 2007 06:44:42 +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 concorde with ID 45F63A68.001 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 Dear all, 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