From: "Soegtrop, Michael" <michael.soegtrop@intel.com>
To: "caml-list@inria.fr" <caml-list@inria.fr>
Subject: [Caml-list] ocamlfind on mingw: .exe extensions missing in findlib.conf
Date: Sat, 24 Oct 2015 10:21:39 +0000 [thread overview]
Message-ID: <0F7D3B1B3C4B894D824F5B822E3E5A172CE332DA@IRSMSX102.ger.corp.intel.com> (raw)
[-- Attachment #1: Type: text/plain, Size: 1296 bytes --]
Dear Ocaml users,
I found that ocamlfind (findlib) builds fine for mingw on Cygwin, but it doesn't work. The issue is that the .exe extensions are missing in the findlib.conf file. This has the effect that most calls to ocamlfind end up in an error message like:
$ ocamlfind ocamlc
Uncaught exception: Unix.Unix_error(20, "create_process", "ocamlc.opt")
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
$ whereis ocamlc.opt
ocamlc: /cygdrive/d/bin/ocamlmgw64/bin/ocamlc.exe
Finds ocamlc instead of omcalc.opt
$ which ocamlc.opt
/cygdrive/d/bin/ocamlmgw64/bin/ocamlc.opt
Doesn't show the extension
$ where ocamlc.opt
D:\bin\ocamlmgw64\bin\ocamlc.opt.exe
Works but is a windows command.
Does someone have an idea how to get the executable names in an elegant and platform independent way?
Best regards,
Michael
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
[-- Attachment #2: Type: text/html, Size: 4420 bytes --]
next reply other threads:[~2015-10-24 10:21 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-10-24 10:21 Soegtrop, Michael [this message]
2015-10-24 11:40 ` Gerd Stolpmann
2015-10-24 12:08 ` David Allsopp
2015-10-24 11:46 ` David Allsopp
2015-10-25 12:51 ` Gerd Stolpmann
2015-10-26 8:57 ` Soegtrop, Michael
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=0F7D3B1B3C4B894D824F5B822E3E5A172CE332DA@IRSMSX102.ger.corp.intel.com \
--to=michael.soegtrop@intel.com \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox