Manticore Installation

Manticore currently only supports the x86-64 (a.k.a. AMD64) architecture running on either Linux or Mac OS X.

Manticore is implemented in a mix of C and SML code. You will need a recent version of SML/NJ (version 110.68+) installed. Furthermore, your installation should include the MLRISC library.

Enlisting and Building from SVN

Create a local enlistment from our current active development trunk with the following command:
svn co https://smlnj-gforge.cs.uchicago.edu/svn/manticore/trunk
If you do not have an account on the server, use a username of anonsvn, with the same password:
svn co --username anonsvn https://smlnj-gforge.cs.uchicago.edu/svn/manticore/trunk
Then, you will need to initialize the configuration script with the following two commands:
autoheader -Iconfig
autoconf -Iconfig

Building and Installing the Distribution

Now, run the configure script.
./configure
This command links the compiler against the MLRISC libraries provided with the SML/NJ installation. Alternatively, we can build against external MLRISC libraries.
./configure --with-mlrisc=
To build the compiler, we use the following command.
make build
We can install locally
make local-install
or globally.
make install

Running the Regression Tests

There are both sequential and parallel regression tests.
cd src/regression-tests
bash-scripts/run-seq.bsh
bash-scripts/run-par.bsh
None of the tests should report fail.