caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Roberto Bagnara <bagnara@cs.unipr.it>
To: Xavier Leroy <Xavier.Leroy@inria.fr>
Cc: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] ocamlc problem on Mac OS X
Date: Tue, 13 Mar 2007 17:12:14 +0100	[thread overview]
Message-ID: <45F6CD5E.6080106@cs.unipr.it> (raw)
In-Reply-To: <45F6AB28.5010802@inria.fr>

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


      reply	other threads:[~2007-03-13 16:13 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2007-03-13  5:44 Roberto Bagnara
2007-03-13 13:46 ` [Caml-list] " Xavier Leroy
2007-03-13 16:12   ` Roberto Bagnara [this message]

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=45F6CD5E.6080106@cs.unipr.it \
    --to=bagnara@cs.unipr.it \
    --cc=Xavier.Leroy@inria.fr \
    --cc=caml-list@yquem.inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).