Previous Up Next

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.
  1. Download the Blast distribution
  2. 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
  3. Enter the blast-1.0 directory and run GNU make to build the distribution.
        cd blast-1.0
        make distclean
        make
  4. 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.

  5. 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.

  6. 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.

  7. Congratulations! You can now start using Blast.

Previous Up Next