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