Download Page

The current release of Poly/ML (5.9) is available as downloads from Github (https://github.com/polyml/polyml/releases). For Linux, Mac OS X, BSD and similar platforms download the source tar-ball and follow the instructions below. There is a binary distribution for 64-bit Windows.

Source Release.

After downloading and unpacking the source 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. Quite a few Unix variants e.g. Debian, Ubuntu and Fedora, 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

When run on the X86 (32- or 64-bits) or the 64-bit ARM processor the build process will build a native-code compiler. On other architectures it builds a version that generates an interpreted byte code that will necessarily be slower.

GIT 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 GIT repository at GitHub (https://github.com/polyml). Note that the GIT code may change frequently and things may break. Bug fixes, though, are applied first to this so you may wish to try this if you have problems. To download the GIT version do the following:

git clone https://github.com/polyml/polyml.git

At this stage you can simply build Poly/ML in the normal way. Earlier versions required make compiler at this point. That is no longer necessary.

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

The GIT repository contains the main development line but also bug fixes for released versions. These are branches such as fixes-5.9.