2 Installation
You will need OCaml release 3.02 or higher to build Blast.
Blast has been tested on Linux and on Windows with cygwin.
If you want to use Blast on Windows then you must get a complete installation
of cygwin and the source-code OCaml distribution and compile it yourself
using the cygwin tools (as opposed to getting the Win32 native-code version of
OCaml). If you have not done this before then take a look
here.
-
Download the Blast distribution
- Unzip and untar the source distribution. This will create a directory
called blast-1.0 whose structure is explained below.
tar xvfz blast-1.0.tar.gz
- Enter the blast-1.0 directory and run
GNU make to build the distribution.
cd blast-1.0
make distclean
make
- You should now find the executables pblast.opt and spec.opt in the directory bin.
These are symbolic links to files of the same name in the directory psrc and spec respectively.
The executable pblast.opt is the Blast executable, the executable spec.opt is
the specification instrumenter.
You should also download and install the
Simplify Theorem Prover.
This involves putting the
executables Simplify (Linux)
and Simplify.exe (Windows) in the bin directory.
Additionally, Blast has interfaces to the Cvc Theorem Prover,
should you
wish to install and use it as the back end.
Again, this involves putting the executable for Cvc in the bin directory.
Note that in order for Blast to use Simplify or Cvc, the executable for Simplify
and Cvc
must be in your current path.
It is a good idea to add the Blast bin directory to your path.
- Blast also comes with an independent GUI. In order to install the GUI, you must download and
install the LablGTK package
in addition to Ocaml. After you have installed LablGTK, you can build the GUI by going to the
blast-1.0 directory and typing:
make gui
This will create the GUI executable blastgui.opt in the directory bin.
- Blast (actually the GUI) requires the use of the environment variable BLASTHOME.
Therefore you should set the environment variable BLASTHOME to point to the directory
blast-1.0 where you have downloaded Blast.
- Congratulations! You can now start using Blast.