Re: [Caml-list] ocamlfind on mingw: .exe extensions missing in findlib.conf

[Gerd Stolpmann <info@gerd-stolpmann.de>]

[-- Attachment #1: Type: text/plain, Size: 2687 bytes --]

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’t need .exe in findlib.conf. However, you’re building with
> mingw64 – there’s a bug in findlib which has been fixed
> (https://github.com/whitequark/ocaml-findlib/commit/1152683d21216fdac7b1a5c3927e5cc25626e9cd) but is not included in the currently released version. 
> 
>  
> 
> 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
> 
> 
>  
> 
> 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
> 
> 

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


[-- Attachment #2: This is a digitally signed message part --]
[-- Type: application/pgp-signature, Size: 473 bytes --]