On Wed, 26 Sep 2012, Bernard Berthomieu wrote:
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/build
Nice ! I might borrow your script :-)
You are welcome.
One detail worth noting is Linux: there are no options in the script,
because the diversity of Linux distributions makes it difficult to do this
uniformly. Instead I run the script on an actual x86 and x86_64 Linux,
respectively, without any ambitions for "cross-compilation".
This is done on a standard Linux distribution that is neither too old nor
too new, presently Ubuntu 10.04 LTS. It then has a high chance to work by
accident on most other Linux versions that users might have, usually
without knowing about the details themselves. (Surprisingly many Linux
users do not even know if they have 32 or 64 bit under the hood.)
Further explanations of the Isabelle multiplatform approach is here:
http://isabelle.in.tum.de/repos/isabelle/file/11bcea724b2c/Admin/PLATFORMS
Makarius
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
