BPL Tool Installation instructions

From PLSwiki

Jump to: navigation, search

We currently do not distribute any sort of BPL Tool binaries, so you need the source code to use BPL Tool (or you can use the online demo BPLweb). The source code is located in the BPL SVN repository which is only accessible to ITU accounts. If you don't have an account at ITU, we can email you the source code - just contact Espen Højsgaard or Arne John Glenstrup.

Basic installation

The BPL Tool requires the following software to be installed on your system:

BPL Tool has been known to run on the following platforms: Linux (Ubuntu), OS X (ver. 10.4), and Windows XP (using Cygwin).

When you have installed the above and obtained a copy of the BPL Tool sources, you need to configure the tool to your setup. This is done by executing the following command in the $BPL/src directory:

./configure

Jørn Eske Runge Bentzen has written a more detailed installation guide for Windows: BPL+SSH+SVN+SMLNJ+CYGWIN+EMACS on Windows XP, for dummies.


BPL Tool CLI

To use the BPL Tool CLI, you need to use an SML compiler with an interactive mode (i.e. not MLton) - it works particularly well with SML of New Jersey, since SML/NJ allows the use of custom pretty-printers for values.

Simply run bpltoolcli.sh:

bpltoolcli.sh


Developers installation

BPL Tool developers will - in addition to the basic installation - need the following software:

  • GNU autoconf - needed if you change configure.in.
  • SML# - we don't use SML# as such but use some of their tools (SMLUnit and SMLDoc).

To run the unit tests, execute the following command in the $BPL/src directory (or one of its sub-directories):

make test

If you have multiple SML compilers installed, you can switch between them by running the configure script with the MLC option set to one of the values mlton, mosml, or smlnj. E.g. to use the Moscow ML compiler, run

./configure MLC=mosml
Personal tools