There are 2 ways to obtain MMT:
MMT is currently built for
Scala 2.12.5. MMT targets
Java 8 (both
OracleJDK are supported), and preliminary support for
Java 9 exists.
Java 7 is no longer officially supported.
Before installing MMT, you can optionally install jEdit. If jEdit is installed, MMT will automatically configure it to serve as an MMT IDE.
This is recommended if you want to write or view MMT files. If you just want to sample MMT, you should definitely do it with jEdit.
Since Fall 2017, a new binary version of MMT is released roughly every six weeks. See the releases page for more details.
A list of releases can be found on the GitHub Releases page. The newest binary can be downloaded by clicking the top most item on the list.
Clone the MMT repository from GitHub:
git clone firstname.lastname@example.org:UniFormal/MMT.git
Alternatively, if you do not have ssh keys set up, use
git clone https://github.com/UniFormal/MMT.git`
A detailed explanation of the contents of the repository is available here.
cd MMT/src sbt mmt/deploy
This creates many files, in particular the file
mmt.jar in the folder
../deploy/. Change to that directory:
mmt.jar, this directory contains executable scripts (for Windows and Unix) to for running MMT.
This assumes jEdit is installed and the MMT jar is obtained as described above. If you have not already done so, start jEdit once so that it initializes its folders, which the MMT installer will look for.
To start setup open a shell and run
java -jar mmt.jar (or one of the convenience scripts).
This triggers the setup dialog which does the following:
Further instructions for setting up jEdit are available here.
If you want to use MMT via jEdit, you do not have to run MMT itself. It will act as a plugin within jEdit.
Developers or advanced users may want to run MMT directly for various other applications.
The canonical way for this is to run
java -jar mmt.jar.
(This responds with a simple setup dialog if MMT not installed, and drops to a shell otherwise.)
But depending on your OS and configuration, double-clicking or executing
mmt.jar may also work.
If you have obtained MMT by building from sources make sure to go to the deploy folder first.
cd ../deploy java -jar mmt.jar
You can now either use jEdit to work with .mmt files or run MMT natively
Additional instructions for running MMT are available here.
To update MMT, replace the file
To rerun setup, execute
java -jar mmt.jar :setup
However, rerunning setup is usually not necessary.