Skip to content

Latest commit

 

History

History
9 lines (8 loc) · 637 Bytes

LiquidCabal.md

File metadata and controls

9 lines (8 loc) · 637 Bytes

Using Liquid Haskell with Cabal

To use LH with Cabal builds:

  1. Create a script named 'ghc' on your path, which executes: 'liquid -q --ghcoptions $@ -i/opt/liquid'. This passes expected options through LH.
  2. Download the source for the package in question.
  3. Run 'cabal configure' in a normal terminal environment (LH spits out a copyright statement that confuses the normal GHC version check)
  4. Add to text.cabal, under the 'library' heading: 'hs-source-dirs: . <path-to-RG.hs>' (this adds the RG module to the search path)
  5. In a shell configured to run the 'liquid' executable, run 'cabal build'