Asd

CHANGES.md

@@ -2,6 +2,10 @@
 
 ## NEXT
 
+- Added support for building with `stack`
+
+- Added support for GHC 7.10 (in addition to 7.8)
+
 - Added '--cabaldir' option that will automatically find a .cabal file in the ancestor
   path from which the target file belongs, and then add the relevant source and dependencies
   to the paths searched for by LiquidHaskell.

README.md

@@ -5,7 +5,6 @@ LiquidHaskell [![Build Status](https://travis-ci.org/ucsd-progsys/liquidhaskell.
 Requirements
 ------------
 
-
 LiquidHaskell requires (in addition to the cabal dependencies)
 
 - SMTLIB2 compatible solver
@@ -36,21 +35,28 @@ directory of the distribution:
     git clone [email protected]:ucsd-progsys/liquid-fixpoint.git
     git clone [email protected]:ucsd-progsys/liquidhaskell.git
     cd liquidhaskell
-    cabal sandbox init
-    cabal sandbox add-source ../liquid-fixpoint/
     ```
 
-3. Install 
+3. (If using **stack**) To build and install
+
+    ```
+    stack install
+    ```
+
+   (If using **cabal**) then
+
 
     ```
+    cabal sandbox init
+    cabal sandbox add-source ../liquid-fixpoint/
     cabal install
     ```
 
-To **rebuild** after this step, run
+4. To **rebuild** after this step, run
 
-    `make` or `cabal install`
+    `make` or `cabal install` or `stack install`
 
-inside
+   inside
 
     /path/to/liquid/liquidhaskell/
 

stack.yaml

@@ -0,0 +1,12 @@
+# GHC 7.10
+# resolver: nightly-2015-06-16
+
+# GHC 7.8
+# resolver: lts-2.14
+
+resolver: nightly-2015-06-16
+packages:
+- ../liquid-fixpoint
+- .
+extra-deps:
+- intern-0.9.1.4