equal
deleted
inserted
replaced
8 ./configure --prefix=/tmp/polyml --without-x |
8 ./configure --prefix=/tmp/polyml --without-x |
9 make |
9 make |
10 make install |
10 make install |
11 |
11 |
12 Now /tmp/polyml/bin/* and /tmp/polyml/lib/* are moved to the |
12 Now /tmp/polyml/bin/* and /tmp/polyml/lib/* are moved to the |
13 platform-specific target directory (e.g. polyml-5.1/x86-linux). |
13 platform-specific target directory (e.g. polyml-5.1/x86-linux). Run |
|
14 Isabelle/lib/scripts/polyml-platform to identify your platform. |
|
15 |
14 |
16 |
15 Makarius |
17 Makarius |
16 24-Oct-2007 |
18 15-Nov-2007 |
17 |
19 |
18 $Id$ |
20 $Id$ |