| author | haftmann |
| Fri, 26 Oct 2007 15:37:02 +0200 | |
| changeset 25199 | e83c6c43f1e6 |
| parent 25181 | 7c86f9ed8588 |
| child 25431 | f8f46c3b7551 |
| permissions | -rw-r--r-- |
This distribution of Poly/ML 5.1 has been compiled from the original sources as follows: cvs -d:pserver:anonymous@polyml.cvs.sourceforge.net:/cvsroot/polyml co polyml cd polyml cvs up -dAP ./configure --prefix=/tmp/polyml --without-x make make install Now /tmp/polyml/bin/* and /tmp/polyml/lib/* can be moved to the platform-specific target directory (e.g. polyml-5.1/x86-linux). Makarius 24-Oct-2007 $Id$