There's also related, if somewhat different, discussion about = dylib's at

http://tunes.org/~nef/= /logs/ocaml/08.02.04

The sollution is still = the same, with the only one of the two lines remaining from that example = in asmrun/startup.c, line 40 in the current = one:

char * caml_code_area_start, * = caml_code_area_end =3D NULL; /* added the initializer = */

-- and now things work = well.

Under the 2005 thread, the resolution, = by John Skaller, From: Damien Doligez To: Caml Mailing List In-Reply-To: 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: Mon, 8 Dec 2008 15:03:07 +0100 References: X-Mailer: Apple Mail (2.929.2) X-Spam: no; 0.00; damien:01 damien:01 bug:01 ocaml:01 gcc:01 bug:01 doligez:01 doligez:01 wrote:01 caml-list:01 caml:02 inria:06 thread:06 table:93 strange:08 On 2008-12-07, at 20:21, Alexy Khrabrov wrote: > Under the 2005 thread, the resolution, by John Skaller, was, it > should go into the bugtracker; did it, and if not, should it now? :) I don't think it dit, and yes you should add it, although it looks like a strange gcc bug. -- Damien 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. 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 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=3.0 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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id CCEEFBB84 for ; Thu, 11 Dec 2008 17:39:37 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjMBAC7RQElIDtyZimdsb2JhbACTDz4BAQEKCQwHDwWtRIwsAQMBA4J2gik X-IronPort-AV: E=Sophos;i="4.33,753,1220220000"; d="scan'208";a="20251267" Received: from fg-out-1718.google.com ([72.14.220.153]) by mail3-smtp-sop.national.inria.fr with ESMTP; 11 Dec 2008 17:39:37 +0100 Received: by fg-out-1718.google.com with SMTP id l27so493928fgb.43 for ; Thu, 11 Dec 2008 08:39:37 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:sender:cc:message-id:from:to :in-reply-to:content-type:content-transfer-encoding:mime-version :subject:date:references:x-mailer; bh=qcIc7SbxpCAylt81Lu57/YEGKCi9wVq3ddudv1N+nNw=; b=POFg6DTJ+bBSSx5hijLmR5K293FlEWwlAz2qKb4OTf9vQyWRbBdI8Er5W2u+SYSBdZ 4lw89oleR/7b+5HLSRWZH+aKVOdCcA99+MoPg1lCZY0OTVnZrlRLy/1AKv5org4hV2wS Tv8ZpqLl0JWCzEyeUZ9rRQpCST0ouCrTUoYEQ= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=sender:cc:message-id:from:to:in-reply-to:content-type :content-transfer-encoding:mime-version:subject:date:references :x-mailer; b=HRzSVFByuHXkA7gfgE5CYb5RP9iQe3Fkhommktq1TaoAR9Bj5GQz8baYK1Lr8tfxwK op4V7dY9RlvOWJFIF+Jvz8w2WOc3lSQwjJaOuJwOGotKLkdloTjkX4usoUaqrWPUrv4v dfhxuiD3Amsz55yCo32R5A/JY17SE3c25S5rs= Received: by 10.86.60.14 with SMTP id i14mr1439490fga.21.1229013577317; Thu, 11 Dec 2008 08:39:37 -0800 (PST) Received: from ?192.168.1.34? (228-78.77-83.cust.bluewin.ch [83.77.78.228]) by mx.google.com with ESMTPS id l19sm1372707fgb.36.2008.12.11.08.39.36 (version=TLSv1/SSLv3 cipher=RC4-MD5); Thu, 11 Dec 2008 08:39:36 -0800 (PST) Sender: =?UTF-8?B?RGFuaWVsIELDvG56bGk=?= Cc: "Erick Tryzelaar" , caml-list@yquem.inria.fr Message-Id: <51F2C416-A878-4B28-A037-61778E0F4294@erratique.ch> From: =?ISO-8859-1?Q?Daniel_B=FCnzli?= To: Alexy Khrabrov In-Reply-To: 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: Thu, 11 Dec 2008 17:38:23 +0100 References: <1ef034530812080925k5645d52bua26c56a0d8a5ed8a@mail.gmail.com> X-Mailer: Apple Mail (2.929.2) X-Spam: no; 0.00; bunzli:01 buenzli:01 bug:01 ocaml:01 stubs:01 xcode:98 caml-list:01 caml:02 dev:04 daniel:04 daniel:04 compiled:04 table:93 distribution:10 tools:13 Are you using the latest dev tools (Xcode 3.1.2) ? Here it compiled on intel without any problems (from the distribution), and I used C stubs without any problems. Best, Daniel