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/build
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
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
