equal
deleted
inserted
replaced
|
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$ |