forked from szynwelski/nlambda
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathINSTALL
More file actions
10 lines (10 loc) · 750 Bytes
/
INSTALL
File metadata and controls
10 lines (10 loc) · 750 Bytes
1
2
3
4
5
6
7
8
9
10
Installation guide:
- Download and unpack the package file (http://www.mimuw.edu.pl/~szynwelski/nlambda/nlambda-1.1.tar.gz).
- Move into the directory nlambda.
- Perform the following commands:
runhaskell Setup configure --user -fTOTAL_ORDER
runhaskell Setup build
runhaskell Setup install
- The flag TOTAL_ORDER is required to install package with ordered atoms (otherwise equality atoms will be used).
- To install the package globally (not only for the user account) skip user parameter (https://wiki.haskell.org/Cabal/How_to_install_a_Cabal_package).
- Additionally, you should install the Z3 Theorem Prover (https://github.com/Z3Prover/z3) and add it to the PATH environment variable (https://en.wikipedia.org/wiki/PATH_(variable)).