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.
     1 
     2 This distribution of Poly/ML 5.2 has been compiled from the original
     3 sources as follows:
     4 
     5   tar xvzf polyml.5.2.tar.gz
     6   cd polyml.5.2
     7   chmod +x install-sh
     8   ./configure --prefix=/tmp/polyml --without-x
     9   make
    10   make install
    11 
    12 Now /tmp/polyml/bin/* and /tmp/polyml/lib/* are moved to the
    13 platform-specific target directory (e.g. polyml-5.2/x86-linux).  Note
    14 that Isabelle/lib/scripts/polyml-platform identifies your platform.
    15 
    16 
    17 	Makarius
    18 	03-Jun-2008
    19 
    20 $Id$