git.iko.soy/Idris-dev
on master help sign in
Make sure a point release of idris builds with LTS Haskell.
aa63280Jan de Muijnck-Hughes
stack-nightly.yamlnew file+17
compare with master
unifiedsplit
@@ -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 @@
1#recheck extra-deps next on resolver or cabal file change
1#recheck extra-deps next on resolver or cabal file change
2−resolver: nightly-2017-11-25
2+resolver: lts-9.17
3
3
4packages:
4packages:
5 - location: .
5 - location: .
6
6
7+extra-deps:
8+ - binary-0.8.5.1
9+ - cheapskate-0.1.1
10+ - megaparsec-6.2.0
11+
7flags:
12flags:
8 idris:
13 idris:
9 FFI: true
14 FFI: true