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.8 required=5.0 tests=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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 9A0D0BB84 for ; Mon, 8 Dec 2008 18:25:20 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtcBAADnPElKfSwcimdsb2JhbACTFj4BAQEKCQwHDwWxI4lnAQMBA4MCgiA X-IronPort-AV: E=Sophos;i="4.33,736,1220220000"; d="scan'208";a="20975397" Received: from yx-out-2324.google.com ([74.125.44.28]) by mail1-smtp-roc.national.inria.fr with ESMTP; 08 Dec 2008 18:25:20 +0100 Received: by yx-out-2324.google.com with SMTP id 3so487889yxj.3 for ; Mon, 08 Dec 2008 09:25:19 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:sender :to:subject:cc:in-reply-to:mime-version:content-type :content-transfer-encoding:content-disposition:references :x-google-sender-auth; bh=dE2omC25X29Ij7mUCfwIs8kJLuSujSyg57gx4efbqKA=; b=pXHRBxrSw0OylAF7QiSFUbOv3hGCV4TmyEa8K54jgNY90uWG35Mk98Rw7xOKQ95IiD r494sizt/kkNLZa4VhX8Vavhm/g5Rzwwbv4Yox28ZpZeBVJslPwkd7QCENVRVMAwutmD i4AmHLLVewqTvypTf1s1ghv4okM7ogyoWBfOQ= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:sender:to:subject:cc:in-reply-to:mime-version :content-type:content-transfer-encoding:content-disposition :references:x-google-sender-auth; b=uqU7yZlHynO6YuUcA2UPe5C9Z9iDAV0dbL3Yl2VDzjBZpcFDgR+3huMSWGs/dSNQuS /hdQFSm3Em76z5z4KBS0NacZNcXfitdfPUQ1dPdm6LaYeIO5aQx9B1Z4JCTMKgwBPQsn Mx9oLV2sCo2G0Ca7l+gKu2eNsrWLxAP3cp5WE= Received: by 10.142.163.1 with SMTP id l1mr1572529wfe.263.1228757118945; Mon, 08 Dec 2008 09:25:18 -0800 (PST) Received: by 10.142.136.11 with HTTP; Mon, 8 Dec 2008 09:25:18 -0800 (PST) Message-ID: <1ef034530812080925k5645d52bua26c56a0d8a5ed8a@mail.gmail.com> Date: Mon, 8 Dec 2008 09:25:18 -0800 From: "Erick Tryzelaar" Sender: erick.tryzelaar@gmail.com To: "Alexy Khrabrov" Subject: Re: [Caml-list] caml_atom_table bug still present in ocaml 3.11.0 Cc: caml-list@yquem.inria.fr In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: X-Google-Sender-Auth: c22d843f4e112714 X-Spam: no; 0.00; bug:01 ocaml:01 ocamlopt:01 -prefix:01 unset:01 gcc:01 sourceforge:01 overlap:01 compile:01 caml-list:01 caml-list:01 undefined:01 data:02 caml:02 caml:02 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.