Merge pull request #4249 from jfdm/stable-stack-yaml
Make sure a point release of idris builds with LTS Haskell.
commitae6ab2d7fdb825c46b96d935fc4941de923babe0
authorJan de Muijnck-Hughes <jfdm@users.noreply.github.com>
dateMon 11 Dec 2017, 11:23 (9 years ago)
parentd47e95baa63280
stack-nightly.yamlnew file+17
@@ -0,0 +1,17 @@
1+#recheck extra-deps next on resolver or cabal file change
2+resolver: nightly-2017-11-25
3+
4+packages:
5+ - location: .
6+
7+flags:
8+ idris:
9+ FFI: true
10+ GMP: true
11+
12+ghc-options:
13+ idris: -fwarn-unused-imports -fwarn-unused-binds
14+
15+nix:
16+ enable: false
17+ shell-file: stack-shell.nix
stack.yaml+6−1
@@ -1,9 +1,14 @@
11#recheck extra-deps next on resolver or cabal file change
2−resolver: nightly-2017-11-25
2+resolver: lts-9.17
33
44packages:
55 - location: .
66
7+extra-deps:
8+ - binary-0.8.5.1
9+ - cheapskate-0.1.1
10+ - megaparsec-6.2.0
11+
712flags:
813 idris:
914 FFI: true