[Caml-list] ocaml on cygwin64

[Caml-list] ocaml on cygwin64

[Per Larsson]

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

We have standardized on the cygwin (64-bit) platform at my workplace. The latest version of ocaml available for this platform in the cygwin-package tool is 4.04.2. This is also the latest version which has worked without problems for me. Later versions can be be installed using opam, but as soon one tries to use the compile suit or install extra libraries with opam there are problems connected to loading shared libraries.  Some googling gives that there is a problem concerning flexdll/flexlink causing this. I hope someone can give me more information on this. Is the cygwin64 platform presently abandoned or is this worked on or planned to be fixed in some future version (which) ? Is there a plan to update the version at the cygwin package tool soon?

[-- Attachment #2: Type: text/html, Size: 1770 bytes --]

Re: [Caml-list] ocaml on cygwin64

[Nicolás Ojeda Bär]

Dear Per,

I think it will be easier for people to help you if you provide more
details about the problems you are facing, such as what errors are you
getting, reproduction steps, etc.
As far as I know, the cygwin port of OCaml is not abandoned and there
are no plans to do so.

Best wishes,
Nicolás

On Sun, Jun 30, 2019 at 2:15 PM Per Larsson <per.larsson@prover.com> wrote:
>
> We have standardized on the cygwin (64-bit) platform at my workplace. The latest version of ocaml available for this platform in the cygwin-package tool is 4.04.2. This is also the latest version which has worked without problems for me. Later versions can be be installed using opam, but as soon one tries to use the compile suit or install extra libraries with opam there are problems connected to loading shared libraries.  Some googling gives that there is a problem concerning flexdll/flexlink causing this. I hope someone can give me more information on this. Is the cygwin64 platform presently abandoned or is this worked on or planned to be fixed in some future version (which) ? Is there a plan to update the version at the cygwin package tool soon?