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, 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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id EA432BBAF for ; Sun, 4 Oct 2009 16:22:36 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjUCAN9MyErRVdzPkGdsb2JhbACCJDGOZYh9PwEBAQEJCQwHEwOkeYE7jXABAwMFhCUEgVI X-IronPort-AV: E=Sophos;i="4.44,503,1249250400"; d="scan'208";a="47889875" Received: from mail-fx0-f207.google.com ([209.85.220.207]) by mail4-smtp-sop.national.inria.fr with ESMTP; 04 Oct 2009 16:22:32 +0200 Received: by fxm3 with SMTP id 3so2111191fxm.44 for ; Sun, 04 Oct 2009 07:22:32 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:date:message-id:subject :from:to:content-type; bh=J6AQTZozBBspLkRyR5WcmikF52C5yFQDENQY2YIq0BY=; b=nf3/R+MdnkPbbXmSW62+YHJQNmZdZ2eO1s1+72eF1kPFYVLhuDgGnylKzwJFsiPohc Flx5A26Erv5aorGZtD6CDv9LgQJxqs5joq+qJuL9nyGfvC3TxC8SzEJNPrBvy1vrkhOX ZImxBiduXa93Glvz4EJkafzCQ7Vkl6Wxjcfww= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type; b=LQvHIx1/y/iC4ViYpyukTg5PjaleXln6CJszUxSVOxi2zdXEBstLSn05apQX4j7Md0 EEsb0NNntZfU0Oi50hQZNlOyAigUC49ukJrOqUzTPLrv9W40s9IoAqA+TiMbVzAgoZmj 87VVqJ9NNfuMfbwrnEYuYwd5XEd3i5cCFadRs= MIME-Version: 1.0 Received: by 10.204.156.24 with SMTP id u24mr3047881bkw.172.1254666151097; Sun, 04 Oct 2009 07:22:31 -0700 (PDT) Date: Sun, 4 Oct 2009 15:22:31 +0100 Message-ID: Subject: Dynlink and ocamlfind for camlp4 3.11? From: Conglun Yao To: caml-list@yquem.inria.fr Content-Type: multipart/alternative; boundary=0015175dda9a3f788804751cba16 X-Spam: no; 0.00; dynlink:01 ocamlfind:01 camlp:01 ocaml:01 camlp:01 dynlink:01 ocamlfind:01 ocamlc:01 -package:01 -linkpkg:01 ocaml:01 ocamlc:01 -package:01 -linkpkg:01 W18:98 --0015175dda9a3f788804751cba16 Content-Type: text/plain; charset=ISO-8859-1 Dear all, I have tried to use json-static in OCaml 3.11, but met the annoying problem: Reference to undefined global `Dynlink' As Camlp4 3.11 requires explicit load of dynlink, so I tried ocamlfind ocamlc -package dynlink, json-static -syntax camlp4o -o test test.ml -linkpkg But failed with the same error. Thanks for any help. Conglun --0015175dda9a3f788804751cba16 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Dear all,

I have tried to use json-static in OCaml 3.11, but met the= annoying problem:

=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0= =A0=A0=A0 Reference to undefined global `Dynlink'


As Camlp4 = 3.11 requires explicit load of=A0 dynlink, so I tried
=A0
=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 ocamlfind oca= mlc -package dynlink, json-static -syntax camlp4o -o test=A0 test.ml -linkpkg

But failed with the same error.
Thanks for any help.

Conglun
--0015175dda9a3f788804751cba16-- 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, 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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 76415BBAF for ; Sun, 4 Oct 2009 16:24:40 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuYBAK5MyErRVdrRkGdsb2JhbACCJy6OZYh9PwEBAQEJCQwHEwOkd4E7jXABAwMFhCUEgVI X-IronPort-AV: E=Sophos;i="4.44,503,1249250400"; d="scan'208";a="37482722" Received: from mail-bw0-f209.google.com ([209.85.218.209]) by mail1-smtp-roc.national.inria.fr with ESMTP; 04 Oct 2009 16:24:40 +0200 Received: by bwz5 with SMTP id 5so1950954bwz.27 for ; Sun, 04 Oct 2009 07:24:39 -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:content-type; bh=80qSzg3+irr9JCYwsJij3dhKbuMGHXEisc69O8ScCzQ=; b=L0X9UVJrqPVYiFfWBI/LhvUvsjR9IwKQReaNJ8YGiGpX0kyN/ChUzNhjy8F4fkz5U3 L4lRg4tJs+8r03ZaR4i3559qaQ1mCrsFaTqssR6uZ2L669nmqEKeTM1tlkw0ILfqO9MI volKbmpis8HCXH+0060ZH5b70oSy9GTmawjTc= 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 :content-type; b=QIYjX6Pepc+VonxKQQ8Kh3/RgFqiEZJnKGD0gNR2Jxfs+7tmlgH/MR/Fn5gTiE0xxQ e0qe0jgXtNhbcjRqzpl9MhKKsNtirs8gO8LOVaPSlMXU61I+COoo62FRgL+Pz7WEXl7x wgStzbokjYCxl2r8/RRE6c3RY7T5hGdhmBIMs= MIME-Version: 1.0 Received: by 10.204.26.130 with SMTP id e2mr1875677bkc.144.1254666279621; Sun, 04 Oct 2009 07:24:39 -0700 (PDT) In-Reply-To: References: Date: Sun, 4 Oct 2009 15:24:39 +0100 Message-ID: Subject: Re: Dynlink and ocamlfind for camlp4 3.11? From: Conglun Yao To: caml-list@yquem.inria.fr Content-Type: multipart/alternative; boundary=0003255574f2e895b304751cc1c3 X-Spam: no; 0.00; dynlink:01 ocamlfind:01 camlp:01 ocaml:01 camlp:01 dynlink:01 ocamlfind:01 ocamlc:01 -package:01 -linkpkg:01 cygwin:01 ocaml:01 ocamlc:01 -package:01 -linkpkg:01 --0003255574f2e895b304751cc1c3 Content-Type: text/plain; charset=ISO-8859-1 On Sun, Oct 4, 2009 at 3:22 PM, Conglun Yao wrote: > Dear all, > > I have tried to use json-static in OCaml 3.11, but met the annoying > problem: > > Reference to undefined global `Dynlink' > > > As Camlp4 3.11 requires explicit load of dynlink, so I tried > > ocamlfind ocamlc -package dynlink, json-static -syntax > camlp4o -o test test.ml -linkpkg > > But failed with the same error. > Sorry, forget to say, I tried this under cygwin. > > Thanks for any help. > > Conglun > --0003255574f2e895b304751cc1c3 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable

On Sun, Oct 4, 2009 at 3:22 PM, Conglun = Yao <yaoconglu= n@gmail.com> wrote:
Dear all,

I have tried to use json-static in OCaml 3.11, but met the= annoying problem:

=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0= =A0=A0=A0 Reference to undefined global `Dynlink'


As Camlp4 = 3.11 requires explicit load of=A0 dynlink, so I tried
=A0
=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 ocamlfind oca= mlc -package dynlink, json-static -syntax camlp4o -o test=A0 test.ml -linkpkg

But failed with = the same error.
=A0

Sorry, forget to say,=A0 I tried this under cygwin.

=A0
=
Thanks for any help.

Conglun

--0003255574f2e895b304751cc1c3-- 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=0.8 required=5.0 tests=AWL,SPF_FAIL 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 87EE2BBAF for ; Sun, 4 Oct 2009 21:05:10 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Am0EAH+OyEpQRFuwWWdsb2JhbACaawEUF7NHhCoEgVI X-IronPort-AV: E=Sophos;i="4.44,503,1249250400"; d="scan'208";a="34181578" Received: from furbychan.cocan.org ([80.68.91.176]) by mail2-smtp-roc.national.inria.fr with ESMTP; 04 Oct 2009 21:05:10 +0200 Received: from rich by furbychan.cocan.org with local (Exim 4.63) (envelope-from ) id 1MuWOL-0008TO-OU; Sun, 04 Oct 2009 20:05:09 +0100 Date: Sun, 4 Oct 2009 20:05:09 +0100 To: Conglun Yao Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Dynlink and ocamlfind for camlp4 3.11? Message-ID: <20091004190509.GA31372@annexia.org> References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.13 (2006-08-11) From: Richard Jones X-Spam: no; 0.00; dynlink:01 ocamlfind:01 camlp:01 0100,:01 ocaml:01 camlp:01 dynlink:01 ocamlfind:01 ocamlc:01 -package:01 -linkpkg:01 2009:98 wrote:01 caml-list:01 undefined:01 On Sun, Oct 04, 2009 at 03:22:31PM +0100, Conglun Yao wrote: > Dear all, > > I have tried to use json-static in OCaml 3.11, but met the annoying problem: > > Reference to undefined global `Dynlink' > > > As Camlp4 3.11 requires explicit load of dynlink, so I tried > > ocamlfind ocamlc -package dynlink, json-static -syntax > camlp4o -o test test.ml -linkpkg Is there really a space in "dynlink, json-static". You'll need to try it without the space, or quote it. Rich. -- Richard Jones Red Hat 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, 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 47E02BBAF for ; Sun, 4 Oct 2009 21:32:19 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtsBAIaVyErRVdrRkGdsb2JhbACCJS+OZYh9PwEBAQEJCQwHEwOkJ4E7jVYBAwMFhCUEgVI X-IronPort-AV: E=Sophos;i="4.44,503,1249250400"; d="scan'208";a="35618627" Received: from mail-bw0-f209.google.com ([209.85.218.209]) by mail3-smtp-sop.national.inria.fr with ESMTP; 04 Oct 2009 21:32:18 +0200 Received: by bwz5 with SMTP id 5so2047150bwz.27 for ; Sun, 04 Oct 2009 12:32:18 -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=LR6PQoJJu4JHkRYrBdK/UkQ14K7r6B/34NEcDSra3oo=; b=XGsbMyivM/AN3KH0Fb3V/Cml6sUYUOwvY2JF2So5maEX64DoMMCDEBCJbbACIeJ2Bt ze96myfZWs0vymZIx7s6IR1DU5Z+a5+rgyQuWOk9rlcBnsaZtfd05Fz0IHOBltwPwhy7 jsrIwFHtmqKXmZOZ4qEC+7s7j091F7ehlW05Q= 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=rIpRIqxScQEyzPpr9APPZj4UbPK6ZF0ArJiydnWNR/XWL2nCOiIXfw1T/u9tirbQLb uZ8gCLp3QPy4JLWWNIwCUAD5iiyVjomRejOGf0+DMlXwtu/P/QN3kEAaIGK2a3FCIrZu GH2qel3QSmvh/PR9+13wEyApWeSMUs9kMYb9g= MIME-Version: 1.0 Received: by 10.204.20.82 with SMTP id e18mr3281891bkb.168.1254684737579; Sun, 04 Oct 2009 12:32:17 -0700 (PDT) In-Reply-To: <20091004190509.GA31372@annexia.org> References: <20091004190509.GA31372@annexia.org> Date: Sun, 4 Oct 2009 20:32:17 +0100 Message-ID: Subject: Re: [Caml-list] Dynlink and ocamlfind for camlp4 3.11? From: Conglun Yao To: Richard Jones Cc: caml-list@yquem.inria.fr Content-Type: multipart/alternative; boundary=000325559f5616ad160475210ea7 X-Spam: no; 0.00; dynlink:01 ocamlfind:01 camlp:01 ocamlfind:01 ocamlc:01 -package:01 dynlink:01 camlp:01 ocamlc:01 -package:01 cygwin:01 ocaml:01 findlib:01 cygwin:01 0100,:01 --000325559f5616ad160475210ea7 Content-Type: text/plain; charset=ISO-8859-1 Thanks, Rich. ocamlfind ocamlc -package dynlink,json-static -syntax camlp4o -c test.ml ocamlfind ocamlc -package "dynlink,json-static" -syntax camlp4o -c test.ml ocamlfind ocamlc -package 'dynlink,json-static' -syntax camlp4o -c test.ml But it still does not work. System: cygwin + OCaml 3.11.1 + findlib 1.2.5 + json-staic 0,9.8 Everything works fine when I use Ubuntu, but when changed to cygwin, it breaks. Conglun On Sun, Oct 4, 2009 at 8:05 PM, Richard Jones wrote: > On Sun, Oct 04, 2009 at 03:22:31PM +0100, Conglun Yao wrote: > > Dear all, > > > > I have tried to use json-static in OCaml 3.11, but met the annoying > problem: > > > > Reference to undefined global `Dynlink' > > > > > > As Camlp4 3.11 requires explicit load of dynlink, so I tried > > > > ocamlfind ocamlc -package dynlink, json-static -syntax > > camlp4o -o test test.ml -linkpkg > > Is there really a space in "dynlink, json-static". You'll need to try > it without the space, or quote it. > > Rich. > > -- > Richard Jones > Red Hat > --000325559f5616ad160475210ea7 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Thanks, Rich.

