On Wed, 26 Sep 2012, David Matthews wrote:
Makarius sent me a script to do this so he may be able to shed a bit more light on it but this is what I managed to find.
Here is a dynamic reference to the Isabelle-way of building Poly/ML. The "tip" will change whenever there is an update on the repository: http://isabelle.in.tum.de/repos/isabelle/file/tip/Admin/polyml
My current build script for Poly/ML 5.5.0 is this http://isabelle.in.tum.de/repos/isabelle/file/11bcea724b2c/Admin/polyml/buil...
Same question, but symmetric, for solaris 11 (x86) 64bit: I could successfully build a 32 bit poly (default for gcc on that machine), but could not build a 64 bit version ...
I think you'll have to experiment there unless someone has an answer. I've not had much success with Solaris/X86 myself.
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).
Makarius