Admin/polyml/README
author ballarin
Fri Aug 01 18:10:52 2008 +0200 (2008-08-01)
changeset 27717 21bbd410ba04
parent 27069 48baacc044b2
child 28667 4adfdd666e7d
permissions -rw-r--r--
Generalised polynomial lemmas from cring to ring.
wenzelm@27012
     1
wenzelm@27012
     2
This distribution of Poly/ML 5.2 has been compiled from the original
wenzelm@27012
     3
sources as follows:
wenzelm@27012
     4
wenzelm@27069
     5
  tar xvzf polyml.5.2.tar.gz
wenzelm@27069
     6
  cd polyml.5.2
wenzelm@27069
     7
  chmod +x install-sh
wenzelm@27012
     8
  ./configure --prefix=/tmp/polyml --without-x
wenzelm@27012
     9
  make
wenzelm@27012
    10
  make install
wenzelm@27012
    11
wenzelm@27012
    12
Now /tmp/polyml/bin/* and /tmp/polyml/lib/* are moved to the
wenzelm@27069
    13
platform-specific target directory (e.g. polyml-5.2/x86-linux).  Note
wenzelm@27069
    14
that Isabelle/lib/scripts/polyml-platform identifies your platform.
wenzelm@27012
    15
wenzelm@27012
    16
wenzelm@27012
    17
	Makarius
wenzelm@27069
    18
	03-Jun-2008
wenzelm@27012
    19
wenzelm@27012
    20
$Id$