Admin/polyml/README
author wenzelm
Wed May 28 23:43:39 2008 +0200 (2008-05-28)
changeset 27012 e6229d8d6aaa
child 27069 48baacc044b2
permissions -rw-r--r--
moved README-polyml to polyml/README;
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@27012
     5
  cvs -d:pserver:anonymous@polyml.cvs.sourceforge.net:/cvsroot/polyml co polyml
wenzelm@27012
     6
  cd polyml
wenzelm@27012
     7
  cvs up -dAP
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@27012
    13
platform-specific target directory (e.g. polyml-5.2/x86-linux).  Run
wenzelm@27012
    14
Isabelle/lib/scripts/polyml-platform to identify your platform.
wenzelm@27012
    15
wenzelm@27012
    16
wenzelm@27012
    17
	Makarius
wenzelm@27012
    18
	28-May-2008
wenzelm@27012
    19
wenzelm@27012
    20
$Id$