Skip to content

Latest commit

 

History

History
76 lines (48 loc) · 1.71 KB

INSTALL.md

File metadata and controls

76 lines (48 loc) · 1.71 KB

Install LiquidHaskell

To run liquid you need to install:

  1. An SMT solver
  2. The liquid binary via package manager or source.

Step 1: Install SMT Solver

Download and install at least one of

Step 2: Install liquid via Package Manager

Simply do:

cabal install liquidhaskell

We are working to put liquid on stackage.

Step 2: Install liquid from Source

If you want the most recent version, you can build from source as follows, either using stack (recommended) or cabal. In either case: recursively clone the repo and then build:

Build with stack (recommended)

This requires that you have installed stack (which we strongly recommend!)

```
git clone --recursive [email protected]:ucsd-progsys/liquidhaskell.git
cd liquidhaskell
stack install
```

Build with cabal

```
git clone --recursive [email protected]:ucsd-progsys/liquidhaskell.git
cd liquidhaskell

cabal sandbox init
cabal sandbox add-source ./liquid-fixpoint
cabal install
```

Troubleshooting

  1. If you're on Windows, please make sure the SMT solver is installed in the same directory as LiquidHaskell itself (i.e. wherever cabal or stack puts your binaries). That is, do:

    which liquid

and make sure that z3 or cvc4 or mathsat are in the PATH returned by the above.

  1. If you installed via stack and are experiencing path related woes, try:

    stack exec -- liquid path/to/file.hs