some updates of PLATFORMS;
authorwenzelm
Sun Sep 11 14:42:15 2011 +0200 (2011-09-11)
changeset 44876243e2a413787
parent 44875 68615b48cc12
child 44877 a4761fc03ee7
some updates of PLATFORMS;
Admin/PLATFORMS
     1.1 --- a/Admin/PLATFORMS	Sun Sep 11 13:27:22 2011 +0200
     1.2 +++ b/Admin/PLATFORMS	Sun Sep 11 14:42:15 2011 +0200
     1.3 @@ -10,15 +10,16 @@
     1.4  
     1.5  The basic Isabelle system infrastructure provides some facilities to
     1.6  make this work, e.g. see the ML structures File and Path, or functions
     1.7 -like bash_output.  The settings environment also provides some means
     1.8 -for portability, e.g. jvm_path to hold up the impression that Java on
     1.9 -Windows/Cygwin adheres to Isabelle/POSIX standards.
    1.10 +like Isabelle_System.bash.  The settings environment also provides
    1.11 +some means for portability, e.g. jvm_path to keep the impression that
    1.12 +Java on Windows/Cygwin adheres to Isabelle/POSIX standards (inside the
    1.13 +JVM itself there are many Windows-specific things, though).
    1.14  
    1.15  When producing add-on tools, it is important to stay within this clean
    1.16  room of Isabelle, and refrain from overly ambitious system hacking.
    1.17  The existing Isabelle scripts follow a certain style that might look
    1.18 -odd at first sight, but reflects long years of experience in getting
    1.19 -system plumbing right (which is quite hard).
    1.20 +odd at first sight, but it reflects long years of experience in
    1.21 +getting system plumbing right (which is quite hard).
    1.22  
    1.23  
    1.24  Supported platforms
    1.25 @@ -29,31 +30,34 @@
    1.26  following reference versions (which have been selected to be neither
    1.27  too old nor too new):
    1.28  
    1.29 -  x86-linux         SuSE 11.0 (atbroy51) (??)
    1.30 +  x86-linux         Ubuntu 10.04 LTS
    1.31    x86-darwin        Mac OS Leopard (macbroy30)
    1.32 -  x86-cygwin        Cygwin 1.7 (atbroy102)
    1.33 +  x86-cygwin        Cygwin 1.7 (vmbroy9)
    1.34  
    1.35 -  x86_64-linux      SuSE 11.0 (atbroy100)
    1.36 +  x86_64-linux      Ubuntu 10.04 LTS
    1.37    x86_64-darwin     Mac OS Leopard (macbroy30)
    1.38  
    1.39  All of the above platforms are 100% supported by Isabelle -- end-users
    1.40 -should not have to care about the differences at all.  There are also
    1.41 -some secondary platforms where Poly/ML also happens to work:
    1.42 +should not have to care about the differences (at least in theory).
    1.43 +There are also some additional platforms where Poly/ML also happens to
    1.44 +work, but they are *not* covered by the official Isabelle
    1.45 +distribution:
    1.46  
    1.47    ppc-darwin
    1.48    sparc-solaris
    1.49    x86-solaris
    1.50    x86-bsd
    1.51  
    1.52 -There is no guarantee that Isabelle add-ons work on these fringe
    1.53 -platforms.  Even Isabelle/Scala already fails on ppc-darwin due to
    1.54 -lack of JVM 1.6 support by Apple.
    1.55 +There are increasing problems to make contributing components of
    1.56 +Isabelle work on such fringe platforms.  Note that x86-bsd is silently
    1.57 +treated like x86-linux -- this works if certain Linux compatibility
    1.58 +packages are installed on BSD.
    1.59  
    1.60  
    1.61  32 bit vs. 64 bit platforms
    1.62  ---------------------------
    1.63  
    1.64 -64 bit hardware becomes more and more important for power users.
    1.65 +64 bit hardware becomes more and more important for many users.
    1.66  Add-on tools need to work seamlessly without manual user
    1.67  configuration, although it is often sufficient to fall back on 32 bit
    1.68  executables.
    1.69 @@ -77,15 +81,15 @@
    1.70  
    1.71  * GNU bash as uniform shell on all platforms.  The POSIX "standard"
    1.72    shell /bin/sh is *not* appropriate, because there are too many
    1.73 -  different implementations of it.
    1.74 +  non-standard implementations of it.
    1.75  
    1.76  * Perl as largely portable system programming language.  In some
    1.77    situations Python may serve as an alternative, but it usually
    1.78    performs not as well in addressing various delicate details of
    1.79    operating system concepts (processes, signals, sockets etc.).
    1.80  
    1.81 -* Scala with Java Runtime 1.6.  The Isabelle/Pure.jar library irons
    1.82 -  out many oddities and portability problems of the Java platform.
    1.83 +* Scala with Java Runtime 1.6.  The Isabelle/Scala layer irons out
    1.84 +  many oddities and portability issues of the Java platform.
    1.85  
    1.86  
    1.87  Known problems