Add Stackage Configuration for easy building
Using a nightly stackage config to build on GHC 7.10, and there are some
dependencies that are more advanced than the most recent LTS stackage
config. This should just build using `stack build` in the Idris-dev root.
commitb6d0eacfb6e9b08f7beb41c37060db8a66eb6562
authorSam Elliott <sam@lenary.co.uk>
dateSat 25 Jul 2015, 19:14 (11 years ago)
parent6b062be
.gitignore+1
@@ -28,3 +28,4 @@ test/*[0-9][0-9][0-9]/*.exe
2828tags
2929TAGS
3030src/Version_idris.hs
31+.stack-work
stack.yamlnew file+6
@@ -0,0 +1,6 @@
1+flags: {}
2+packages:
3+- '.'
4+extra-deps:
5+- cheapskate-0.1.0.4
6+resolver: nightly-2015-07-24