[wg-windows] Improving the state of OCaml on Windows

Török Edwin edwin+ml-ocaml at etorok.net
Mon Jun 1 14:34:02 BST 2015


On 06/01/2015 03:27 PM, Adrien Nader wrote:
> I just opened a bug on mantis after trying to build under Cygwin64 for
> cygwin64. I actually got two major issues.
> First, the simple one: lots of Cygwin-specific C code doesn't work
> because it is behind #ifdef __CYGWIN32__ and that define is only for 32
> bits.
> The more annoying one: no flexlink binaries for Cygwin64. My
> understanding is that there should be a flexlink_cygwin64.o file or
> similar but currently it tries to use the 32bits .o and fails (it says
> "undefined references" but that's expected for such a case).

I got a flexlink installed by WODI64 according to my backup, but I didn't build it myself:
https://gist.githubusercontent.com/anonymous/5d7193abd52806ee33e6/raw/wodi64.7z%20backuplist

IIUC it was built using the patches from here: https://github.com/fdopen/godi-repo/tree/4.02/godi/godi-flexdll

> 
> You mention you used Cygwin64 quite some time ago.

Around 2015-04-28.

> It is fairly young so
> you probably tried it at a fairly early stage. With a recent
> installation, I also got weird stuff: I couldn't pipe code to 'ocaml
> -stdin', make wouldn't always redo .PHONY rules and not all toplevel
> expressions in OCaml were always evaluated it /seems/ (that's something
> I got when cross-compiling but never really understood).
> 
> Overall I would say the port is not in a good-enough shape to announce
> as supported, even with limitations. That doesn't imply anything about
> the Windows 64 port a priori.

Good to know, I'll stick to the 32-bit ports next time.

Best regards,
--Edwin


More information about the wg-windows mailing list