Admin/polyml/build
Mon, 31 Aug 2015 22:28:23 +0200 wenzelm support x86_64-windows;
Wed, 19 Aug 2015 21:51:30 +0200 wenzelm clarified x86-windows setup;
Tue, 18 Aug 2015 17:06:34 +0200 wenzelm example options;
Tue, 18 Aug 2015 15:08:22 +0200 wenzelm include libgmp;
Mon, 17 Aug 2015 23:16:03 +0200 wenzelm more complete build;
Mon, 17 Aug 2015 21:56:45 +0200 wenzelm support for native x86-windows via MinGW32;
Wed, 14 May 2014 12:00:18 +0200 wenzelm updated to polyml-5.5.2;
Mon, 21 Jan 2013 16:33:54 +0100 wenzelm better apply peflags at build time, to avoid antivirus getting nervous about changing executables;
Wed, 25 Apr 2012 20:08:33 +0200 wenzelm mingw is windows (still inactive);
Fri, 13 Apr 2012 21:09:11 +0200 wenzelm minimal support for x86-mingw;
Mon, 12 Mar 2012 16:04:00 +0100 wenzelm updated polyml/build option to prefer included libffi;
Wed, 22 Sep 2010 22:15:36 +0200 wenzelm make compiler doubly sure;
Fri, 20 Aug 2010 15:29:36 +0200 wenzelm reactivated -segprot options, just to make double-sure;
Tue, 17 Aug 2010 23:00:51 +0200 wenzelm pro-forma support for further platforms;
Tue, 17 Aug 2010 17:57:05 +0200 wenzelm multi-platform build script for Poly/ML;
less more (0) tip