From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA06992; Mon, 23 Sep 2002 10:17:49 +0200 (MET DST)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA06825 for <caml-list@pauillac.inria.fr>; Mon, 23 Sep 2002 10:17:48 +0200 (MET DST)
Received: from nef.ens.fr (nef.ens.fr [129.199.96.32])
	by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g8N8HlD27429
	for <caml-list@inria.fr>; Mon, 23 Sep 2002 10:17:47 +0200 (MET DST)
Received: from dmi.ens.fr (dmi.ens.fr [129.199.96.11])
          by nef.ens.fr (8.10.1/1.01.28121999) with ESMTP id g8N8HlB15443
          for <caml-list@inria.fr>; Mon, 23 Sep 2002 10:17:47 +0200 (CEST)
Received: from basilic.ens.fr (monniaux@basilic [129.199.99.48]) by dmi.ens.fr (8.10.1/jb-1.3-180200)
	id g8N8Hkh07331 for <caml-list@inria.fr>; Mon, 23 Sep 2002 10:17:46 +0200 (MET DST)
Received: from localhost (monniaux@localhost) by basilic.ens.fr (8.11.0/jb-1.1)
	id g8N8Hjd00660 for <caml-list@inria.fr>; Mon, 23 Sep 2002 10:17:45 +0200 (MEST)
X-Authentication-Warning: basilic.ens.fr: monniaux owned process doing -bs
Date: Mon, 23 Sep 2002 10:17:45 +0200 (MEST)
From: David Monniaux <David.Monniaux@ens.fr>
X-Sender: monniaux@basilic.ens.fr
To: Liste CAML <caml-list@inria.fr>
Subject: [Caml-list] mlgmp on MacOS X.2
Message-ID: <Pine.GSO.4.03.10209231014100.604-100000@basilic.ens.fr>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=ISO-8859-1
Content-Transfer-Encoding: 8BIT
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk

For those interested:

The gcc compiler shipping with MacOS X.2 reacts incorrectly to option
-ggdb (which normally means: output supplementary debugging information
suitable for gdb). This option makes it output incorrect assembly code, on
which the assembler chokes.

The solution is to replace -ggdb by -g in the Makefile.


Regards,

David Monniaux            http://www.di.ens.fr/~monniaux
Laboratoire d'informatique de l'École Normale Supérieure,
Paris, France

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners