[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