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--