Skip to content

Commit

Permalink
Update installation documentation for version 0.9.5.2
Browse files Browse the repository at this point in the history
  • Loading branch information
facundominguez committed Oct 18, 2023
1 parent c05b34a commit fd5b5be
Showing 1 changed file with 4 additions and 9 deletions.
13 changes: 4 additions & 9 deletions docs/mkDocs/docs/install.md
Original file line number Diff line number Diff line change
Expand Up @@ -19,20 +19,15 @@ LiquidHaskell itself is installed&enabled by adding it as a dependency in your p

Depending on your version of GHC, you might want to use a build of LiquidHaskell from github or from Hackage.

* `ghc-9.2.5`: use LiquidHaskell from github
* `ghc-9.2.5`: use liquidhaskell-0.9.2.5.0 from Hackage
* `ghc-9.0.2`: use liquidhaskell-0.9.0.2.1 and liquid-base-0.4.15.1.0 from Hackage
* `ghc-8.10.7`: use liquidhaskell-0.8.10.7 and liquid-base-0.4.15.0.0 from Hackage

Newer versions of GHC aren't supported yet.

When using liquidhaskell from github, add `liquidhaskell` to the `build-depends`
section of your `.cabal` file, and configure `stack` or `cabal`-install to
look for the package there. The following section points to an example project
that does this.

When using liquidhaskell from Hackage, add `liquidhaskell` and
`liquid-base` to the `build-depends` section of your `.cabal` file, as you would
any other dependency.
To use liquidhaskell from Hackage, add `liquidhaskell` to the `build-depends`
section of your `.cabal` file, as you would any other dependency. `liquid-base`
needs to be added only if using a GHC version older than 9.2.5.

This causes `stack` (or `cabal`) to automatically:

Expand Down

0 comments on commit fd5b5be

Please sign in to comment.