Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
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 --]

             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