26 Sep
2012
26 Sep
'12
4:10 p.m.
On 9/26/12 3:35 PM, Makarius wrote:
My current build script for Poly/ML 5.5.0 is this http://isabelle.in.tum.de/repos/isabelle/file/11bcea724b2c/Admin/polyml/buil...
Nice ! I might borrow your script :-)
I used to have the same ambition to support all possible platforms, but gave up on Solaris OS, Sparc and PPC CPU some years ago. We now do everything uniformly for x86_64 and x86 on linux, darwin, windows (via cygwin).
We left ppc and sparc too. The only reason for solaris x86 is that we still have some Sun HPC servers around still worth to use.
Bernard.