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/buil...
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