From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 73D747EDE3 for ; Sat, 13 Oct 2012 15:09:55 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of christophe.raffalli@univ-savoie.fr) identity=pra; client-ip=193.48.126.73; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="christophe.raffalli@univ-savoie.fr"; x-sender="christophe.raffalli@univ-savoie.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of christophe.raffalli@univ-savoie.fr designates 193.48.126.73 as permitted sender) identity=mailfrom; client-ip=193.48.126.73; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="christophe.raffalli@univ-savoie.fr"; x-sender="christophe.raffalli@univ-savoie.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@dsi-mta-out.univ-savoie.fr) identity=helo; client-ip=193.48.126.73; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="christophe.raffalli@univ-savoie.fr"; x-sender="postmaster@dsi-mta-out.univ-savoie.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvoAAMxneVDBMH5JmWdsb2JhbABFv2wjAQEBAQEICwsHFCeCIQEFMgFFESwWDwkDAgECAUUTCAKIBLtijnWDIQOXAYRNjT0 X-IronPort-AV: E=Sophos;i="4.80,580,1344204000"; d="scan'208";a="158925766" Received: from dsi-mta-out.univ-savoie.fr ([193.48.126.73]) by mail4-smtp-sop.national.inria.fr with ESMTP; 13 Oct 2012 15:09:54 +0200 Received: from localhost (localhost [127.0.0.1]) by dsi-mta-out.univ-savoie.fr (Postfix) with ESMTP id 955A43007F for ; Sat, 13 Oct 2012 15:09:54 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at dsi-a177.univ-savoie.fr Received: from dsi-mta-out.univ-savoie.fr ([127.0.0.1]) by localhost (dsi-mta-out.univ-savoie.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id zN0+PYFxflBS for ; Sat, 13 Oct 2012 15:09:54 +0200 (CEST) Received: from dsi-mail-msa1.univ-savoie.fr (dsi-mail-msa1.univ-savoie.fr [193.48.126.83]) by dsi-mta-out.univ-savoie.fr (Postfix) with ESMTP id 77DF430071 for ; Sat, 13 Oct 2012 15:09:54 +0200 (CEST) Received: from localhost (localhost [127.0.0.1]) by dsi-mail-msa1.univ-savoie.fr (Postfix) with ESMTP id 732841C07B for ; Sat, 13 Oct 2012 15:09:54 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at dsi-mail-msa1 Received: from dsi-mail-msa1.univ-savoie.fr ([127.0.0.1]) by localhost (dsi-mail-msa1.univ-savoie.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id tQXLIooplfQH for ; Sat, 13 Oct 2012 15:09:54 +0200 (CEST) Received: from [192.168.0.90] (bin73-1-78-240-16-62.fbx.proxad.net [78.240.16.62]) by dsi-mail-msa1.univ-savoie.fr (Postfix) with ESMTPSA id 267E51C078 for ; Sat, 13 Oct 2012 15:09:54 +0200 (CEST) Message-ID: <5079674C.6040903@univ-savoie.fr> Date: Sat, 13 Oct 2012 15:06:20 +0200 From: Christophe Raffalli User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:10.0.7) Gecko/20120922 Icedove/10.0.7 MIME-Version: 1.0 To: caml-list@inria.fr References: In-Reply-To: X-Enigmail-Version: 1.4.1 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Validation-by: christophe.raffalli@univ-savoie.fr Subject: [Caml-list] ocaml 3.12.1 and delimcc -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hello, I failed to have the delimited continuation library working with ocaml 3.12.1 on an amd64. bytecode is fine but native code segfaults one the provided regression test: raffalli@delli7:~/Caml/caml-shift$ make testd0opt /usr/bin/ocamlopt -o testd0opt -cclib -L. delimcc.cmxa testd0.ml ./testd0opt make: *** [testd0opt] Erreur de segmentation make: *** Destruction du fichier « testd0opt » I tried both the provided header file and those of the original distribution. Did anyone succeded with delimcc on 3.12.1 or 4.0.X ? Cheers, Christophe -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAlB5Z0wACgkQi9jr/RgYAS7apwCeJ4u+Wd9ScYU4aLWzZMZBuchU beYAn3rjvAWfnVsEsLn9UR9HBxsVSrOd =Mozm -----END PGP SIGNATURE-----