Obtain the source code of MassiveThreads 1.02 named massivethreads-1.02.tar.gz from MassiveThreads web site https://github.com/massivethreads/massivethreads. After expanding the tar archive, do ./configure && make && make install.

Obtain the source code of LLVM 7.1.0 named llvm-7.1.0.tar.xz from LLVM web site http://llvm.org/. After expanding the tar archive, do the following five commands:

mkdir build
cd build
cmake -G "Unix Makefiles" \
     -DCMAKE_INSTALL_PREFIX=/$where$/$llvm$/$is$ \
     -DCMAKE_BUILD_TYPE=Release \
     -DLLVM_BUILD_LLVM_DYLIB=On \
     -DLLVM_ENABLE_BINDINGS=Off
make
make install

The above options specified to configure are optional but suggested. -DCMAKE_INSTALL_PREFIX option should be specified to avoid conflict with other installation of LLVM. -DCMAKE_BUILD_TYPE=Release option enforces compiling LLVM libraries by an optimizing compiler. -DLLVM_BUILD_LLVM_DYLIB=On option enforces building the LLVM shared library. -DLLVM_ENABLE_BINDINGS=Off option avoids to build modules unnecessary for SML#.

With these preparation, SML# can be build in the following steps.

1. 1.

   Download the source distribution from: https://github.com/smlsharp/smlsharp/releases/download/v4.1.0/smlsharp-4.1.0.tar.gz. The latest version of the source package is also available from https://smlsharp.github.io/ja/downloads/.

2. 2.

   Select an SML# source directory and extract the tar archive there. Note for non-English users: the source directory must not include non-ASCII characters, otherwise the build process will fail.

3. 3.

   Select an SML# installation destination directory. Let $prefix$ be the path to the directory.

4. 4.

   In the SML# source directory, execute configure script.

   $ ./configure --prefix=$prefix$ --with-llvm=/$where$/$llvm$/$is$

   You can specify --prefix=$prefix$ option to specify the destination directory. If --prefix option is omitted, /usr/local is used as the destination directory. If --with-llvm option is omitted, the configure script searches for LLVM libraries and commands from the standard directories such as /usr/bin.

5. 5.

   Do make command.

   $ make

   After make is finished, you can launch the SML# compiler without installing it by the following commands.

   $ src/compiler/smlsharp -Bsrc

6. 6.

   (Optional) The following commands build the SML# compiler by the SML# compiler you built in the previous step.

   $ make stage
   $ make

7. 7.

   Do make install command.

   $ make install

   If you want to put files to be installed in a directory $prefix{}^{\prime }$ different from $prefix$, specify DESTDIR=$prefix{}^{\mathrm{\prime }}$ option to make install command.

The following files are installed by the above procedure.

1. 1.

   smlsharp command at $prefix$/bin/smlsharp

2. 2.

   smlformat command at $prefix$/bin/smlformat

3. 3.

   smllex command at $prefix$/bin/smllex

4. 4.

   smlyacc command at $prefix$/bin/smlyacc

5. 5.

   library files in the $prefix$/lib/smlsharp/ directory.

If successful, you can invoke SML# by typing:

$ $prefix$/bin/smlsharp

Some hints:

• •

  This process compiles all the source files including those of tools, which takes some time． If you have a CPU with $n$ cores and use GNU make, then try to give -j$m$ ($m\le n$) switch to make command for parallel processing, where $m$ indicate the degree of parallelism.

• •

  In addition to LLVM for the SML# compiler to work, SML# compiler developers need to install LLVM 7.1.0 as well for bootstrapping. If you would like to develop the SML# compiler, add --with-llvm7 option to ./configure command line to specify where LLVM 7.1.0 is installed.