ocamlfind ocamlc -package dynlink,json-static -syntax = camlp4o -c test.ml
ocamlfind ocamlc -pack= age "dynlink,json-static" -syntax camlp4o -c test.ml
ocamlfind ocamlc -package 'dynlink,json-static' -syntax camlp4o -c = test.ml

But it still does not work. <= br>
System:=A0 cygwin=A0 + OCaml 3.11.1 + findlib 1.2.5 + json-staic 0,9= .8

Everything works fine when I use Ubuntu, but when changed to cygwin, it= breaks.

Conglun

On Sun, Oct 4, 2= 009 at 8:05 PM, Richard Jones <rich@annexia.org> wrote:
On Sun, Oct 04, 2009 at 03:22:31PM +0100, Conglun Yao wrote:
> Dear all,
>
> I have tried to use json-static in OCaml 3.11, but met the annoying pr= oblem:
>
> =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 Reference to undefined global = `Dynlink'
>
>
> As Camlp4 3.11 requires explicit load of =A0dynlink, so I tried
>
> =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0ocamlfind ocamlc -package dynli= nk, json-static -syntax
> camlp4o -o test =A0test.m= l -linkpkg

Is there really a space in "dynlink, json-static". =A0You&#= 39;ll need to try
it without the space, or quote it.

Rich.

--
Richard Jones
Red Hat

--000325559f5616ad160475210ea7-- 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=0.8 required=5.0 tests=AWL,SPF_FAIL 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 5084EBBAF for ; Sun, 4 Oct 2009 21:37:41 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Am0EALKWyEpQRFuwWWdsb2JhbACaawEUF7NWhCoEgVI X-IronPort-AV: E=Sophos;i="4.44,503,1249250400"; d="scan'208";a="34182687" Received: from furbychan.cocan.org ([80.68.91.176]) by mail2-smtp-roc.national.inria.fr with ESMTP; 04 Oct 2009 21:37:41 +0200 Received: from rich by furbychan.cocan.org with local (Exim 4.63) (envelope-from ) id 1MuWto-0000OW-9v; Sun, 04 Oct 2009 20:37:40 +0100 Date: Sun, 4 Oct 2009 20:37:40 +0100 To: Conglun Yao Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Dynlink and ocamlfind for camlp4 3.11? Message-ID: <20091004193740.GB28561@annexia.org> References: <20091004190509.GA31372@annexia.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.13 (2006-08-11) From: Richard Jones X-Spam: no; 0.00; dynlink:01 ocamlfind:01 camlp:01 0100,:01 ocamlfind:01 ocamlc:01 -package:01 dynlink:01 camlp:01 ocamlc:01 -package:01 cygwin:01 ocaml:01 findlib:01 bug:01 On Sun, Oct 04, 2009 at 08:32:17PM +0100, Conglun Yao wrote: > Thanks, Rich. > > ocamlfind ocamlc -package dynlink,json-static -syntax camlp4o -c test.ml > ocamlfind ocamlc -package "dynlink,json-static" -syntax camlp4o -c test.ml > ocamlfind ocamlc -package 'dynlink,json-static' -syntax camlp4o -c test.ml > > But it still does not work. > > System: cygwin + OCaml 3.11.1 + findlib 1.2.5 + json-staic 0,9.8 In that case, try listing dynlink explicitly, like: ocamlfind ocamlc dynlink.cma -package json-static [etc] Anyhow, it sounds like a bug in the META files that are supplied with your cygwin OCaml distribution. Rich. -- Richard Jones Red Hat 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, 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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 56242BBAF for ; Sun, 4 Oct 2009 21:53:52 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmoCADeayErRVdrRkGdsb2JhbACCJS+OZoh9PwEBAQEJCQwHEwOkMIE7jVYBAwMFhCUEgVI X-IronPort-AV: E=Sophos;i="4.44,503,1249250400"; d="scan'208";a="47903519" Received: from mail-bw0-f209.google.com ([209.85.218.209]) by mail4-smtp-sop.national.inria.fr with ESMTP; 04 Oct 2009 21:53:52 +0200 Received: by bwz5 with SMTP id 5so2054075bwz.27 for ; Sun, 04 Oct 2009 12:53:51 -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=a/hUAMvboUc41WLSIP9pciHwgeDwiHiVLGjt+BCLbh4=; b=P6AnwtuDSmfy+Tzyr0njivoIb1bkC1bnsZOu2PC/WKrkwxobY7SX8ihpWHNPczM2z7 FShNorlPPZAHh68QI8/Mdnd+vlKa2/tbL8ql8fnhQ3Yb3Voff0x3q+Ni9huZwr4OdVgb X8Vu0M/USgSgscrEFPLq6Omb12WJQZGTy+6t8= 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=XKhDkHwUqYCt7ZMZVh5tTt0HZVjc2bd9e+8+sZZ28BbLpe28Olpx0Nf/EmJDa5RFID Y5JkFwXZGpIbUMxt8fayNkeb/SHo7hLXYn6OCQq1D9ZWApsc2pzy9q/1z5W/kNTLfvqw lS5WSkhEtiOCxvDPRtpLugwHURDfASOk1ohyA= MIME-Version: 1.0 Received: by 10.204.153.220 with SMTP id l28mr3206553bkw.86.1254686030965; Sun, 04 Oct 2009 12:53:50 -0700 (PDT) In-Reply-To: <20091004193740.GB28561@annexia.org> References: <20091004190509.GA31372@annexia.org> <20091004193740.GB28561@annexia.org> Date: Sun, 4 Oct 2009 20:53:50 +0100 Message-ID: Subject: Re: [Caml-list] Dynlink and ocamlfind for camlp4 3.11? From: Conglun Yao To: Richard Jones Cc: caml-list@yquem.inria.fr Content-Type: multipart/mixed; boundary=0015175cdc5e2e2c240475215b14 X-Spam: no; 0.00; dynlink:01 ocamlfind:01 camlp:01 dynlink:01 ocamlfind:01 ocamlc:01 -package:01 ocamlc:01 -package:01 camlp:01 lib:01 ocaml:01 lib:01 ocaml:01 bug:01 X-Attachments: type="application/octet-stream" name="META" name="META" --0015175cdc5e2e2c240475215b14 Content-Type: multipart/alternative; boundary=0015175cdc5e2e2c0c0475215b12 --0015175cdc5e2e2c0c0475215b12 Content-Type: text/plain; charset=ISO-8859-1 > > > In that case, try listing dynlink explicitly, like: > > ocamlfind ocamlc dynlink.cma -package json-static [etc] > $ ocamlfind ocamlc dynlink.cma -package json-static -syntax camlp4o -c test.ml $ ocamlfind ocamlc -I /home/conglun/godi/lib/ocaml/pkg-lib/camlp4 dynlink.cma -package json-static -syntax camlp4o -c t.ml Error: Error while linking /home/conglun/godi/lib/ocaml/std-lib/camlp4/camlp4lib.cma(Camlp4): Reference to undefined global `Dynlink' > > Anyhow, it sounds like a bug in the META files that are supplied with > your cygwin OCaml distribution. > > I think you are right, the problem happens on the camlp4o or cygwin, which can't load dynlink. But I can't find problem in the camlp4's META (in the attachment) Thanks, Conglun --0015175cdc5e2e2c0c0475215b12 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable


In that case, try listing dynlink explicitly, like:

=A0ocamlfind ocamlc dynlink.cma -package json-static [etc]

$ ocamlfind ocamlc dynlink.cma -package json-static -syntax camlp= 4o -c test.ml

$ ocamlfind ocamlc -I /home/conglun/godi/lib/ocaml/pkg-lib/camlp4 dynlink.c= ma -package json-static -syntax camlp4o -c t.ml=


