EQ
Eq is a small formula manipulation tool.
Build instructions
To build you need :
- A recente GHC (tested with GHC 6.12)
- Make (if you don't want to bother)
To build the project, you just have to type
make conf make
Or alternatively, if you just want to use the haskell toolkit
runhaskell Setup.hs configure make
You want to run make to build, as some code generation might happen. The base library is pre-parsed during the build.
- The build will produce two executables :
- eq : the real software
- eqtestsuite : guess what? the test suite
Debug builds
If you want to develop eq, you might want to enable debug builds
# make debug act as a configure in debug mode make debug make
Alternatively, you can request a debug build directly
runhaskell Setup.hs configure --user --flags="debug profiling" runhaskell Setup.hs build
Documentation build
There is actually two kinds of documentations :
- Code documentation
- Language documentation
The language documentation is in the userdoc, and you need :
- sphinx
- program-output (sphinx add-on)
to build it, just go the userdoc folder and type make.
Code documentation generation has not been tested in a long time, try typing make doc do generate it.