caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] ocamlfind on mingw: .exe extensions missing in findlib.conf
@ 2015-10-24 10:21 Soegtrop, Michael
  2015-10-24 11:40 ` Gerd Stolpmann
  2015-10-24 11:46 ` David Allsopp
  0 siblings, 2 replies; 6+ messages in thread
From: Soegtrop, Michael @ 2015-10-24 10:21 UTC (permalink / raw)
  To: caml-list

[-- 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 --]

^ permalink raw reply	[flat|nested] 6+ messages in thread

end of thread, other threads:[~2015-10-26  8:57 UTC | newest]

Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-10-24 10:21 [Caml-list] ocamlfind on mingw: .exe extensions missing in findlib.conf Soegtrop, Michael
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

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).