Error: Error while linking /home/conglun/godi/lib/ocaml/std-lib= /camlp4/camlp4lib.cma(Camlp4):
Reference to undefined global `Dynlink'
=A0

Anyhow, it sounds like a bug in the META files that are supplied with
your cygwin OCaml distribution.


I think you are right, the problem happe= ns on the camlp4o or cygwin, which can't load dynlink.=A0 But I can'= ;t find problem in the camlp4's META=A0 (in the attachment)

Than= ks,

Conglun






--0015175cdc5e2e2c0c0475215b12-- --0015175cdc5e2e2c240475215b14 Content-Type: application/octet-stream; name=META Content-Disposition: attachment; filename=META Content-Transfer-Encoding: base64 X-Attachment-Id: f_g0e7ia080 IyBTcGVjaWZpY2F0aW9ucyBmb3IgdGhlICJjYW1scDQiIHByZXByb2Nlc3NvcjoKcmVxdWlyZXMg PSAiIgp2ZXJzaW9uID0gIltkaXN0cmlidXRlZCB3aXRoIE9jYW1sXSIKZGVzY3JpcHRpb24gPSAi QmFzZSBmb3IgQ2FtbHA0IHN5bnRheCBleHRlbnNpb25zIgpkaXJlY3RvcnkgPSAiL2hvbWUvY29u Z2x1bi9nb2RpL2xpYi9vY2FtbC9zdGQtbGliL2NhbWxwNCIKCiMgRm9yIHRoZSB0b3Bsb29wOgpy ZXF1aXJlcyhieXRlLHRvcGxvb3ApID0gImR5bmxpbmsiCmFyY2hpdmUoYnl0ZSx0b3Bsb29wLGNh bWxwNG8pID0gImNhbWxwNG8uY21hIgphcmNoaXZlKGJ5dGUsdG9wbG9vcCxjYW1scDRyKSA9ICJj YW1scDRyLmNtYSIKCiMgRm9yIHRoZSBwcmVwcm9jZXNzb3IgaXRzZWxmOgphcmNoaXZlKHN5bnRh eCxwcmVwcm9jZXNzb3IsY2FtbHA0bykgPSAiLXBhcnNlciBvIC1wYXJzZXIgb3AgLXByaW50ZXIg cCIKYXJjaGl2ZShzeW50YXgscHJlcHJvY2Vzc29yLGNhbWxwNHIpID0gIi1wYXJzZXIgciAtcGFy c2VyIHJwIC1wcmludGVyIHAiCnByZXByb2Nlc3NvciA9ICJzYWZlX2NhbWxwNCIKCnBhY2thZ2Ug ImxpYiIgKAogIHJlcXVpcmVzID0gImNhbWxwNCBkeW5saW5rIgogIHZlcnNpb24gPSAiW2Rpc3Ry aWJ1dGVkIHdpdGggT2NhbWxdIgogIGRlc2NyaXB0aW9uID0gIkNhbWxwNCBsaWJyYXJ5IgogIGFy Y2hpdmUoYnl0ZSkgPSAiY2FtbHA0bGliLmNtYSIKICBhcmNoaXZlKGJ5dGUsdG9wbG9vcCkgPSAi IiAgIyBhbHJlYWR5IGNvbnRhaW5lZCBpbiBjYW1scDQqLmNtYQogIGFyY2hpdmUobmF0aXZlKSA9 ICJjYW1scDRsaWIuY214YSIKKQoKcGFja2FnZSAiZ3JhbWxpYiIgKAogIHJlcXVpcmVzID0gImNh bWxwNC5saWIiCiAgdmVyc2lvbiA9ICJbZGlzdHJpYnV0ZWQgd2l0aCBPY2FtbF0iCiAgZGVzY3Jp cHRpb24gPSAiQ29tcGF0aWJpbHR5IG5hbWUgZm9yIGNhbWxwNC5saWIiCikKCnBhY2thZ2UgInF1 b3RhdGlvbnMiICgKICB2ZXJzaW9uID0gIltkaXN0cmlidXRlZCB3aXRoIE9jYW1sXSIKICBkZXNj cmlwdGlvbiA9ICJTeW50YXggZXh0ZW5zaW9uOiBRdW90YXRpb25zIHRvIGNyZWF0ZSBBU1Qgbm9k ZXMiCiAgcmVxdWlyZXMgPSAiY2FtbHA0LnF1b3RhdGlvbnMuciIgICMgYmFja3dhcmQgY29tcGF0 CiAgYXJjaGl2ZShzeW50YXgscHJlcHJvY2Vzc29yKSA9ICItaWdub3JlIGZvbyIKICBwYWNrYWdl ICJvIiAoCiAgICByZXF1aXJlcyA9ICJjYW1scDQiCiAgICB2ZXJzaW9uID0gIltkaXN0cmlidXRl ZCB3aXRoIE9jYW1sXSIKICAgIGRlc2NyaXB0aW9uID0gIlN5bnRheCBleHRlbnNpb246IFF1b3Rh dGlvbnMgdG8gY3JlYXRlIEFTVCBub2RlcyAob3JpZ2luYWwgc3ludGF4KSIKICAgIGFyY2hpdmUo c3ludGF4LHByZXByb2Nlc3NvcikgPSAiLXBhcnNlciBDYW1scDRRdW90YXRpb25Db21tb24gLXBh cnNlciBDYW1scDRPQ2FtbE9yaWdpbmFsUXVvdGF0aW9uRXhwYW5kZXIiCiAgICBhcmNoaXZlKHN5 bnRheCx0b3Bsb29wKSA9ICJDYW1scDRQYXJzZXJzL0NhbWxwNFF1b3RhdGlvbkNvbW1vbi5jbW8g Q2FtbHA0UGFyc2Vycy9DYW1scDRPQ2FtbE9yaWdpbmFsUXVvdGF0aW9uRXhwYW5kZXIuY21vIgog ICkKICBwYWNrYWdlICJyIiAoCiAgICByZXF1aXJlcyA9ICJjYW1scDQiCiAgICB2ZXJzaW9uID0g IltkaXN0cmlidXRlZCB3aXRoIE9jYW1sXSIKICAgIGRlc2NyaXB0aW9uID0gIlN5bnRheCBleHRl bnNpb246IFF1b3RhdGlvbnMgdG8gY3JlYXRlIEFTVCBub2RlcyAocmV2aXNlZCBzeW50YXgpIgog ICAgYXJjaGl2ZShzeW50YXgscHJlcHJvY2Vzc29yKSA9ICItcGFyc2VyIENhbWxwNFF1b3RhdGlv bkNvbW1vbiAtcGFyc2VyIENhbWxwNE9DYW1sUmV2aXNlZFF1b3RhdGlvbkV4cGFuZGVyIgogICAg YXJjaGl2ZShzeW50YXgsdG9wbG9vcCkgPSAiQ2FtbHA0UGFyc2Vycy9DYW1scDRRdW90YXRpb25D b21tb24uY21vIENhbWxwNFBhcnNlcnMvQ2FtbHA0T0NhbWxSZXZpc2VkUXVvdGF0aW9uRXhwYW5k ZXIuY21vIgogICkKKQoKcGFja2FnZSAiZXh0ZW5kIiAoCiAgcmVxdWlyZXMgPSAiY2FtbHA0Igog IHZlcnNpb24gPSAiW2Rpc3RyaWJ1dGVkIHdpdGggT2NhbWxdIgogIGRlc2NyaXB0aW9uID0gIlN5 bnRheCBleHRlbnNpb246IEVYVEVORCB0aGUgY2FtbHA0IGdyYW1tYXIiCiAgYXJjaGl2ZShzeW50 YXgscHJlcHJvY2Vzc29yKSA9ICItcGFyc2VyIENhbWxwNEdyYW1tYXJQYXJzZXIiCiAgYXJjaGl2 ZShzeW50YXgsdG9wbG9vcCkgPSAiQ2FtbHA0UGFyc2Vycy9DYW1scDRHcmFtbWFyUGFyc2VyLmNt byIKKQoKcGFja2FnZSAibGlzdGNvbXByZWhlbnNpb24iICgKICByZXF1aXJlcyA9ICJjYW1scDQi CiAgdmVyc2lvbiA9ICJbZGlzdHJpYnV0ZWQgd2l0aCBPY2FtbF0iCiAgZGVzY3JpcHRpb24gPSAi U3ludGF4IGV4dGVuc2lvbiBmb3IgbGlzdCBjb21wcmVoZW5zaW9ucyIKICBhcmNoaXZlKHN5bnRh eCxwcmVwcm9jZXNzb3IpID0gIi1wYXJzZXIgQ2FtbHA0TGlzdENvbXByZWhlbnNpb24iCiAgYXJj aGl2ZShzeW50YXgsdG9wbG9vcCkgPSAiQ2FtbHA0UGFyc2Vycy9DYW1scDRMaXN0Q29tcHJlaGVu c2lvbi5jbW8iCikKCnBhY2thZ2UgIm1hY3JvIiAoCiAgcmVxdWlyZXMgPSAiY2FtbHA0IgogIHZl cnNpb24gPSAiW2Rpc3RyaWJ1dGVkIHdpdGggT2NhbWxdIgogIGRlc2NyaXB0aW9uID0gIlN5bnRh eCBleHRlbnNpb246IENvbmRpdGlvbmFsIGNvbXBpbGF0aW9uIgogIGFyY2hpdmUoc3ludGF4LHBy ZXByb2Nlc3NvcikgPSAiLXBhcnNlciBDYW1scDRNYWNyb1BhcnNlciIKICBhcmNoaXZlKHN5bnRh eCx0b3Bsb29wKSA9ICJDYW1scDRQYXJzZXJzL0NhbWxwNE1hY3JvUGFyc2VyLmNtbyIKKQoKcGFj a2FnZSAibWFwZ2VuZXJhdG9yIiAoCiAgcmVxdWlyZXMgPSAiY2FtbHA0IgogIHZlcnNpb24gPSAi W2Rpc3RyaWJ1dGVkIHdpdGggT2NhbWxdIgogIGRlc2NyaXB0aW9uID0gIlN5bnRheCBmaWx0ZXI6 IFRyYXZlcnNlIGRhdGEgc3RydWN0dXJlIChtYXAgc3R5bGUpIgogIGFyY2hpdmUoc3ludGF4LHBy ZXByb2Nlc3NvcikgPSAiLWZpbHRlciBDYW1scDRNYXBHZW5lcmF0b3IiCiAgYXJjaGl2ZShzeW50 YXgsdG9wbG9vcCkgPSAiQ2FtbHA0RmlsdGVycy9DYW1scDRNYXBHZW5lcmF0b3IuY21vIgopCgpw YWNrYWdlICJmb2xkZ2VuZXJhdG9yIiAoCiAgcmVxdWlyZXMgPSAiY2FtbHA0IgogIHZlcnNpb24g PSAiW2Rpc3RyaWJ1dGVkIHdpdGggT2NhbWxdIgogIGRlc2NyaXB0aW9uID0gIlN5bnRheCBmaWx0 ZXI6IFRyYXZlcnNlIGRhdGEgc3RydWN0dXJlIChmb2xkIHN0eWxlKSIKICBhcmNoaXZlKHN5bnRh eCxwcmVwcm9jZXNzb3IpID0gIi1maWx0ZXIgQ2FtbHA0Rm9sZEdlbmVyYXRvciIKICBhcmNoaXZl KHN5bnRheCx0b3Bsb29wKSA9ICJDYW1scDRGaWx0ZXJzL0NhbWxwNEZvbGRHZW5lcmF0b3IuY21v IgopCgpwYWNrYWdlICJtZXRhZ2VuZXJhdG9yIiAoCiAgcmVxdWlyZXMgPSAiY2FtbHA0IgogIHZl cnNpb24gPSAiW2Rpc3RyaWJ1dGVkIHdpdGggT2NhbWxdIgogIGRlc2NyaXB0aW9uID0gIlN5bnRh eCBmaWx0ZXI6IEdlbmVyYXRlIEFTVCBnZW5lcmF0b3IgZm9yIGRhdGEgc3RydWN0dXJlIgogIGFy Y2hpdmUoc3ludGF4LHByZXByb2Nlc3NvcikgPSAiLWZpbHRlciBDYW1scDRNZXRhR2VuZXJhdG9y IgogIGFyY2hpdmUoc3ludGF4LHRvcGxvb3ApID0gIkNhbWxwNEZpbHRlcnMvQ2FtbHA0TWV0YUdl bmVyYXRvci5jbW8iCikKCnBhY2thZ2UgImxvY2F0aW9uc3RyaXBwZXIiICgKICByZXF1aXJlcyA9 ICJjYW1scDQiCiAgdmVyc2lvbiA9ICJbZGlzdHJpYnV0ZWQgd2l0aCBPY2FtbF0iCiAgZGVzY3Jp cHRpb24gPSAiU3ludGF4IGZpbHRlcjogUmVtb3ZlIGxvY2F0aW9uIGluZm8gZnJvbSBBU1QiCiAg YXJjaGl2ZShzeW50YXgscHJlcHJvY2Vzc29yKSA9ICItZmlsdGVyIENhbWxwNExvY2F0aW9uU3Ry aXBwZXIiCiAgYXJjaGl2ZShzeW50YXgsdG9wbG9vcCkgPSAiQ2FtbHA0RmlsdGVycy9DYW1scDRM b2NhdGlvblN0cmlwcGVyLmNtbyIKKQoKcGFja2FnZSAidHJhY2VyIiAoCiAgcmVxdWlyZXMgPSAi Y2FtbHA0IgogIHZlcnNpb24gPSAiW2Rpc3RyaWJ1dGVkIHdpdGggT2NhbWxdIgogIGRlc2NyaXB0 aW9uID0gIlN5bnRheCBmaWx0ZXI6IFRyYWNlIGV4ZWN1dGlvbiIKICBhcmNoaXZlKHN5bnRheCxw cmVwcm9jZXNzb3IpID0gIi1maWx0ZXIgQ2FtbHA0VHJhY2VyIgogIGFyY2hpdmUoc3ludGF4LHRv cGxvb3ApID0gIkNhbWxwNEZpbHRlcnMvQ2FtbHA0VHJhY2VyLmNtbyIKKQoKcGFja2FnZSAiZXhj ZXB0aW9udHJhY2VyIiAoCiAgcmVxdWlyZXMgPSAiY2FtbHA0IgogIHZlcnNpb24gPSAiW2Rpc3Ry aWJ1dGVkIHdpdGggT2NhbWxdIgogIGRlc2NyaXB0aW9uID0gIlN5bnRheCBmaWx0ZXI6IFRyYWNl IGV4Y2VwdGlvbiBleGVjdXRpb24iCiAgYXJjaGl2ZShzeW50YXgscHJlcHJvY2Vzc29yKSA9ICIt ZmlsdGVyIENhbWxwNEV4Y2VwdGlvblRyYWNlciIKICBhcmNoaXZlKHN5bnRheCx0b3Bsb29wKSA9 ICJDYW1scDRGaWx0ZXJzL0NhbWxwNEV4Y2VwdGlvblRyYWNlci5jbW8iCikKCnBhY2thZ2UgInBy b2ZpbGVyIiAoCiAgcmVxdWlyZXMgPSAiY2FtbHA0IgogIHZlcnNpb24gPSAiW2Rpc3RyaWJ1dGVk IHdpdGggT2NhbWxdIgogIGRlc2NyaXB0aW9uID0gIlN5bnRheCBmaWx0ZXI6IENvdW50IGV2ZW50 cyBkdXJpbmcgZXhlY3V0aW9uIgogIGFyY2hpdmUoc3ludGF4LHByZXByb2Nlc3NvcikgPSAiLWZp bHRlciBDYW1scDRQcm9maWxlciIKICBhcmNoaXZlKHN5bnRheCx0b3Bsb29wKSA9ICJDYW1scDRG aWx0ZXJzL0NhbWxwNFByb2ZpbGVyLmNtbyIKICBhcmNoaXZlKGJ5dGUpID0gImNhbWxwNHByb2Yu Y21vIgogIGFyY2hpdmUobmF0aXZlKSA9ICJjYW1scDRwcm9mLmNteCIKKQo= --0015175cdc5e2e2c240475215b14-- 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, 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 D73F8BBAF for ; Sun, 4 Oct 2009 22:06:54 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhoCALudyErRVdzPkGdsb2JhbACCJi6OZoh9PwEBAQEJCQwHEwOkLoE7jVgBAwMFhCUEgVI X-IronPort-AV: E=Sophos;i="4.44,503,1249250400"; d="scan'208";a="35619639" Received: from mail-fx0-f207.google.com ([209.85.220.207]) by mail3-smtp-sop.national.inria.fr with ESMTP; 04 Oct 2009 22:06:48 +0200 Received: by fxm3 with SMTP id 3so2226664fxm.44 for ; Sun, 04 Oct 2009 13:06:47 -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=Dx1aMmNqHcqlw/+8nDQgNGLVgDy3teZOstJ5dzpqw64=; b=mt+Eq54eqSM6fQD82UxGL4+qTZ2qpxZFsCzMvpPBj+DIbZOAYv2OPrx5ZZhJxB1C+A AVtrgCJ5/598r5ldtR3lXD4qGkN1wLsKTjN0d0MGd6jzGE3ffJwj/A/40sYqkofzYKlr tKTXG8KdopTKYCIH5fSII3tqnyeAe78NIHafQ= 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=X2p/ATY8dRheHiKKbOQpcVNSax8jXnIrksaueJj3YHR7u9sQJNIO/PVC/wvLjsXYxZ ztLYkKT4hREh4UwwiWuP+hiB2CZVzqVLaMPA3rJgcsF8OSJz5i75g3RIuu2Az5uo/bSq xGnuFvkWnwreoj32E1qL4xE3e7xd8LxjoaK08= MIME-Version: 1.0 Received: by 10.204.26.147 with SMTP id e19mr3284840bkc.149.1254686807433; Sun, 04 Oct 2009 13:06:47 -0700 (PDT) In-Reply-To: References: <20091004190509.GA31372@annexia.org> <20091004193740.GB28561@annexia.org> Date: Sun, 4 Oct 2009 21:06:47 +0100 Message-ID: Subject: Re: [Caml-list] Dynlink and ocamlfind for camlp4 3.11? From: Conglun Yao To: Richard Jones Cc: caml-list@yquem.inria.fr Content-Type: multipart/mixed; boundary=000325557d267621ac0475218983 X-Spam: no; 0.00; dynlink:01 ocamlfind:01 camlp:01 dynlink:01 ocamlfind:01 ocamlc:01 -package:01 ocamlc:01 -package:01 camlp:01 lib:01 ocaml:01 lib:01 ocaml:01 bug:01 X-Attachments: type="application/octet-stream" name="META" name="META" --000325557d267621ac0475218983 Content-Type: multipart/alternative; boundary=000325557d267621a20475218981 --000325557d267621a20475218981 Content-Type: text/plain; charset=ISO-8859-1 On Sun, Oct 4, 2009 at 8:53 PM, Conglun Yao wrote: > > >> >> In that case, try listing dynlink explicitly, like: >> >> ocamlfind ocamlc dynlink.cma -package json-static [etc] >> > > $ ocamlfind ocamlc dynlink.cma -package json-static -syntax camlp4o -c > test.ml > > $ ocamlfind ocamlc -I /home/conglun/godi/lib/ocaml/pkg-lib/camlp4 > dynlink.cma -package json-static -syntax camlp4o -c t.ml > > > Error: Error while linking > /home/conglun/godi/lib/ocaml/std-lib/camlp4/camlp4lib.cma(Camlp4): > Reference to undefined global `Dynlink' > > >> >> Anyhow, it sounds like a bug in the META files that are supplied with >> your cygwin OCaml distribution. >> >> > I think you are right, the problem happens on the camlp4o or cygwin, which > can't load dynlink. But I can't find problem in the camlp4's META (in the > attachment) > > Thanks, > > Conglun > However, if I do the following test, it works fine. test.ml let x = 1 let _ = print_int x ocamlfind ocamlc -package camlp4 -syntax camlp4o -c t.ml --000325557d267621a20475218981 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable

On Sun, Oct 4, 2009 at 8:53 PM, Conglun = Yao <yaoconglu= n@gmail.com> wrote:



In that case, try listing dynlink explicitly, like:

=A0ocamlfind ocamlc dynlink.cma -package json-static [etc]

$ ocamlfind ocamlc dynlink.cma -package json-static -syntax= camlp4o -c test.ml

$ ocamlfind ocamlc -I /home/conglun/godi/lib/ocaml/pkg-lib/camlp4 dynlink.c= ma -package json-static -syntax camlp4o -c t.ml


Error: Error while linking /home/conglun/go= di/lib/ocaml/std-lib/camlp4/camlp4lib.cma(Camlp4):

Reference to undefined global `Dynlink'
=A0

Anyhow, it sounds like a bug in the META files that are supplied with
your cygwin OCaml distribution.


I think you are right, the problem= happens on the camlp4o or cygwin, which can't load dynlink.=A0 But I c= an't find problem in the camlp4's META=A0 (in the attachment)
Thanks,

Conglun


However, if I do the follow= ing test, it works fine.

test.ml
<= br>=A0=A0=A0 let x =3D 1

=A0=A0=A0 let _ =3D print_int x

oca= mlfind ocamlc -package camlp4 -syntax camlp4o -c t.= ml




--000325557d267621a20475218981-- --000325557d267621ac0475218983 Content-Type: application/octet-stream; name=META Content-Disposition: attachment; filename=META Content-Transfer-Encoding: base64 X-Attachment-Id: f_g0e84foc1 IyBTcGVjaWZpY2F0aW9ucyBmb3IgdGhlICJjYW1scDQiIHByZXByb2Nlc3NvcjoKcmVxdWlyZXMg PSAiIgp2ZXJzaW9uID0gIltkaXN0cmlidXRlZCB3aXRoIE9jYW1sXSIKZGVzY3JpcHRpb24gPSAi QmFzZSBmb3IgQ2FtbHA0IHN5bnRheCBleHRlbnNpb25zIgpkaXJlY3RvcnkgPSAiL2hvbWUvY29u Z2x1bi9nb2RpL2xpYi9vY2FtbC9zdGQtbGliL2NhbWxwNCIKCiMgRm9yIHRoZSB0b3Bsb29wOgpy ZXF1aXJlcyhieXRlLHRvcGxvb3ApID0gImR5bmxpbmsiCmFyY2hpdmUoYnl0ZSx0b3Bsb29wLGNh bWxwNG8pID0gImNhbWxwNG8uY21hIgphcmNoaXZlKGJ5dGUsdG9wbG9vcCxjYW1scDRyKSA9ICJj YW1scDRyLmNtYSIKCiMgRm9yIHRoZSBwcmVwcm9jZXNzb3IgaXRzZWxmOgphcmNoaXZlKHN5bnRh eCxwcmVwcm9jZXNzb3IsY2FtbHA0bykgPSAiLXBhcnNlciBvIC1wYXJzZXIgb3AgLXByaW50ZXIg cCIKYXJjaGl2ZShzeW50YXgscHJlcHJvY2Vzc29yLGNhbWxwNHIpID0gIi1wYXJzZXIgciAtcGFy c2VyIHJwIC1wcmludGVyIHAiCnByZXByb2Nlc3NvciA9ICJzYWZlX2NhbWxwNCIKCnBhY2thZ2Ug ImxpYiIgKAogIHJlcXVpcmVzID0gImNhbWxwNCBkeW5saW5rIgogIHZlcnNpb24gPSAiW2Rpc3Ry aWJ1dGVkIHdpdGggT2NhbWxdIgogIGRlc2NyaXB0aW9uID0gIkNhbWxwNCBsaWJyYXJ5IgogIGFy Y2hpdmUoYnl0ZSkgPSAiY2FtbHA0bGliLmNtYSIKICBhcmNoaXZlKGJ5dGUsdG9wbG9vcCkgPSAi IiAgIyBhbHJlYWR5IGNvbnRhaW5lZCBpbiBjYW1scDQqLmNtYQogIGFyY2hpdmUobmF0aXZlKSA9 ICJjYW1scDRsaWIuY214YSIKKQoKcGFja2FnZSAiZ3JhbWxpYiIgKAogIHJlcXVpcmVzID0gImNh bWxwNC5saWIiCiAgdmVyc2lvbiA9ICJbZGlzdHJpYnV0ZWQgd2l0aCBPY2FtbF0iCiAgZGVzY3Jp cHRpb24gPSAiQ29tcGF0aWJpbHR5IG5hbWUgZm9yIGNhbWxwNC5saWIiCikKCnBhY2thZ2UgInF1 b3RhdGlvbnMiICgKICB2ZXJzaW9uID0gIltkaXN0cmlidXRlZCB3aXRoIE9jYW1sXSIKICBkZXNj cmlwdGlvbiA9ICJTeW50YXggZXh0ZW5zaW9uOiBRdW90YXRpb25zIHRvIGNyZWF0ZSBBU1Qgbm9k ZXMiCiAgcmVxdWlyZXMgPSAiY2FtbHA0LnF1b3RhdGlvbnMuciIgICMgYmFja3dhcmQgY29tcGF0 CiAgYXJjaGl2ZShzeW50YXgscHJlcHJvY2Vzc29yKSA9ICItaWdub3JlIGZvbyIKICBwYWNrYWdl ICJvIiAoCiAgICByZXF1aXJlcyA9ICJjYW1scDQiCiAgICB2ZXJzaW9uID0gIltkaXN0cmlidXRl ZCB3aXRoIE9jYW1sXSIKICAgIGRlc2NyaXB0aW9uID0gIlN5bnRheCBleHRlbnNpb246IFF1b3Rh dGlvbnMgdG8gY3JlYXRlIEFTVCBub2RlcyAob3JpZ2luYWwgc3ludGF4KSIKICAgIGFyY2hpdmUo c3ludGF4LHByZXByb2Nlc3NvcikgPSAiLXBhcnNlciBDYW1scDRRdW90YXRpb25Db21tb24gLXBh cnNlciBDYW1scDRPQ2FtbE9yaWdpbmFsUXVvdGF0aW9uRXhwYW5kZXIiCiAgICBhcmNoaXZlKHN5 bnRheCx0b3Bsb29wKSA9ICJDYW1scDRQYXJzZXJzL0NhbWxwNFF1b3RhdGlvbkNvbW1vbi5jbW8g Q2FtbHA0UGFyc2Vycy9DYW1scDRPQ2FtbE9yaWdpbmFsUXVvdGF0aW9uRXhwYW5kZXIuY21vIgog ICkKICBwYWNrYWdlICJyIiAoCiAgICByZXF1aXJlcyA9ICJjYW1scDQiCiAgICB2ZXJzaW9uID0g IltkaXN0cmlidXRlZCB3aXRoIE9jYW1sXSIKICAgIGRlc2NyaXB0aW9uID0gIlN5bnRheCBleHRl bnNpb246IFF1b3RhdGlvbnMgdG8gY3JlYXRlIEFTVCBub2RlcyAocmV2aXNlZCBzeW50YXgpIgog ICAgYXJjaGl2ZShzeW50YXgscHJlcHJvY2Vzc29yKSA9ICItcGFyc2VyIENhbWxwNFF1b3RhdGlv bkNvbW1vbiAtcGFyc2VyIENhbWxwNE9DYW1sUmV2aXNlZFF1b3RhdGlvbkV4cGFuZGVyIgogICAg YXJjaGl2ZShzeW50YXgsdG9wbG9vcCkgPSAiQ2FtbHA0UGFyc2Vycy9DYW1scDRRdW90YXRpb25D b21tb24uY21vIENhbWxwNFBhcnNlcnMvQ2FtbHA0T0NhbWxSZXZpc2VkUXVvdGF0aW9uRXhwYW5k ZXIuY21vIgogICkKKQoKcGFja2FnZSAiZXh0ZW5kIiAoCiAgcmVxdWlyZXMgPSAiY2FtbHA0Igog IHZlcnNpb24gPSAiW2Rpc3RyaWJ1dGVkIHdpdGggT2NhbWxdIgogIGRlc2NyaXB0aW9uID0gIlN5 bnRheCBleHRlbnNpb246IEVYVEVORCB0aGUgY2FtbHA0IGdyYW1tYXIiCiAgYXJjaGl2ZShzeW50 YXgscHJlcHJvY2Vzc29yKSA9ICItcGFyc2VyIENhbWxwNEdyYW1tYXJQYXJzZXIiCiAgYXJjaGl2 ZShzeW50YXgsdG9wbG9vcCkgPSAiQ2FtbHA0UGFyc2Vycy9DYW1scDRHcmFtbWFyUGFyc2VyLmNt byIKKQoKcGFja2FnZSAibGlzdGNvbXByZWhlbnNpb24iICgKICByZXF1aXJlcyA9ICJjYW1scDQi CiAgdmVyc2lvbiA9ICJbZGlzdHJpYnV0ZWQgd2l0aCBPY2FtbF0iCiAgZGVzY3JpcHRpb24gPSAi U3ludGF4IGV4dGVuc2lvbiBmb3IgbGlzdCBjb21wcmVoZW5zaW9ucyIKICBhcmNoaXZlKHN5bnRh eCxwcmVwcm9jZXNzb3IpID0gIi1wYXJzZXIgQ2FtbHA0TGlzdENvbXByZWhlbnNpb24iCiAgYXJj aGl2ZShzeW50YXgsdG9wbG9vcCkgPSAiQ2FtbHA0UGFyc2Vycy9DYW1scDRMaXN0Q29tcHJlaGVu c2lvbi5jbW8iCikKCnBhY2thZ2UgIm1hY3JvIiAoCiAgcmVxdWlyZXMgPSAiY2FtbHA0IgogIHZl cnNpb24gPSAiW2Rpc3RyaWJ1dGVkIHdpdGggT2NhbWxdIgogIGRlc2NyaXB0aW9uID0gIlN5bnRh eCBleHRlbnNpb246IENvbmRpdGlvbmFsIGNvbXBpbGF0aW9uIgogIGFyY2hpdmUoc3ludGF4LHBy ZXByb2Nlc3NvcikgPSAiLXBhcnNlciBDYW1scDRNYWNyb1BhcnNlciIKICBhcmNoaXZlKHN5bnRh eCx0b3Bsb29wKSA9ICJDYW1scDRQYXJzZXJzL0NhbWxwNE1hY3JvUGFyc2VyLmNtbyIKKQoKcGFj a2FnZSAibWFwZ2VuZXJhdG9yIiAoCiAgcmVxdWlyZXMgPSAiY2FtbHA0IgogIHZlcnNpb24gPSAi W2Rpc3RyaWJ1dGVkIHdpdGggT2NhbWxdIgogIGRlc2NyaXB0aW9uID0gIlN5bnRheCBmaWx0ZXI6 IFRyYXZlcnNlIGRhdGEgc3RydWN0dXJlIChtYXAgc3R5bGUpIgogIGFyY2hpdmUoc3ludGF4LHBy ZXByb2Nlc3NvcikgPSAiLWZpbHRlciBDYW1scDRNYXBHZW5lcmF0b3IiCiAgYXJjaGl2ZShzeW50 YXgsdG9wbG9vcCkgPSAiQ2FtbHA0RmlsdGVycy9DYW1scDRNYXBHZW5lcmF0b3IuY21vIgopCgpw YWNrYWdlICJmb2xkZ2VuZXJhdG9yIiAoCiAgcmVxdWlyZXMgPSAiY2FtbHA0IgogIHZlcnNpb24g PSAiW2Rpc3RyaWJ1dGVkIHdpdGggT2NhbWxdIgogIGRlc2NyaXB0aW9uID0gIlN5bnRheCBmaWx0 ZXI6IFRyYXZlcnNlIGRhdGEgc3RydWN0dXJlIChmb2xkIHN0eWxlKSIKICBhcmNoaXZlKHN5bnRh eCxwcmVwcm9jZXNzb3IpID0gIi1maWx0ZXIgQ2FtbHA0Rm9sZEdlbmVyYXRvciIKICBhcmNoaXZl KHN5bnRheCx0b3Bsb29wKSA9ICJDYW1scDRGaWx0ZXJzL0NhbWxwNEZvbGRHZW5lcmF0b3IuY21v IgopCgpwYWNrYWdlICJtZXRhZ2VuZXJhdG9yIiAoCiAgcmVxdWlyZXMgPSAiY2FtbHA0IgogIHZl cnNpb24gPSAiW2Rpc3RyaWJ1dGVkIHdpdGggT2NhbWxdIgogIGRlc2NyaXB0aW9uID0gIlN5bnRh eCBmaWx0ZXI6IEdlbmVyYXRlIEFTVCBnZW5lcmF0b3IgZm9yIGRhdGEgc3RydWN0dXJlIgogIGFy Y2hpdmUoc3ludGF4LHByZXByb2Nlc3NvcikgPSAiLWZpbHRlciBDYW1scDRNZXRhR2VuZXJhdG9y IgogIGFyY2hpdmUoc3ludGF4LHRvcGxvb3ApID0gIkNhbWxwNEZpbHRlcnMvQ2FtbHA0TWV0YUdl bmVyYXRvci5jbW8iCikKCnBhY2thZ2UgImxvY2F0aW9uc3RyaXBwZXIiICgKICByZXF1aXJlcyA9 ICJjYW1scDQiCiAgdmVyc2lvbiA9ICJbZGlzdHJpYnV0ZWQgd2l0aCBPY2FtbF0iCiAgZGVzY3Jp cHRpb24gPSAiU3ludGF4IGZpbHRlcjogUmVtb3ZlIGxvY2F0aW9uIGluZm8gZnJvbSBBU1QiCiAg YXJjaGl2ZShzeW50YXgscHJlcHJvY2Vzc29yKSA9ICItZmlsdGVyIENhbWxwNExvY2F0aW9uU3Ry aXBwZXIiCiAgYXJjaGl2ZShzeW50YXgsdG9wbG9vcCkgPSAiQ2FtbHA0RmlsdGVycy9DYW1scDRM b2NhdGlvblN0cmlwcGVyLmNtbyIKKQoKcGFja2FnZSAidHJhY2VyIiAoCiAgcmVxdWlyZXMgPSAi Y2FtbHA0IgogIHZlcnNpb24gPSAiW2Rpc3RyaWJ1dGVkIHdpdGggT2NhbWxdIgogIGRlc2NyaXB0 aW9uID0gIlN5bnRheCBmaWx0ZXI6IFRyYWNlIGV4ZWN1dGlvbiIKICBhcmNoaXZlKHN5bnRheCxw cmVwcm9jZXNzb3IpID0gIi1maWx0ZXIgQ2FtbHA0VHJhY2VyIgogIGFyY2hpdmUoc3ludGF4LHRv cGxvb3ApID0gIkNhbWxwNEZpbHRlcnMvQ2FtbHA0VHJhY2VyLmNtbyIKKQoKcGFja2FnZSAiZXhj ZXB0aW9udHJhY2VyIiAoCiAgcmVxdWlyZXMgPSAiY2FtbHA0IgogIHZlcnNpb24gPSAiW2Rpc3Ry aWJ1dGVkIHdpdGggT2NhbWxdIgogIGRlc2NyaXB0aW9uID0gIlN5bnRheCBmaWx0ZXI6IFRyYWNl IGV4Y2VwdGlvbiBleGVjdXRpb24iCiAgYXJjaGl2ZShzeW50YXgscHJlcHJvY2Vzc29yKSA9ICIt ZmlsdGVyIENhbWxwNEV4Y2VwdGlvblRyYWNlciIKICBhcmNoaXZlKHN5bnRheCx0b3Bsb29wKSA9 ICJDYW1scDRGaWx0ZXJzL0NhbWxwNEV4Y2VwdGlvblRyYWNlci5jbW8iCikKCnBhY2thZ2UgInBy b2ZpbGVyIiAoCiAgcmVxdWlyZXMgPSAiY2FtbHA0IgogIHZlcnNpb24gPSAiW2Rpc3RyaWJ1dGVk IHdpdGggT2NhbWxdIgogIGRlc2NyaXB0aW9uID0gIlN5bnRheCBmaWx0ZXI6IENvdW50IGV2ZW50 cyBkdXJpbmcgZXhlY3V0aW9uIgogIGFyY2hpdmUoc3ludGF4LHByZXByb2Nlc3NvcikgPSAiLWZp bHRlciBDYW1scDRQcm9maWxlciIKICBhcmNoaXZlKHN5bnRheCx0b3Bsb29wKSA9ICJDYW1scDRG aWx0ZXJzL0NhbWxwNFByb2ZpbGVyLmNtbyIKICBhcmNoaXZlKGJ5dGUpID0gImNhbWxwNHByb2Yu Y21vIgogIGFyY2hpdmUobmF0aXZlKSA9ICJjYW1scDRwcm9mLmNteCIKKQo= --000325557d267621ac0475218983-- 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=0.8 required=5.0 tests=AWL,SPF_FAIL 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 8DDF7BBAF for ; Sun, 4 Oct 2009 22:33:56 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnUDAJejyEpQRFuwWWdsb2JhbACabAEUF7NuhCoEgVI X-IronPort-AV: E=Sophos;i="4.44,503,1249250400"; d="scan'208";a="35620387" Received: from furbychan.cocan.org ([80.68.91.176]) by mail3-smtp-sop.national.inria.fr with ESMTP; 04 Oct 2009 22:33:56 +0200 Received: from rich by furbychan.cocan.org with local (Exim 4.63) (envelope-from ) id 1MuXmF-00017X-Lc; Sun, 04 Oct 2009 21:33:55 +0100 Date: Sun, 4 Oct 2009 21:33:55 +0100 To: Conglun Yao Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Dynlink and ocamlfind for camlp4 3.11? Message-ID: <20091004203355.GA1917@annexia.org> References: <20091004190509.GA31372@annexia.org> <20091004193740.GB28561@annexia.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.13 (2006-08-11) From: Richard Jones X-Spam: no; 0.00; dynlink:01 ocamlfind:01 camlp:01 0100,:01 ocamlfind:01 ocamlc:01 dynlink:01 -package:01 camlp:01 ocamlc:01 lib:01 ocaml:01 -package:01 lib:01 ocaml:01 On Sun, Oct 04, 2009 at 08:53:50PM +0100, Conglun Yao wrote: > $ ocamlfind ocamlc dynlink.cma -package json-static -syntax camlp4o -c > test.ml > > $ ocamlfind ocamlc -I /home/conglun/godi/lib/ocaml/pkg-lib/camlp4 > dynlink.cma -package json-static -syntax camlp4o -c t.ml > > > Error: Error while linking > /home/conglun/godi/lib/ocaml/std-lib/camlp4/camlp4lib.cma(Camlp4): > Reference to undefined global `Dynlink' OK, I remember what this one is now. camlp4 in 3.11.0 introduced an extra dependency on Dynlink, and in the other distributions of OCaml this meant that certain META files (distributed with findlib) had to change. This was the patch that we added for Fedora to fix the relevant META file: http://cvs.fedoraproject.org/viewvc/devel/ocaml-findlib/ocaml-findlib-1.2.3-camlp4-META.patch?revision=1.1&view=markup (Although more recent versions of findlib include the necessary correction). So you could try the patch above, or try a later version of findlib. Rich. -- Richard Jones Red Hat 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=0.8 required=5.0 tests=AWL,SPF_FAIL 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 E7857BBAF for ; Sun, 4 Oct 2009 22:35:16 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnUDACmjyEpQRFuwWWdsb2JhbACabAEUF7NuhCoEgVI X-IronPort-AV: E=Sophos;i="4.44,503,1249250400"; d="scan'208";a="37498397" Received: from furbychan.cocan.org ([80.68.91.176]) by mail1-smtp-roc.national.inria.fr with ESMTP; 04 Oct 2009 22:35:16 +0200 Received: from rich by furbychan.cocan.org with local (Exim 4.63) (envelope-from ) id 1MuXnY-00018S-Es; Sun, 04 Oct 2009 21:35:16 +0100 Date: Sun, 4 Oct 2009 21:35:16 +0100 To: Conglun Yao Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Dynlink and ocamlfind for camlp4 3.11? Message-ID: <20091004203516.GB1917@annexia.org> References: <20091004190509.GA31372@annexia.org> <20091004193740.GB28561@annexia.org> <20091004203355.GA1917@annexia.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20091004203355.GA1917@annexia.org> User-Agent: Mutt/1.5.13 (2006-08-11) From: Richard Jones X-Spam: no; 0.00; dynlink:01 ocamlfind:01 camlp:01 cygwin:01 ocaml:01 caml-list:01 red:92 patch:08 meta:89 distribution:10 file:11 somehow:12 but:14 broken:14 incorporated:15 Ah but wait, your META file has that patch incorporated already! I don't know -- the cygwin distribution of OCaml is broken somehow. Rich. -- Richard Jones Red Hat 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=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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id C973FBBAF for ; Sun, 4 Oct 2009 23:14:28 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhgCAMCsyEpRZ90vkWdsb2JhbACadgEBAQEJCwoHEwOzU4QqBIFS X-IronPort-AV: E=Sophos;i="4.44,503,1249250400"; d="scan'208";a="37499895" Received: from mtaout01-winn.ispmail.ntl.com ([81.103.221.47]) by mail1-smtp-roc.national.inria.fr with ESMTP; 04 Oct 2009 23:14:28 +0200 Received: from aamtaout01-winn.ispmail.ntl.com ([81.103.221.35]) by mtaout01-winn.ispmail.ntl.com (InterMail vM.7.08.04.00 201-2186-134-20080326) with ESMTP id <20091004211428.EPVD17029.mtaout01-winn.ispmail.ntl.com@aamtaout01-winn.ispmail.ntl.com>; Sun, 4 Oct 2009 22:14:28 +0100 Received: from romulus.metastack.com ([81.102.132.77]) by aamtaout01-winn.ispmail.ntl.com (InterMail vG.2.02.00.01 201-2161-120-102-20060912) with ESMTP id <20091004211428.BIWP13254.aamtaout01-winn.ispmail.ntl.com@romulus.metastack.com>; Sun, 4 Oct 2009 22:14:28 +0100 Received: from Tenor ([172.16.0.8]) (authenticated bits=0) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id n94LEOtC002997 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NO); Sun, 4 Oct 2009 22:14:25 +0100 From: "David Allsopp" To: "'Richard Jones'" , "'Conglun Yao'" Cc: References: <20091004190509.GA31372@annexia.org> <20091004193740.GB28561@annexia.org> <20091004203355.GA1917@annexia.org> <20091004203516.GB1917@annexia.org> In-Reply-To: <20091004203516.GB1917@annexia.org> Subject: RE: [Caml-list] Dynlink and ocamlfind for camlp4 3.11? Date: Sun, 4 Oct 2009 22:14:23 +0100 Message-ID: <007f01ca4537$a65fbb50$f31f31f0$@metastack.com> MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Mailer: Microsoft Office Outlook 12.0 Thread-Index: AcpFMjE5q3Jb3bgKT+GQCyE2f3TaIwABVpuA Content-Language: en-gb Organization: MetaStack Solutions Ltd. X-Scanned-By: MIMEDefang 2.65 on 81.102.132.77 X-Cloudmark-Analysis: v=1.0 c=1 a=TLNnZyDONCQA:10 a=PotJq5XD3Y0ja_sTfUUA:9 a=C0K-GI35DIMtLyNy_TcaKbixjO0A:4 X-Spam: no; 0.00; dynlink:01 ocamlfind:01 camlp:01 cygwin:01 ocaml:01 ocaml:01 dynlink:01 caml-list:01 cma:01 patch:08 load:08 meta:89 distribution:10 file:11 somehow:12 > Ah but wait, your META file has that patch incorporated already! > > I don't know -- the cygwin distribution of OCaml is broken somehow. What happens if you run ocaml and then enter #load "dynlink.cma";; ?? David 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 2427BBBAF for ; Sun, 4 Oct 2009 23:40:25 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlUCANKyyErRVdrRkGdsb2JhbACCJDCOZogaYz8BAQEBCQkMBxMDpEaBO41SAQMDBYQlBIFS X-IronPort-AV: E=Sophos;i="4.44,503,1249250400"; d="scan'208";a="35624160" Received: from mail-bw0-f209.google.com ([209.85.218.209]) by mail3-smtp-sop.national.inria.fr with ESMTP; 04 Oct 2009 23:40:24 +0200 Received: by bwz5 with SMTP id 5so2088065bwz.27 for ; Sun, 04 Oct 2009 14:40:23 -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:content-type; bh=50ge3PrJQuf2PT72zo9qRtJ/c83enmaD94dNxS6QcsM=; b=tj05UGhq33TpSK0WMp34l9naHMdRNP/rEpWRKe0Ng2K808TjDvihElEO0AKyKgsWtN 0nf59eyrLCmkt0PEuC2IuDFEpBZ88k+miUcE/IJTPoxKchfQ+6qHP7/0B6U3yIVnnuv/ mBCEP4eOTeLwqaxCDOEFn+9Q9ZRpkOZUadPg4= 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 :content-type; b=Cjjh+fahjNItt9e3att9w+ariwNNff8A5rlpEkphWeQuhjAMtjQgKWVf+T2odxqb1z 3hlr/Ce88WyaYi04dgoOF/vdlgm4K0lLlA3jgrWkUvQwxtMOjLp2B17QytpIOUrk/AHZ QfxvBlbpO0G3ugSDLmCXpTr/WO8ofxkpXyGcs= MIME-Version: 1.0 Received: by 10.204.8.155 with SMTP id h27mr3323465bkh.55.1254692423698; Sun, 04 Oct 2009 14:40:23 -0700 (PDT) In-Reply-To: <007f01ca4537$a65fbb50$f31f31f0$@metastack.com> References: <20091004190509.GA31372@annexia.org> <20091004193740.GB28561@annexia.org> <20091004203355.GA1917@annexia.org> <20091004203516.GB1917@annexia.org> <007f01ca4537$a65fbb50$f31f31f0$@metastack.com> Date: Sun, 4 Oct 2009 22:40:23 +0100 Message-ID: Subject: Re: [Caml-list] Dynlink and ocamlfind for camlp4 3.11? From: Conglun Yao To: David Allsopp , Richard Jones , caml-list@yquem.inria.fr Content-Type: multipart/alternative; boundary=000e0cd1fada378af5047522d8dd X-Spam: no; 0.00; dynlink:01 ocamlfind:01 camlp:01 pcre:01 pcre:01 dynlink:01 ocaml:01 val:01 bool:01 ocaml:01 topfind:01 lib:01 lib:01 camlp:01 dumped:01 --000e0cd1fada378af5047522d8dd Content-Type: text/plain; charset=ISO-8859-1 Thanks for all of your help. I tried, and it works fine until the require of "json-static". It breaks when loading "pcre.cma". Now we can say that pcre package has some problem, but dynlink is loaded successfully. Test1 $ ocaml Objective Caml version 3.11.1 # #load "dynlink.cma";; # let x = Dynlink.is_native;; val x : bool = false Test 2 $ocaml #use "topfind";; #load "dynlink.cma";; #require "json-static";; /home/conglun/godi/lib/ocaml/std-lib/dynlink.cma: loaded /home/conglun/godi/lib/ocaml/std-lib/camlp4: added to search path /home/conglun/godi/lib/ocaml/pkg-lib/pcre: added to search path /home/conglun/godi/lib/ocaml/pkg-lib/pcre/pcre.cma: loaded 47721 [main] ocaml 2136 _cygtls::handle_exceptions: Error while dumping state (probably corrupted stack) Segmentation fault (core dumped) Test 3 ocamlfind ocamlmktop -package dynlink -o dtop -custom -linkall $./dtop #use "topfind";; #require "dynlink";; /home/conglun/godi/lib/ocaml/std-lib/dynlink.cma: loaded # let x = Dynlink.is_native;; val x : bool = false On Sun, Oct 4, 2009 at 10:14 PM, David Allsopp wrote: > > Ah but wait, your META file has that patch incorporated already! > > > > I don't know -- the cygwin distribution of OCaml is broken somehow. > > What happens if you run ocaml and then enter #load "dynlink.cma";; ?? > > > David > > --000e0cd1fada378af5047522d8dd Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Thanks for all of your help.


