Instructions for installing lava.tar.gz

This is a version of Lava that works with the Glasgow Haskell Complier GHC(i) 6.8.X and 6.10.X
  1. Unpack lava.tar.gz the files to the location of choice.

  2. Change the path in Lava2000/Modules/LavaDir.hs and the scripts in Lava2000/Bin/ from

    /home/emax/Program/Lava/Lava2000/
    to your location.
  3. Install GHC:

    On Ubuntu:

    apt-get install ghc

    On Fedora:

    yum install ghc

    On other systems:

    Something similar to the above might work. Otherwise you can also get GHC from http://www.haskell.org/ghc/download.html.

  4. Download SMV from http://www.cadence.com/webforms/cbl_software/index.aspx and follow the installation instructions.

  5. Change the path in Lava2000/Scripts/smv.wrapper to the smv binary.


< Accessing the tools