From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <alain@frisch.fr>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=5.0 tests=AWL 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 B4B27BBCA
	for <caml-list@yquem.inria.fr>; Wed, 16 Apr 2008 08:55:42 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AqkAABtABUjUGyodmmdsb2JhbACRWgEBAQEBCAUJBxaWE4U/
X-IronPort-AV: E=Sophos;i="4.25,664,1199660400"; 
   d="scan'208";a="9638715"
Received: from smtp3-g19.free.fr ([212.27.42.29])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 16 Apr 2008 08:55:42 +0200
Received: from smtp3-g19.free.fr (localhost.localdomain [127.0.0.1])
	by smtp3-g19.free.fr (Postfix) with ESMTP id 7AFB217B584;
	Wed, 16 Apr 2008 08:55:42 +0200 (CEST)
Received: from [192.168.0.4] (rke75-3-82-229-183-156.fbx.proxad.net [82.229.183.156])
	by smtp3-g19.free.fr (Postfix) with ESMTP id 4DD4917B583;
	Wed, 16 Apr 2008 08:55:42 +0200 (CEST)
Message-ID: <4805A2ED.7010606@frisch.fr>
Date: Wed, 16 Apr 2008 08:55:41 +0200
From: Alain Frisch <alain@frisch.fr>
User-Agent: Thunderbird 2.0.0.12 (Windows/20080213)
MIME-Version: 1.0
To: Dario Teixeira <darioteixeira@yahoo.com>
Cc: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Trying out Ocaml CVS HEAD
References: <708296.53944.qm@web54605.mail.re2.yahoo.com>
In-Reply-To: <708296.53944.qm@web54605.mail.re2.yahoo.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Spam: no; 0.00; frisch:01 frisch:01 ocaml:01 cvs:01 ocaml:01 cvs:01 dynlink:01 compilation:01 compiler:01 dynlink:01 byte-code:01 native-code:01 stub:01 byte-code:01 -custom:01 

Hi Dario,

> I realise that the Ocaml CVS HEAD comes with an implicit "Here be dragons"
> warning.

Sure, but it is very helpful to get some feedback!

> Still, I would like to use it so I can try running Ocsigen in
> native mode (the loading of Ocsigen modules relies on dynlink; native mode
> thus requires the new natdynlink feature).  I've compiled the Ocaml CVS via
> GODI, using the instructions in Alain Frisch's page; though the compilation
> completes with no problems and the compiler itself seems to work fine, I
> always get an error when Ocsigen tries to dynlink (either in byte-code or
> native-code) a module that uses stub libraries.

I've been able to reproduce the problem in byte-code only, when the main 
program is linked in -custom mode. The reason is that the -Wl,-E was not 
passed to the linker. This is now fixed in the CVS. (For a quick test, 
you can try to pass "-ccopt -Wl,-E" explicitly to ocamlc when linking.)

For the native-code, I don't know. Can you show me the command line 
passed to the linker (ocamlopt -verbose)? You should see -Wl,-E.
If you compile with -noautolink, you must add "-ccopt -Wl,-E" manually.


Cheers,

Alain