Cross-compiling for Windows leaves mosmllex in two parts

[sshine]

When cross-compiling Moscow ML for Windows, mosmllex is left in two parts: header.exe and mosmllex. The old .w32 Makefile suggests that this is fixed by concatenating the two files into mosmllex.exe. Ideally, the cross_w32 Makefile directive should perform this concatenation.

[Eckankar]

Due to this issue, the official Windows binary distribution of 2.10.1 lacks mosmllex.

[sshine]

To minimize confusion, it would be ideal if the Windows installer on mosml.org contained mosmllex.exe.

[ColourGrey]

8 years later and this simple bug is still not addressed!