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.7 required=5.0 tests=AWL,DNS_FROM_RFC_POST, HTML_MESSAGE,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 5386BBBAF for ; Mon, 5 Oct 2009 17:17:38 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkYCAEOryUrRVdzPkGdsb2JhbACCJTCOZoh9PwEBAQEJCQwHEwOneIE7jgABAwMCA4QlBIFS X-IronPort-AV: E=Sophos;i="4.44,506,1249250400"; d="scan'208";a="35698493" Received: from mail-fx0-f207.google.com ([209.85.220.207]) by mail3-smtp-sop.national.inria.fr with ESMTP; 05 Oct 2009 17:17:37 +0200 Received: by fxm3 with SMTP id 3so2735664fxm.44 for ; Mon, 05 Oct 2009 08:17:37 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:in-reply-to:references :date:message-id:subject:from:to:cc:content-type; bh=8C/ncCp9UAV/zs89fqBXkLHAAuOvZX5pTVpDzzjx+zI=; b=uG2AyUYRrVRChQIP+adgK5YtVK3CC6XiVTHMJ4KPnVvP/LJASqagb44GNwYBN0lmEN 3MtjyO/zxSKu2TeOL/fIB8ZfhzkRWqflfIGHqnAgLTQV6Lz/UdTPzLkuNmoj2QOgA6YJ nKONrQONFNjH5oxxv7FZ+s4CNdrQ65xPktSgI= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; b=oKjQup8spdUkRFGFHjSpSLzzkBlM/kLVrFlWqSNe3iYAELdWOPg+M0/tHi791VVTmS iHlPPMRPnw12pPmIJrmnXztNwBB3L7g2zEX5rORf9E5iOPNMv8EYC4oxRjVobDrU19h3 dVl+oAUiAsF+WEJnwPD/35uSFzExk8IKdEE2U= MIME-Version: 1.0 Received: by 10.204.8.151 with SMTP id h23mr4042801bkh.194.1254755856981; Mon, 05 Oct 2009 08:17:36 -0700 (PDT) In-Reply-To: <1254749754.1870.12.camel@flake.lan.gerd-stolpmann.de> References: <20091004190509.GA31372@annexia.org> <20091004193740.GB28561@annexia.org> <1254749754.1870.12.camel@flake.lan.gerd-stolpmann.de> Date: Mon, 5 Oct 2009 16:17:36 +0100 Message-ID: Subject: Re: [Caml-list] Dynlink and ocamlfind for camlp4 3.11? From: Conglun Yao To: Gerd Stolpmann Cc: caml-list@yquem.inria.fr Content-Type: multipart/alternative; boundary=001517588560229f2a0475319d80 X-Spam: no; 0.00; dynlink:01 ocamlfind:01 camlp:01 ocaml:01 gerd:01 stolpmann:01 gerd:01 cygwin:01 bytecode:01 bytecode:01 dynlink:01 camlp:01 lib:01 findlib:01 cygwin:01 --001517588560229f2a0475319d80 Content-Type: text/plain; charset=ISO-8859-1 Thanks for all of your help. Unfortunately, it still does not work. It is really nightmare to use camp4 in a windows machine. I try to reinstall plain OCaml without using GODI, if the same error happens, I have to go back to Ubuntu. Thanks. Conglun On Mon, Oct 5, 2009 at 2:35 PM, Gerd Stolpmann wrote: > > > > While cygwin cannot load shared libraries from bytecode, it still can > load pure bytecode dynamically. It is reasonable that there is a > dynlink.cma for this case, and that camlp4lib.cma depends on it. > > findlib has a special mode for platforms that cannot load shared > libraries dynamically. This mode seems to be broken - it calls a script > safe_camlp4 instead of camlp4, and safe_camlp4 produces ad hoc a new > camlp4-type executable that includes the required C libraries - without > that trick you couldn't use json-static at all on these platforms: > > https://godirepo.camlcity.org/svn/lib-findlib/trunk/tools/safe_camlp4 > > The question is now whether the error is in this script (does it have to > add dynlink.cma anyway?) or whether mkcamlp4 is broken. > > Can you try to change safe_camlp4 so the line > > mkcamlp4 -o $tmp_camlp4 $cp4_mods || exit > > reads > > mkcamlp4 -o $tmp_camlp4 dynlink.cma $cp4_mods || exit > > ? (I don't have a cygwin ocaml at hand.) safe_camlp4 should be in the > bin/ directory. > > Gerd > -- > ------------------------------------------------------------ > Gerd Stolpmann, Bad Nauheimer Str.3, 64289 Darmstadt,Germany > gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de > Phone: +49-6151-153855 Fax: +49-6151-997714 > ------------------------------------------------------------ > > --001517588560229f2a0475319d80 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Thanks for all of your help.

Unfortunately, it still does not work.= It is really nightmare to use camp4 in a windows machine.=A0 I try to rein= stall plain OCaml without using GODI, if the same error happens, I have to = go back to Ubuntu.

Thanks.

Conglun

On Mon, Oct 5,= 2009 at 2:35 PM, Gerd Stolpmann <gerd@gerd-stolpmann.de> wrote:



While cygwin cannot load shared libraries from bytecode, it sti= ll can
load pure bytecode dynamically. It is reasonable that there is a
dynlink.cma for this case, and that camlp4lib.cma depends on it.

findlib has a special mode for platforms that cannot load shared
libraries dynamically. This mode seems to be broken =A0- it calls a script<= br> safe_camlp4 instead of camlp4, and safe_camlp4 produces ad hoc a new
camlp4-type executable that includes the required C libraries - without
that trick you couldn't use json-static at all on these platforms:

https://godirepo.camlcity.org/svn/lib-findlib/trun= k/tools/safe_camlp4

The question is now whether the error is in this script (does it have to add dynlink.cma anyway?) or whether mkcamlp4 is broken.

Can you try to change safe_camlp4 so the line

mkcamlp4 -o $tmp_camlp4 $cp4_mods || exit

reads

mkcamlp4 -o $tmp_camlp4 dynlink.cma $cp4_mods || exit

? (I don't have a cygwin ocaml at hand.) safe_camlp4 should be in the bin/ directory.

Gerd
--
------------------------------------------------------------
Gerd Stolpmann, Bad Nauheimer Str.3, 64289 Darmstadt,Germany
gerd@gerd-stolpmann.de =A0 = =A0 =A0 =A0 =A0h= ttp://www.gerd-stolpmann.de
Phone: +49-6151-153855 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0Fax: +49-6151-997= 714
------------------------------------------------------------


--001517588560229f2a0475319d80--