Istari

Installation instructions

  1. Ensure the prerequisites are installed:

    • Git
    • Standard ML of New Jersey (version 110.89 or later, but see below)
    • GNU Emacs
    • (if running on Windows) Cygwin

    Some versions of Standard ML of New Jersey contain bugs or incompatibilities that keep Istari from compiling. Version 110.99.7.1 is confirmed to work on Linux, Mac, and Windows.

  2. Obtain the distribution from Github:

    git clone --recursive --branch v1.0.1 https://github.com/kcrary/istari.git istari
    
  3. If you forgot to use the --recursive option in the previous step, populate the cmlib directory:

    git submodule init
    git submodule update
    
  4. Configure the build script, by copying Makefile.inc.customize to Makefile.inc, then edit Makefile.inc to fill in the INSTALLDIR definition, and to uncomment one of the MKNJEXEC definitions.

  5. Build Istari:

    make smlnj
    
  6. Install Istari:

    make install
    
  7. Copy the contents of emacs.customize into your .emacs file, and edit the istari-root definition with the path to the Istari root directory.

  8. (Optional) If you want to receive occasional updates about Istari, submit your name and email address using the form here.