BPL Tool Installation instructions
From PLSwiki
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:
- an SML compiler - preferably SML of New Jersey but Moscow ML and MLton should work as well.
- GNU make
- GNU sed
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
