Poly/ML version 5.2.1 is the current release. This release is currently available as source only. Older releases are available as source and and, in a few cases, binaries.

Source Release.

The current source can be downloaded via the SourceForge site at http://sourceforge.net/project/showfiles.php?group_id=148318 . After unpacking change to the polyml directory and run.

./configure
make
make install

./configure by default places installed files within /usr/local and in particular the libraries are placed in /usr/local/lib. Some Unix distributions (e.g. Fedora Core) do not include /usr/local/lib in the library search path and on those distributions it may be better to override this by specifying
./configure --prefix=/usr

Please read the release notes for further information.

Please note: although Poly/ML is released as source the source actually contains binary versions of the compiler. There are native code versions for i386, x86-64, PPC and Sparc. The configure script will select the appropriate version. On other architectures it will use interpreted byte code which will necessarily be slower than the native code versions.

SVN Source.

The released version has been extensively tested before being released. If you are using Poly/ML for real work this is the version you should use. The development version is kept in a Subversion repository at SourceForge. This version can change frequently and things may break. Bug fixes, though, are applied first to the SVN version so you may wish to try this if you have problems. It can be browsed at http://polyml.svn.sourceforge.net/viewvc/polyml. To download the SVN version do the following:

svn co https://polyml.svn.sourceforge.net/svnroot/polyml/trunk polyml

At this stage you can simply build Poly/ML in the normal way but this may not incorporate all the changes. In particular the compiler is not rebuilt by the normal build process so to do a complete recompile do the following:

./configure
make
make cvs
make
make install

When updating an existing directory from SVN it may well be worth running make distclean before the update to remove any old files.

Previous versions of Poly/ML.

Prebuilt Binaries.

There is a prebuilt installation on version 4.2.0 for Windows (i386) at http://www.polyml.org/download/poly420.zip .

Source and Database for version 4.2.0

Version 4.2.0 required a driver and a suitable database. The database contains machine code and so will only run on the architecture on which it was built. There are currently databases for i386 (32-bit; Windows and Unix), PPC and Sparc. There is a portable database which uses an interpreted code and it is possible that this will work on other architectures.