From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 06B487EC6E for ; Fri, 20 Dec 2013 16:25:56 +0100 (CET) Received-SPF: None (mail3-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=mail3-smtp-sop.national.inria.fr; envelope-from="raffalli@univ-savoie.fr"; x-sender="Christophe.Raffalli@univ-savoie.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of raffalli@univ-savoie.fr designates 193.48.126.73 as permitted sender) identity=mailfrom; client-ip=193.48.126.73; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="raffalli@univ-savoie.fr"; x-sender="raffalli@univ-savoie.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-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=mail3-smtp-sop.national.inria.fr; envelope-from="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: AocBADJgtFLBMH5JnGdsb2JhbABZg0O7JhYOAQEBAQEICwkJFCiCf2I0BUmIG6I/qFSSPIETBJgVAZVA X-IPAS-Result: AocBADJgtFLBMH5JnGdsb2JhbABZg0O7JhYOAQEBAQEICwkJFCiCf2I0BUmIG6I/qFSSPIETBJgVAZVA X-IronPort-AV: E=Sophos;i="4.95,521,1384297200"; d="asc'?scan'208";a="41880614" Received: from dsi-mta-out.univ-savoie.fr ([193.48.126.73]) by mail3-smtp-sop.national.inria.fr with ESMTP; 20 Dec 2013 16:25:55 +0100 Received: from localhost (localhost [127.0.0.1]) by dsi-mta-out.univ-savoie.fr (Postfix) with ESMTP id 1B3FF4269F for ; Fri, 20 Dec 2013 16:25:55 +0100 (CET) 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 10026) with ESMTP id 4c2Ew99GKc-2 for ; Fri, 20 Dec 2013 16:25:55 +0100 (CET) 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 08E1D4269B for ; Fri, 20 Dec 2013 16:25:55 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by dsi-mail-msa1.univ-savoie.fr (Postfix) with ESMTP id 0038D4A0AE for ; Fri, 20 Dec 2013 16:25:55 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at dsi-mail-msa1.univ-savoie.fr 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 b4omsBF7OYn9 for ; Fri, 20 Dec 2013 16:25:54 +0100 (CET) Received: from localhost (etu-im-pc15.local.univ-savoie.fr [192.168.144.15]) by dsi-mail-msa1.univ-savoie.fr (Postfix) with ESMTPSA id D78964A07F for ; Fri, 20 Dec 2013 16:25:54 +0100 (CET) Date: Fri, 20 Dec 2013 16:25:53 +0100 From: Christophe Raffalli To: Caml list Message-ID: <20131220152553.GA28797@delli7.univ-savoie.fr> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="XsQoSWH+UP9D9v3l" Content-Disposition: inline User-Agent: Mutt/1.5.21 (2010-09-15) X-Validation-by: christophe.raffalli@univ-savoie.fr Subject: [Caml-list] Natdynlink segfault --XsQoSWH+UP9D9v3l Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Dear List members, I am encountering a segfault using natdynlink. The picture is - program works when a .cmxs containing few modules like lablgl ... is dynlinked but some ocamlnet modules are statically linked - the exactly same program segfaults when handling the first http request if ocamlnet modules are inside the .cmxs too. Remark: I have to compile the main program with -linkall (otherwise some modules like StdLabels are missing), but the .cmxs is compiled without -linkall and I do not think some modules are downloaded twice (but I do not know a way to be sure). Any idea ? If I have time, I will try to reproduce the pb using a small ocamlnet example. Christophe --XsQoSWH+UP9D9v3l Content-Type: application/pgp-signature; name="signature.asc" Content-Description: Digital signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.15 (GNU/Linux) iEYEARECAAYFAlK0YYEACgkQi9jr/RgYAS5QGACgk+Z6ctO0gv4pGYWSckCMrzkx iJAAoLX3PTdo9QPSpa4igz6Wssmt4GTl =5+zz -----END PGP SIGNATURE----- --XsQoSWH+UP9D9v3l--