changelog download home install notes

Installing the opentheory tool from source

Installing the opentheory tool from source requires an installation of either MLton, Poly/ML or Moscow ML, as well as standard system tools including GNU Make and Perl.

  1. Download the opentheory.tar.gz file.
  2. Extract it with the command tar xvzf opentheory.tar.gz
  3. There will be a new directory called opentheory. Change to this directory.
  4. To build using MLton:
  5. To build using Poly/ML:
  6. To build using Moscow ML:
  7. If the test results in a usage message, the installation was successful.
  8. A more serious test is to install the standard theory library using the command path/to/opentheory install base

If anything goes wrong, you can use the command make clean to clean out any object files.


To report a bug or request an enhancement, please file an issue at GitHub.