Admin/Isabelle2005-polyml-5.0/README-polyml-5.0
author wenzelm
Thu Dec 07 14:11:39 2006 +0100 (2006-12-07)
changeset 21688 e5287f12f1e1
child 21764 720b0add5206
permissions -rw-r--r--
Poly/ML 5.0 setup for Isabelle2005.
wenzelm@21688
     1
wenzelm@21688
     2
Using Isabelle2005 with Poly/ML 5.0 requires the following
wenzelm@21688
     3
compatibility wrappers:
wenzelm@21688
     4
wenzelm@21688
     5
  Isabelle2005/src/Pure/ML-Systems/polyml-5.0.ML
wenzelm@21688
     6
  Isabelle2005/lib/scripts/run-polyml-5.0
wenzelm@21688
     7
wenzelm@21688
     8
Moreover the Isabelle settings need to specify that version, by
wenzelm@21688
     9
including something like this in Isabelle2005/etc/settings or
wenzelm@21688
    10
~/isabelle/etc/settings:
wenzelm@21688
    11
wenzelm@21688
    12
ML_PLATFORM=""
wenzelm@21688
    13
ML_HOME=/usr/local/bin
wenzelm@21688
    14
ML_SYSTEM=polyml-5.0
wenzelm@21688
    15
ML_OPTIONS="-H 500"
wenzelm@21688
    16
wenzelm@21688
    17
Then logics can be compiled as usual, cf. the INSTALL instructions.
wenzelm@21688
    18
wenzelm@21688
    19
wenzelm@21688
    20
	Makarius
wenzelm@21688
    21
	07-Dec-2006
wenzelm@21688
    22
wenzelm@21688
    23
$Id$