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 5E5277FA80 for ; Sat, 24 Oct 2015 13:41:03 +0200 (CEST) IronPort-PHdr: 9a23:T0izsxfstyCaWBmIfETjXLNHlGMj4u6mDksu8pMizoh2WeGdxc6yYx7h7PlgxGXEQZ/co6odzbGG7ua4ASQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTqkbjqs7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cYk7sb+sVBSaT3ebgjBfwdVWx+cjN92Mq+/yLEQAST/HwEFi0zkxFICgXBplmuW5b6siL3sqxm3ySVIdfxVZg1Xyiv6+FgTxq+2wkdMDts32zNhoRLkKVfuBeooRo3l4/Sboa9O/dkcubGYdQeXW9IWMAXWyEXUdD0VJcGE+dUZbUQlIL6vVZb6ELmXQQ= 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.17.13; 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.17.13; 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.17.13; 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: A0D3AADabStWmw0R49RdhApvvmqBNxcMhTBKAoEsOxEBAQEBAQEBARABAQEBAQYLCwkhLoIrgggBAQQjJgwkEAsQMgICSQENBhMJiCsJswM1b5EOAQEBAQEBAQMBAQEBARUJhXyFeYRnJgeCLgwvFIExBYYJgTmOdIEBAoQZiAaJFQSTFjeCU4FecAGHFwEBAQ X-IPAS-Result: A0D3AADabStWmw0R49RdhApvvmqBNxcMhTBKAoEsOxEBAQEBAQEBARABAQEBAQYLCwkhLoIrgggBAQQjJgwkEAsQMgICSQENBhMJiCsJswM1b5EOAQEBAQEBAQMBAQEBARUJhXyFeYRnJgeCLgwvFIExBYYJgTmOdIEBAoQZiAaJFQSTFjeCU4FecAGHFwEBAQ X-IronPort-AV: E=Sophos;i="5.20,192,1444687200"; d="asc'?scan'208";a="184291233" Received: from mout.kundenserver.de ([212.227.17.13]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 24 Oct 2015 13:41:02 +0200 Received: from office1.lan.sumadev.de ([178.4.216.3]) by mrelayeu.kundenserver.de (mreue102) with ESMTPSA (Nemesis) id 0MMnFv-1ZsQpq0tod-008Y9g; Sat, 24 Oct 2015 13:40:57 +0200 Received: from [192.168.65.10] (unknown [192.168.65.10]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id B9930DC05D; Sat, 24 Oct 2015 13:40:55 +0200 (CEST) Message-ID: <1445686847.4567.73.camel@e130.lan.sumadev.de> From: Gerd Stolpmann To: "Soegtrop, Michael" Cc: "caml-list@inria.fr" Date: Sat, 24 Oct 2015 13:40:47 +0200 In-Reply-To: <0F7D3B1B3C4B894D824F5B822E3E5A172CE332DA@IRSMSX102.ger.corp.intel.com> References: <0F7D3B1B3C4B894D824F5B822E3E5A172CE332DA@IRSMSX102.ger.corp.intel.com> Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature"; boundary="=-J3zNCvj7e3FZoVaWvxiO" X-Mailer: Evolution 3.10.4-0ubuntu2 Mime-Version: 1.0 X-Provags-ID: V03:K0:ARm2d84qR0YhUALLim+3pvBGzicbPkOhHnPx9iyah1hIezvJnXA TGlrHZ8KX3AC0DVDF0rqzbMIfGfw5qWbA3zuMjWFTZAmgeTH729I5PvE5UmHwoDILs+UIg8 JI9Ly6Rr+l8IrlnC6xY1LJ7gcqw8erqq7Krqe4ne+5aEPCxkwcmLHpG0tWMEbaL91sx2Sao BQ29z5qEnbdp0H+6Q87TQ== X-UI-Out-Filterresults: notjunk:1;V01:K0:GpcG0SWZ7WA=:CH2a8jky6GofPURwE2jZ2C iEOndBhXAz2ejhpt3OLivLGgXYpnskdUrsnRmIa2qw1rf/Z76HXhfzCHeZKDXNsfQaT74Hyyk PJIGBXUoMjjnUAQjAKDl0wqJnTV0O11VFSK4+D3lqmfwGkDqHZpxkaJzhHNhnD177B9ZISkFE j8xt1oG7jPm3C3iaWhBkRTvwtR2garHc0POiVV4eALCKJC0BIlY9/VXfzwh/xwET6jCKDB5cP FRr/BRH4ZO2claHNFCNevzMwO1511KEF/FHlrqcd8fVRi9qI/q+qxNOBcH8GMhG0BQqRGU9fi HVyBEwMXw2JraVIrexmBozQepfcNkcoW49vKDPkVC56WzxqkKUULZHrR3OUx+3MsdGndLLAAy GVwh0CozYlaPR94z3dVo4WxLeM/d3IDxyQA5AU/hPZ+whd7/Akrl2K6CH6z7eysVuVGCg9+7F QOIJDKxuzvifABugVBkE0rWrk4XYv0Q7oNajy+UhQQMcuEta5gdYeoT58a6tE/KyZ+UTH+net vy7g1YkWDbYCmvN5kxvKbzBH7miKS3x+RbRVZyingBSra0HKQSJNsMqoXsfLWiHu9g0EXn37a kY/h+lMBjp/xnIBb3D/27mjchOlowdtwaZzFuybhgbsS+9bbQIH/BN1Jg8k6gCFMdZD7VzYER qOgyYTBUxUi6DlNmxCsnU/d5dD9g7mSfww97IXROgoL4Y5H1JbaXMSie0LuS6qd2B7rc= Subject: Re: [Caml-list] ocamlfind on mingw: .exe extensions missing in findlib.conf --=-J3zNCvj7e3FZoVaWvxiO Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Am Samstag, den 24.10.2015, 10:21 +0000 schrieb Soegtrop, Michael: > 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: > > $ ocamlfind ocamlc >=20 > Uncaught exception: Unix.Unix_error(20, "create_process", > "ocamlc.opt") This is surprising. Windows used to add .exe if missing, so far the command is looked up via PATH (see https://msdn.microsoft.com/en-us/library/windows/desktop/ms682425(v=3Dvs.85= ).aspx but I admit this page is highly confusing). Gerd >=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 >=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 ------------------------------------------------------------ --=-J3zNCvj7e3FZoVaWvxiO 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 iQEcBAABAgAGBQJWK24/AAoJEAaM4b9ZLB5TB4kH/3XzxWDBZlPsRtzhybVt4gPG OvgUDwKSzw9Rqy354ZmQm13LCw/wOf+EG10PkIvV2/oGLLxzcG6fIrg92y6Auq+A eYwQhSUWqarvKuyhCXxE320ih2GDizRxdfVeXKfF4na/8GWXUX2e3EoYRR9RH1ol Yc73KCVc4szwBAWfMfaut+bazAIYh68wNzJ+y5Ck7CGdxUXyc2H5KsDpzLkP0P8k olzTBikBdK/qrFGqCz19Ge6Jr6LPLnPDGaxiVZRgcg1PLMGatQfY3Aqn/+DkZsok 5WodmYLSscW0ElBxELCk0nVHD8yDkyttDIf6IodX/A9b8vHvmvB/DncYUj+y77E= =7A7I -----END PGP SIGNATURE----- --=-J3zNCvj7e3FZoVaWvxiO--