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.
After downloading and unpacking the source change to the polyml directory and run.
./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
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.
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.