I tried, and it works fine until th= e require of "json-static". It breaks when loading "pcre.cma= ".

Now we can say that pcre package has some problem, but dynl= ink is loaded successfully.

Test1

$ ocaml
=A0=A0=A0=A0=A0=A0=A0 Objective Caml version 3.= 11.1

# #load "dynlink.cma";;
# let x =3D Dynlink.is_nat= ive;;
val x : bool =3D false

Test 2

$ocaml

#use &q= uot;topfind";;
=A0#load "dynlink.cma";;
=A0#require "json-static";;=
/home/conglun/godi/lib/ocaml/std-lib/dynlink.cma: loaded
/home/congl= un/godi/lib/ocaml/std-lib/camlp4: added to search path
/home/conglun/god= i/lib/ocaml/pkg-lib/pcre: added to search path
/home/conglun/godi/lib/ocaml/pkg-lib/pcre/pcre.cma: loaded
=A0 47721 [ma= in] ocaml 2136 _cygtls::handle_exceptions: Error while dumping state (proba= bly corrupted stack)
Segmentation fault (core dumped)

Test 3

ocamlfind ocamlmktop -package dynlink -o dtop -custom -linkall

$= ./dtop

#use "topfind";;
#require "dynlink";;<= br>/home/conglun/godi/lib/ocaml/std-lib/dynlink.cma: loaded
# let x =3D = Dynlink.is_native;;
val x : bool =3D false


