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=2.6 required=5.0 tests=AWL,DNS_FROM_RFC_POST, SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id CD830BB84 for ; Tue, 9 Dec 2008 08:07:31 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AokBAJeoPUnRVd0Vimdsb2JhbACTID4BAQEKCQwHDwWvAIEDixoBAwEDgwI X-IronPort-AV: E=Sophos;i="4.33,739,1220220000"; d="scan'208";a="18190675" Received: from mail-qy0-f21.google.com ([209.85.221.21]) by mail2-smtp-roc.national.inria.fr with ESMTP; 09 Dec 2008 08:07:22 +0100 Received: by qyk14 with SMTP id 14so1510237qyk.3 for ; Mon, 08 Dec 2008 23:07:21 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:cc:message-id:from:to :in-reply-to:content-type:content-transfer-encoding:mime-version :subject:date:references:x-mailer; bh=xZFFgtNNm0RfjUWismMYx82x0q0rTbQ5EuyQAiR4eOw=; b=qiX6dxNiLrxqJ1+fzFzQmPURlgEGe6LTXnj3cU8waXF8x5UJ/3apxlBVhejNgkYqqJ Aab4hpkm6sQngG2SvVrKh56MIueI5Lv04iRg97DNqBhpGa2owVaGiaZG6xk4UmS/xiF3 gcEZNw2RBKojrnzrzGc/5MTgDJ1H9jFvyodok= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=cc:message-id:from:to:in-reply-to:content-type :content-transfer-encoding:mime-version:subject:date:references :x-mailer; b=iJVhZnQGhYe/DFX5LFxqrA+mm57hNSHA6I8So0KZgPcpF1++R1hYm/Q6oYTx6d+jyA 9gTLNK7O9qM1PYzBHeG4/5j/RT28tOss9uaylEJJ5CjYMe/0oKNUYGAZcAAfpZKmr0OO TiZIDup+viZV1MnxaK7jO8+61aCefwp5g5PSo= Received: by 10.214.10.4 with SMTP id 4mr3401291qaj.196.1228806441237; Mon, 08 Dec 2008 23:07:21 -0800 (PST) Received: from ?192.168.1.102? ([64.30.3.122]) by mx.google.com with ESMTPS id 6sm12779406ywn.30.2008.12.08.23.07.18 (version=TLSv1/SSLv3 cipher=RC4-MD5); Mon, 08 Dec 2008 23:07:20 -0800 (PST) Cc: caml-list@yquem.inria.fr Message-Id: From: Alexy Khrabrov To: "Erick Tryzelaar" In-Reply-To: <1ef034530812080925k5645d52bua26c56a0d8a5ed8a@mail.gmail.com> Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit Mime-Version: 1.0 (Apple Message framework v929.2) Subject: Re: [Caml-list] caml_atom_table bug still present in ocaml 3.11.0 Date: Tue, 9 Dec 2008 02:07:16 -0500 References: <1ef034530812080925k5645d52bua26c56a0d8a5ed8a@mail.gmail.com> X-Mailer: Apple Mail (2.929.2) X-Spam: no; 0.00; bug:01 ocaml:01 ocamlopt:01 -prefix:01 unset:01 gcc:01 compilation:01 ocamlopt:01 ocaml:01 stubs:01 cheers:01 wrote:01 overlap:01 compile:01 caml-list:01 On Dec 8, 2008, at 12:25 PM, Erick Tryzelaar wrote: > 2008/12/7 Alexy Khrabrov : >> When compiling with ocamlopt from 3.11 on Mac OSX 10.5, I got >> errors about >> undefined symbols: caml_atom_table and caml_static_data_start, and >> googled >> out this: >> http://caml.inria.fr/pub/ml-archives/caml-list/2005/05/e3905eefb5bca0ae534f009bbd2727b0.en.html > > I was able to compile it fine on the mac (through macports) with > these args: > > ./configure -prefix /opt/local > unset LD_PREBIND LD_PREBIND_ALLOW_OVERLAP && make world.opt > > What are you using? And what version of gcc? Mine's set to 4.0.1. It's not the compilation which is a problem, it's subsequent use of ocamlopt. When trying to link a program which uses C libraries with OCaml C stubs, I was getting the undefined symbols until the above fix was added, the same as the original email from 2005. Cheers, Alexy