Make sure a point release of idris builds with LTS Haskell.
commitaa6328019015a65f23f889fca0ed067d01ffde5c
authorJan de Muijnck-Hughes <jan.deMuijnck-Hughes@glasgow.ac.uk>
dateThu 7 Dec 2017, 14:09 (9 years ago)
parent5218727
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