|
27011
|
1 |
|
|
|
2 |
This distribution of Poly/ML 5.2 has been compiled from the original
|
|
|
3 |
sources as follows:
|
|
|
4 |
|
|
|
5 |
cvs -d:pserver:anonymous@polyml.cvs.sourceforge.net:/cvsroot/polyml co polyml
|
|
|
6 |
cd polyml
|
|
|
7 |
cvs up -dAP
|
|
|
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). Run
|
|
|
14 |
Isabelle/lib/scripts/polyml-platform to identify your platform.
|
|
|
15 |
|
|
|
16 |
|
|
|
17 |
Makarius
|
|
|
18 |
28-May-2008
|
|
|
19 |
|
|
|
20 |
$Id$
|