Admin/polyml/build
2015-09-16 wenzelm updated to polyml-5.5.3-20150916 (polyml git version cb1b36caa242);
2015-09-10 wenzelm Unicode is standard in Poly/ML repository version;
2015-09-08 wenzelm updated to polyml-5.5.3-20150908, with support for x86_64-windows and Unicode file-names;
2015-08-31 wenzelm support x86_64-windows;
2015-08-19 wenzelm clarified x86-windows setup;
2015-08-18 wenzelm example options;
2015-08-18 wenzelm include libgmp;
2015-08-17 wenzelm more complete build;
2015-08-17 wenzelm support for native x86-windows via MinGW32;
2014-05-14 wenzelm updated to polyml-5.5.2;
2013-01-21 wenzelm better apply peflags at build time, to avoid antivirus getting nervous about changing executables;
2012-04-25 wenzelm mingw is windows (still inactive);
2012-04-13 wenzelm minimal support for x86-mingw;
2012-03-12 wenzelm updated polyml/build option to prefer included libffi;
2010-09-22 wenzelm make compiler doubly sure;
2010-08-20 wenzelm reactivated -segprot options, just to make double-sure;
2010-08-17 wenzelm pro-forma support for further platforms;
2010-08-17 wenzelm multi-platform build script for Poly/ML;
less more (0) tip