On Sun, Oct 4,= 2009 at 10:14 PM, David Allsopp <dra-news@metastack.com> wrote:
> Ah but wait, your META file has that patch incorpora= ted already!
>
> I don't know -- the cygwin distribution of OCaml is broken somehow= .

What happens if you run ocaml and then enter #load "dynlink.cma&= quot;;; =A0 =A0 ??


David


--000e0cd1fada378af5047522d8dd-- 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=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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 67CCEBBAF for ; Mon, 5 Oct 2009 09:39:18 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgACAHM/yUpRZ90vkWdsb2JhbACadwEBAQEJCwoHEwO0U4QqBIFS X-IronPort-AV: E=Sophos;i="4.44,505,1249250400"; d="scan'208";a="47935611" Received: from mtaout01-winn.ispmail.ntl.com ([81.103.221.47]) by mail4-smtp-sop.national.inria.fr with ESMTP; 05 Oct 2009 09:39:18 +0200 Received: from aamtaout01-winn.ispmail.ntl.com ([81.103.221.35]) by mtaout01-winn.ispmail.ntl.com (InterMail vM.7.08.04.00 201-2186-134-20080326) with ESMTP id <20091005073914.LKLN17029.mtaout01-winn.ispmail.ntl.com@aamtaout01-winn.ispmail.ntl.com> for ; Mon, 5 Oct 2009 08:39:14 +0100 Received: from romulus.metastack.com ([81.102.132.77]) by aamtaout01-winn.ispmail.ntl.com (InterMail vG.2.02.00.01 201-2161-120-102-20060912) with ESMTP id <20091005073914.DWKS13254.aamtaout01-winn.ispmail.ntl.com@romulus.metastack.com> for ; Mon, 5 Oct 2009 08:39:14 +0100 Received: from Tenor ([172.16.0.8]) (authenticated bits=0) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id n957d9Mb009009 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NO) for ; Mon, 5 Oct 2009 08:39:10 +0100 From: "David Allsopp" To: References: <20091004190509.GA31372@annexia.org> <20091004193740.GB28561@annexia.org> <20091004203355.GA1917@annexia.org> <20091004203516.GB1917@annexia.org> <007f01ca4537$a65fbb50$f31f31f0$@metastack.com> In-Reply-To: Subject: RE: [Caml-list] Dynlink and ocamlfind for camlp4 3.11? Date: Mon, 5 Oct 2009 08:39:09 +0100 Message-ID: <008e01ca458e$ed8501f0$c88f05d0$@metastack.com> MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Mailer: Microsoft Office Outlook 12.0 Thread-Index: AcpFO0eXlsxatqeHQf6JFEsThtJk0AAUKZ4w Content-Language: en-gb Organization: MetaStack Solutions Ltd. X-Scanned-By: MIMEDefang 2.65 on 81.102.132.77 X-Cloudmark-Analysis: v=1.0 c=1 a=TLNnZyDONCQA:10 a=7GW_G_cECkpk6UQ0AqoA:9 a=vQygpbOCPqqpiQagFCsmfkbxAzUA:4 X-Spam: no; 0.00; dynlink:01 ocamlfind:01 camlp:01 pcre:01 pcre:01 dynlink:01 --prefix:01 --version:01 findlib:01 topfind:01 ocaml:01 ocaml:01 cygwin:01 mingw:01 pcre-ocaml:01 > I tried, and it works fine until the require of "json-static". It breaks when loading "pcre.cma". > > Now we can say that pcre package has some problem, but dynlink is loaded successfully. Hmm - a few other things to check: 1. Are you definitely using Cygwin's PCRE and which version (run pcre-config --prefix and pcre-config --version) 2. Which version of ocaml-pcre is findlib trying to load (#use "topfind";; #list;; from within ocaml) 3. Did you install the (very out-of-date) OCaml package which comes with Cygwin? 4. Did you install plain GODI or did you pass -w32port mingw to the first script? I'm using pcre-ocaml 6.0.1 / PCRE 7.9 with no problems with the MinGW port of OCaml 3.11.1 (not via GODI, though) David 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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 585D7BBAF for ; Mon, 5 Oct 2009 12:14:14 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjQCANFjyUrRVdrRkGdsb2JhbACCJy6OZoh9PwEBAQEJCQwHEwOmJoE7jWEBAwMFhCUEgVI X-IronPort-AV: E=Sophos;i="4.44,505,1249250400"; d="scan'208";a="47954131" Received: from mail-bw0-f209.google.com ([209.85.218.209]) by mail4-smtp-sop.national.inria.fr with ESMTP; 05 Oct 2009 12:14:13 +0200 Received: by bwz5 with SMTP id 5so2327294bwz.27 for ; Mon, 05 Oct 2009 03:14:13 -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=kxG8NuUS8+vXrsp4bZ2vv79VhF72LSva5q92fojY6RU=; b=kGGZPxmJHhaza4Ztt7tuBPmgOdDjCJC13QkdiK4paVa/l2Fa9B4uOvPhUqCm3mgiJq NsW5dOkha1IRE7g5G8ha0+TtT9SGSw+4JFKcxa1tcvOhU3yGh4suSS6+lIjAkolZcrOl 5bOBl0u65p6+1xPfiq02MyvzB0VPxhYCsfBVE= 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=FL2/srdP4UV+9vF/innmbaj6CFwpya9SvGp0DLsc9F3D1GiscKsm37Q33azOMT/p94 9JmYPsqtgzBHd70f0r3A2zpmVrq1oxxrzr0UPTGzpbjkUFOpattNtHVZ5qVomU597DeV WxqapkK1VERKH/NcxgFhy3tcqxnbCAHEslt7g= MIME-Version: 1.0 Received: by 10.204.160.65 with SMTP id m1mr3766675bkx.193.1254737653304; Mon, 05 Oct 2009 03:14:13 -0700 (PDT) In-Reply-To: <008e01ca458e$ed8501f0$c88f05d0$@metastack.com> References: <20091004190509.GA31372@annexia.org> <20091004193740.GB28561@annexia.org> <20091004203355.GA1917@annexia.org> <20091004203516.GB1917@annexia.org> <007f01ca4537$a65fbb50$f31f31f0$@metastack.com> <008e01ca458e$ed8501f0$c88f05d0$@metastack.com> Date: Mon, 5 Oct 2009 11:14:13 +0100 Message-ID: Subject: Re: [Caml-list] Dynlink and ocamlfind for camlp4 3.11? From: Conglun Yao To: David Allsopp Cc: caml-list@yquem.inria.fr Content-Type: multipart/alternative; boundary=0015175cd1321c8d7404752d601d X-Spam: no; 0.00; dynlink:01 ocamlfind:01 camlp:01 pcre:01 --prefix:01 --version:01 findlib:01 topfind:01 ocaml:01 pcre:01 --prefix:01 usr:01 ocaml:01 cygwin:01 mingw:01 --0015175cd1321c8d7404752d601d Content-Type: text/plain; charset=ISO-8859-1 On Mon, Oct 5, 2009 at 8:39 AM, David Allsopp wrote: > > Hmm - a few other things to check: > > 1. Are you definitely using Cygwin's PCRE and which version (run > pcre-config > --prefix and pcre-config --version) > 2. Which version of ocaml-pcre is findlib trying to load (#use "topfind";; > #list;; from within ocaml) > I don't use pcre directly, but packages like json-static depend on it. pcre-config --prefix /usr/local pcre-config ---version 7.9 The ocaml-pcre is version 6.0.1. Does it cause the problem? Maybe I need to reinstall a 6.0.1 pcre. > 3. Did you install the (very out-of-date) OCaml package which comes with > Cygwin? 4. Did you install plain GODI or did you pass -w32port mingw to the first > script? > No, I installed plain godi, which downloads and installs the OCaml 3.11.1 > > I'm using pcre-ocaml 6.0.1 / PCRE 7.9 with no problems with the MinGW port > of OCaml 3.11.1 (not via GODI, though) > > > David > > --0015175cd1321c8d7404752d601d Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable

