simgi-0.3: INSTALL
COMPILATION
-----------
Compilaton of simgi requires
* >=ghc-6.10 (http://haskell.org/ghc/)
* >=gmp-4.3 (http://gmplib.org/)
* >=mersenne-random-pure64 (http://hackage.haskell.org/package/mersenne-random-pure64)
* bc (http://www.gnu.org/software/bc/bc.html) (for the test suite only)
The optional document generation requires
* >=pandoc-1.4 (http://johnmacfarlane.net/pandoc)
* latex (e.g. texlive)
Building of simgi can be done either via
- the standard ``make, make check, make install``
- or via cabal