COMPILATION
-----------
Compilaton of simgi requires 

- >=ghc-6.10
- >=gmp-4.3

To compile the documentation (not required), you will also need

- >=docutils-0.5 
- latex, e.g., tetex or texlive

Building of simgi can be done either via 

- the standard ``make, make check, make install``
- or via cabal