mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-10-26 09:54:23 +03:00
22 lines
354 B
YAML
22 lines
354 B
YAML
|
#recheck extra-deps next on resolver or cabal file change
|
||
|
resolver: lts-11.22
|
||
|
|
||
|
extra-deps:
|
||
|
- cheapskate-0.1.1.2
|
||
|
- megaparsec-7.0.5
|
||
|
- Cabal-2.4.1.0
|
||
|
- network-3.1.1.1
|
||
|
- parser-combinators-1.0.0
|
||
|
|
||
|
flags:
|
||
|
idris:
|
||
|
FFI: true
|
||
|
GMP: true
|
||
|
|
||
|
ghc-options:
|
||
|
idris: -fwarn-unused-imports -fwarn-unused-binds
|
||
|
|
||
|
nix:
|
||
|
enable: false
|
||
|
shell-file: stack-shell.nix
|