git.iko.soy/Idris-dev
on master help sign in
Merge pull request #3026 from jfdm/fix-stack-missing-dep-libffi
0cb9b4eNiklas Larsson
stack.yaml+3
compare with master
unifiedsplit
@@ -8,6 +8,9 @@ flags:
8 FFI: true
8 FFI: true
9 GMP: true
9 GMP: true
10
10
11+extra-deps:
12+ - libffi-0.1
13+
11nix:
14nix:
12 enable: false
15 enable: false
13 shell-file: stack-shell.nix
16 shell-file: stack-shell.nix