From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 2A1D37FB5F for ; Sun, 25 Oct 2015 13:51:59 +0100 (CET) IronPort-PHdr: 9a23:SYR/MRyD5QjHggTXCy+O+j09IxM/srCxBDY+r6Qd0e0RIJqq85mqBkHD//Il1AaPBtWGraocw8Pt8IneGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2WVTerzWI4CIIHV2nbEwudrmzQtaapv/0/t7x0qWbWx9Piju5bOE6BzSNhiKViPMrh5B/IL060BrDrygAUe1XwWR1OQDbxE6ktY+YtaRu+CVIuv8n69UIEeCjJ/x5HvRkC2EKOn406IXCsR3YShOXri8QSGxTlBdXGCDA4Q3zRYv4uSi8ve14jnq0J8rzGJ85Qzjq1LtsTAftgSEBf2o49m/QosN9lq4euw6mowR6yojSJo2YYqktNpjBdM8XEDISFv1aUDZMV8blN9MC Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=info@gerd-stolpmann.de; spf=None smtp.mailfrom=info@gerd-stolpmann.de; spf=None smtp.helo=postmaster@mout.kundenserver.de Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=212.227.126.130; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=212.227.126.130; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.kundenserver.de) identity=helo; client-ip=212.227.126.130; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@mout.kundenserver.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BsAAA40CxWlIJ+49RehApvvkojgTcXDIVAOgKBFjoSAQEBAQEBAQEQAQEBAQcLCwkfMIIrggcBAQEEIyYMJBALDgIBBAEBKAMCAkYJCAYTCYgrCbIaNW+QaAEBAQEBAQEBAQEBAQEBAQEBAQEBEAmFfIV5hGcmBwaCKDsUgTEFh0KOdIEBAoQZiAaJFQSTFigCgmCBXXEBBIcTAQEB X-IPAS-Result: A0BsAAA40CxWlIJ+49RehApvvkojgTcXDIVAOgKBFjoSAQEBAQEBAQEQAQEBAQcLCwkfMIIrggcBAQEEIyYMJBALDgIBBAEBKAMCAkYJCAYTCYgrCbIaNW+QaAEBAQEBAQEBAQEBAQEBAQEBAQEBEAmFfIV5hGcmBwaCKDsUgTEFh0KOdIEBAoQZiAaJFQSTFigCgmCBXXEBBIcTAQEB X-IronPort-AV: E=Sophos;i="5.20,196,1444687200"; d="asc'?scan'208";a="184362543" Received: from mout.kundenserver.de ([212.227.126.130]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 25 Oct 2015 13:51:58 +0100 Received: from office1.lan.sumadev.de ([178.4.216.3]) by mrelayeu.kundenserver.de (mreue005) with ESMTPSA (Nemesis) id 0MRhYD-1ZxBRS3OwL-00Svha; Sun, 25 Oct 2015 13:51:47 +0100 Received: from [192.168.65.10] (unknown [192.168.65.10]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 7078DDC05D; Sun, 25 Oct 2015 13:51:45 +0100 (CET) Message-ID: <1445777498.4302.1.camel@e130.lan.sumadev.de> From: Gerd Stolpmann To: David Allsopp Cc: "Soegtrop, Michael" , "caml-list@inria.fr" Date: Sun, 25 Oct 2015 13:51:38 +0100 In-Reply-To: References: <0F7D3B1B3C4B894D824F5B822E3E5A172CE332DA@IRSMSX102.ger.corp.intel.com> Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature"; boundary="=-KXbCoVYNnSUduyxr/HQP" X-Mailer: Evolution 3.10.4-0ubuntu2 Mime-Version: 1.0 X-Provags-ID: V03:K0:86SirJbOEIjVIWydJSzx8RlgWRSF6eSqC0R/4MAmPJITRVzPKN9 AMvLogBLzH1rjbGFIrCifWG0KWMSxHV472et2QF3mvQ/ef5QV0h999+3I2l0VsTtf0rzpr+ d6FBPbZ+NVLxsYJdiXZUXM2Ndqk+OpLg91Guxy0ALu0fzOESQGIFOF/JaqldDHFko6bVqVW mrk23BkjKpABjyzFjcClg== X-UI-Out-Filterresults: notjunk:1;V01:K0:PXAeaW1E9sQ=:lj/Ni2STF8AFwOPPi/7OjA 4ewkVbh7bcObLT1KEkIdpTjXoV64NYD9R3ZMP7biKUI5+6Ce9eyb1V7kzWsOd6woRsIeI+8z3 55uaKCuv3hhbYRxYoG9nSjcHlQu8xjTcw4/VubvHb6zGgCVH0NWH7ugKd6/AGAX+t+GG9PTpt L73qzZ74e9DGtABUiGPvCOfEIxl1K2TPj4quYGnN17WtYPt4KtH6DV+QrXhnr17MgncS3THWT 3zA3SxtNI4f4+NMdJLF9LrnUN2TpvtD1gXDYINzrMyH8YNpBU6aKsY3SR/KScoNU/qeb/ZNND FUVhoVtUTyAQAkBr5VIaNSUDjK3vsuT5ZMwlSsmQj1+vsxXciFzhD/58xmqdVAypSlB2eY8YT r99Y3UROJanudjpkHByikXJa5ZzUDVf8y12tz8Zc/SAfgfiKv1UVup+PeKawc1z+7WIkzKSU6 y7OZW2DEgAEV5baIrt8wFjbv9k9ggS1I5kCcJWKfdSyB+QWPBTOT8Xjj4fGDadYhRivh47Hes EYIfGBJwy3+PK1FXWVNpSA6kznJVgF97Ms2NBX07CB8+7QihRu46ni2nvlp3mhqn6mQHxIprB 5SskneUOdntT1WMxw2ayIh0n7RWzNlijhwmE2NnKCZTiub23CyMLrTbiAZS4riuraeM+o6m/o r2mpzQJ4itHJzYS2JsT280oKIIP+S10JFJLzJy14QhGqMPELBJqQbGbgmy0oH05a/y7M= Subject: Re: [Caml-list] ocamlfind on mingw: .exe extensions missing in findlib.conf --=-KXbCoVYNnSUduyxr/HQP Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable A good reminder. Just released findlib-1.5.6 with the fix. Also, it explains the observed behavior (.exe is/should be appended by ocamlfind). Gerd Am Samstag, den 24.10.2015, 11:46 +0000 schrieb David Allsopp: > You don=E2=80=99t need .exe in findlib.conf. However, you=E2=80=99re buil= ding with > mingw64 =E2=80=93 there=E2=80=99s a bug in findlib which has been fixed > (https://github.com/whitequark/ocaml-findlib/commit/1152683d21216fdac7b1a= 5c3927e5cc25626e9cd) but is not included in the currently released version.= =20 >=20 >=20=20 >=20 > From: caml-list-request@inria.fr [mailto:caml-list-request@inria.fr] > On Behalf Of Soegtrop, Michael > Sent: 24 October 2015 11:22 > To: caml-list@inria.fr > Subject: [Caml-list] ocamlfind on mingw: .exe extensions missing in > findlib.conf >=20 >=20 >=20=20 >=20 > Dear Ocaml users, >=20 >=20=20 >=20 > I found that ocamlfind (findlib) builds fine for mingw on Cygwin, but > it doesn=E2=80=99t work. The issue is that the .exe extensions are missin= g in > the findlib.conf file. This has the effect that most calls to > ocamlfind end up in an error message like: >=20 >=20=20 >=20 > $ ocamlfind ocamlc >=20 > Uncaught exception: Unix.Unix_error(20, "create_process", > "ocamlc.opt") >=20 >=20=20 >=20 > This is easy to fix with a text editor or sed. A more generic fix > would be to use whereis/which/where to find ocamlc and friends but > nothing is really satisfactory >=20 >=20=20 >=20 > $ whereis ocamlc.opt >=20 > ocamlc: /cygdrive/d/bin/ocamlmgw64/bin/ocamlc.exe >=20 >=20=20 >=20 > Finds ocamlc instead of omcalc.opt >=20 >=20=20 >=20 > $ which ocamlc.opt >=20 > /cygdrive/d/bin/ocamlmgw64/bin/ocamlc.opt >=20 >=20=20 >=20 > Doesn=E2=80=99t show the extension >=20 >=20=20 >=20 > $ where ocamlc.opt >=20 > D:\bin\ocamlmgw64\bin\ocamlc.opt.exe >=20 >=20=20 >=20 > Works but is a windows command. >=20 >=20=20 >=20 > Does someone have an idea how to get the executable names in an > elegant and platform independent way? >=20 >=20=20 >=20 > Best regards, >=20 >=20=20 >=20 > Michael >=20 >=20=20 >=20 > Intel Deutschland GmbH > Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany > Tel: +49 89 99 8853-0, www.intel.de > Managing Directors: Christin Eisenschmid, Prof. Dr. Hermann Eul > Chairperson of the Supervisory Board: Tiffany Doon Silva > Registered Office: Munich > Commercial Register: Amtsgericht Muenchen HRB 186928 >=20 >=20 --=20 ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de My OCaml site: http://www.camlcity.org Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de ------------------------------------------------------------ --=-KXbCoVYNnSUduyxr/HQP Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQEcBAABAgAGBQJWLNBaAAoJEAaM4b9ZLB5TutUIAIL8TRlgjQVDj/iQ3el8MyXs 6wd97lhP/dzDB2piaaLG5nWKDw4Q2qhquiJQP+EgsEHbeUrdjc7Ip7OPQ5xVBvgr kFA/qvb0+ejecQ9+g5fcL4ahdnumLyB8syEQpn04CaMCDLli349ThbqwGwv1f5qp uOvB9CsquXUAgLEcGE+q7Y2DalKkx3UxzGyeL3tN4u6zmNeBycfAunc372Yq0q// C2OZnrhS/0AU4kT6EcDOWBl4482iJV7o0uRZIDX9nNF1fs2raLQmqogmAnHeuv4S Bu0WxDy4m709T9+ouQG28j5w/jnZWfknRjSl5utoA0JvGcU2QgKqONJhbPFXUuA= =iS6/ -----END PGP SIGNATURE----- --=-KXbCoVYNnSUduyxr/HQP--