On Mon, Oct 5, 2009 at 8:39 AM, David Al= lsopp <dra-n= ews@metastack.com> wrote:

Hmm - a few other things to check:

1. Are you definitely using Cygwin's PCRE and which version (run pcre-c= onfig
--prefix and pcre-config --version)
2. Which version of ocaml-pcre is findlib trying to load (#use "topfin= d";;
#list;; from within ocaml)

I don't use pcre di= rectly, but packages like json-static depend on it.

pcre-config --pr= efix /usr/local
pcre-config ---version=A0=A0=A0 7.9

The ocaml-pcr= e is version 6.0.1.=A0=A0 Does it cause the problem?

Maybe I need to reinstall a 6.0.1 pcre.
=A0
3. Did you install the (very out-of-date) OCaml package which comes with Cygwin?=A0
4. Did you install plain GODI or did you pass -w32port mingw to the first script?

No, I installed plain godi, which download= s and installs the OCaml 3.11.1
=A0

I'm using pcre-ocaml 6.0.1 / PCRE 7.9 with no problems with the MinGW p= ort
of OCaml 3.11.1 (not via GODI, though)


David


--0015175cd1321c8d7404752d601d-- 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=0.0 required=5.0 tests=none 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 068B7BBAF for ; Mon, 5 Oct 2009 15:31:14 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AisCAHuRyUrU4367lGdsb2JhbACBUpklAQEBAQkLCAkTA7ZKAoQoBIFS X-IronPort-AV: E=Sophos;i="4.44,505,1249250400"; d="scan'208";a="35689232" Received: from moutng.kundenserver.de ([212.227.126.187]) by mail3-smtp-sop.national.inria.fr with ESMTP; 05 Oct 2009 15:31:14 +0200 Received: from office1.lan.sumadev.de (dslb-094-219-220-178.pools.arcor-ip.net [94.219.220.178]) by mrelayeu.kundenserver.de (node=mreu2) with ESMTP (Nemesis) id 0Me7T8-1MgyJ40L4I-00QFbs; Mon, 05 Oct 2009 15:31:13 +0200 Received: from [192.168.0.32] (dslb-084-058-008-239.pools.arcor-ip.net [84.58.8.239]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 96D77C0EA5; Mon, 5 Oct 2009 15:31:11 +0200 (CEST) Subject: Re: [Caml-list] Dynlink and ocamlfind for camlp4 3.11? From: Gerd Stolpmann To: Conglun Yao Cc: Richard Jones , caml-list@yquem.inria.fr In-Reply-To: References: <20091004190509.GA31372@annexia.org> <20091004193740.GB28561@annexia.org> Content-Type: text/plain Date: Mon, 05 Oct 2009 15:35:54 +0200 Message-Id: <1254749754.1870.12.camel@flake.lan.gerd-stolpmann.de> Mime-Version: 1.0 X-Mailer: Evolution 2.12.1 Content-Transfer-Encoding: 7bit X-Provags-ID: V01U2FsdGVkX18t6S1CcyKL64CVuges4G+O8p/yqtWUsQPXGUY +gGa02X0GE7LlfN+OZCq9ORdpXndNgaX5lzCH4erw2NHQjmvng j4crrVmoxl8+TpSCo3HPw== X-Spam: no; 0.00; dynlink:01 ocamlfind:01 camlp:01 gerd:01 stolpmann:01 gerd:01 dynlink:01 ocamlfind:01 ocamlc:01 -package:01 ocamlc:01 -package:01 camlp:01 lib:01 ocaml:01 Am Sonntag, den 04.10.2009, 20:53 +0100 schrieb Conglun Yao: > > > > > In that case, try listing dynlink explicitly, like: > > ocamlfind ocamlc dynlink.cma -package json-static [etc] > > $ ocamlfind ocamlc dynlink.cma -package json-static -syntax camlp4o -c > test.ml > > $ ocamlfind ocamlc -I /home/conglun/godi/lib/ocaml/pkg-lib/camlp4 > dynlink.cma -package json-static -syntax camlp4o -c t.ml > > > Error: Error while > linking /home/conglun/godi/lib/ocaml/std-lib/camlp4/camlp4lib.cma(Camlp4): > Reference to undefined global `Dynlink' > > > > Anyhow, it sounds like a bug in the META files that are > supplied with > your cygwin OCaml distribution. > > > > > I think you are right, the problem happens on the camlp4o or cygwin, > which can't load dynlink. But I can't find problem in the camlp4's > META (in the attachment) 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 ------------------------------------------------------------ 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-- 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=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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id F3096BBAF for ; Mon, 5 Oct 2009 19:28:30 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmUBALvJyUpRZ90wkWdsb2JhbACadwEBAQEJCwoHEwO3QoQqBIFS X-IronPort-AV: E=Sophos;i="4.44,507,1249250400"; d="scan'208";a="35707430" Received: from mtaout02-winn.ispmail.ntl.com ([81.103.221.48]) by mail3-smtp-sop.national.inria.fr with ESMTP; 05 Oct 2009 19:28:30 +0200 Received: from aamtaout03-winn.ispmail.ntl.com ([81.103.221.35]) by mtaout02-winn.ispmail.ntl.com (InterMail vM.7.08.04.00 201-2186-134-20080326) with ESMTP id <20091005172826.CQGO27507.mtaout02-winn.ispmail.ntl.com@aamtaout03-winn.ispmail.ntl.com> for ; Mon, 5 Oct 2009 18:28:26 +0100 Received: from romulus.metastack.com ([81.102.132.77]) by aamtaout03-winn.ispmail.ntl.com (InterMail vG.2.02.00.01 201-2161-120-102-20060912) with ESMTP id <20091005172825.LZDR2093.aamtaout03-winn.ispmail.ntl.com@romulus.metastack.com> for ; Mon, 5 Oct 2009 18:28:25 +0100 Received: from Tenor ([212.183.140.21]) (authenticated bits=0) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id n95HSH78013574 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NO) for ; Mon, 5 Oct 2009 18:28:21 +0100 From: "David Allsopp" To: References: <20091004190509.GA31372@annexia.org> <20091004193740.GB28561@annexia.org> <1254749754.1870.12.camel@flake.lan.gerd-stolpmann.de> In-Reply-To: Subject: RE: [Caml-list] Dynlink and ocamlfind for camlp4 3.11? Date: Mon, 5 Oct 2009 18:28:17 +0100 Message-ID: <001b01ca45e1$3c12bea0$b4383be0$@metastack.com> MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Mailer: Microsoft Office Outlook 12.0 Thread-Index: AcpFzvwvVD5wpDLlSUSJJaaVClSApwAEajaA Content-Language: en-gb Organization: MetaStack Solutions Ltd. X-Scanned-By: MIMEDefang 2.65 on 81.102.132.77 X-Cloudmark-Analysis: v=1.0 c=1 a=TLNnZyDONCQA:10 a=9pY-4jqZqg3WSBAFwwgA:9 a=RpVlfeJDrJrQNT9FevQA:7 a=FOX3KzSKhez0cafsEdk_-R46ICMA:4 X-Spam: no; 0.00; dynlink:01 ocamlfind:01 camlp:01 cygwin:01 dynlink:01 bytecode:01 ocaml:01 mingw:01 mingw:01 ocaml:01 pcre:01 trivial:01 afaik:01 ubuntu:98 wrote:01 Conglun Yao wrote: > Thanks for all of your help. > > Unfortunately, it still does not work. It is really nightmare to use camp4 in a windows machine. In this instance, it's very much Cygwin that's causing the problem, rather than Windows! I didn't realise that Cygwin's Dynlink only extended to pure bytecode (it used not to have Dynlink at all). > I try to reinstall plain OCaml without using GODI, if the same error happens, I have to go back to Ubuntu. You could try using the -w32port mingw flag for GODI to build the MinGW version of OCaml - you can still use it from Cygwin's bash prompt but you will definitely have a fully functional dynamic loading version. Alternatively, if you want I can email you the instructions change log I use for building MinGW & MSVC OCaml on Windows (one day I'll have the time to put it online ). Try GODI/MinGW first - building PCRE is not trivial and AFAIK GODI has full build-support for ocaml-pcre on Windows. David 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=0.9 required=5.0 tests=AWL,RCVD_IN_BL_SPAMCOP_NET 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 109A0BBAF for ; Mon, 5 Oct 2009 19:55:42 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmwIAJfPyUrB/Bd4Wmdsb2JhbACabQEWCA0HEAa3LYQqBIFS X-IronPort-AV: E=Sophos;i="4.44,507,1249250400"; d="scan'208";a="34276628" Received: from smtp-msa-out01.orange.fr ([193.252.23.120]) by mail2-smtp-roc.national.inria.fr with ESMTP; 05 Oct 2009 19:55:41 +0200 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf5a03.orange.fr (SMTP Server) with ESMTP id BFC0C1C00091; Mon, 5 Oct 2009 19:55:41 +0200 (CEST) Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf5a03.orange.fr (SMTP Server) with ESMTP id B1D8D1C00094; Mon, 5 Oct 2009 19:55:41 +0200 (CEST) Received: from [192.168.1.53] (APuteaux-154-1-21-149.w83-199.abo.wanadoo.fr [83.199.22.149]) by mwinf5a03.orange.fr (SMTP Server) with ESMTP id 5114F1C00091; Mon, 5 Oct 2009 19:55:41 +0200 (CEST) X-ME-UUID: 20091005175541332.5114F1C00091@mwinf5a03.orange.fr X-ME-User-Auth: lexifi Message-ID: <4ACA331B.7020700@lexifi.com> Date: Mon, 05 Oct 2009 19:55:39 +0200 From: Alain Frisch User-Agent: Thunderbird 2.0.0.23 (Windows/20090812) MIME-Version: 1.0 To: Gerd Stolpmann Cc: Conglun Yao , caml-list@yquem.inria.fr, Richard Jones Subject: Re: [Caml-list] Dynlink and ocamlfind for camlp4 3.11? References: <20091004190509.GA31372@annexia.org> <20091004193740.GB28561@annexia.org> <1254749754.1870.12.camel@flake.lan.gerd-stolpmann.de> In-Reply-To: <1254749754.1870.12.camel@flake.lan.gerd-stolpmann.de> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; frisch:01 frisch:01 lexifi:01 dynlink:01 ocamlfind:01 camlp:01 gerd:01 stolpmann:01 cygwin:01 bytecode:01 bytecode:01 ocaml:01 cygwin:01 stub:01 bug:01 Gerd Stolpmann wrote: > While cygwin cannot load shared libraries from bytecode, it still can > load pure bytecode dynamically. Since OCaml 3.11 and the use of flexdll, all the windows ports (including the Cygwin port) are supposed to be able to load stub DLLs produced by flexlink. This has not been tested thoroughly, so feel free to report otherwise if you can isolate a bug related to that. Alain