Admin/polyml/README
author wenzelm
Sat Nov 13 12:32:21 2010 +0100 (2010-11-13 ago)
changeset 40521 8896bd93488e
parent 38469 5c6c5d63f3c3
child 41330 a4d9831c21d4
permissions -rw-r--r--
back to quick_and_dirty, which is still practically important since the scheduler does not jump over subproofs;
wenzelm@38469
     1
Poly/ML for Isabelle
wenzelm@38469
     2
====================
wenzelm@27012
     3
wenzelm@38469
     4
This distribution of Poly/ML 5.4 has been compiled from the original
wenzelm@38469
     5
sources using the included build script.  For example:
wenzelm@37122
     6
wenzelm@38469
     7
  ./build polyml.5.4 x86-linux --with-gmp
wenzelm@37122
     8
wenzelm@38469
     9
The resulting executables and shared libraries are moved to
wenzelm@38469
    10
x86-linux/.  This directory layout accomodates the standard ML_HOME
wenzelm@38469
    11
settings for Isabelle.
wenzelm@27012
    12
wenzelm@27012
    13
wenzelm@27012
    14
	Makarius
wenzelm@38469
    15
	17-Aug-2010