git.iko.soy/Idris-dev
on master help sign in
Fix stack --nix on OS X
9de23d5Alexander Shabalin
stack-shell.nixnew file+28
compare with master
unifiedsplit
@@ -0,0 +1,28 @@
1+with (import <nixpkgs> {});
2+
3+let
4+ # MUST match resolver in stack.yaml
5+ resolver = haskell.packages.lts-4_2.ghc;
6+
7+ native_libs = [
8+ libffi
9+ zlib
10+ ncurses
11+ gmp
12+ pkgconfig
13+ ] ++ lib.optionals stdenv.isDarwin (with darwin.apple_sdk.frameworks; [
14+ Cocoa
15+ CoreServices
16+ ]);
17+
18+in stdenv.mkDerivation {
19+
20+ name = "idrisBuildEnv";
21+
22+ buildInputs = [ resolver ] ++ native_libs;
23+
24+ STACK_IN_NIX_EXTRA_ARGS = builtins.foldl'
25+ (acc: lib:
26+ " --extra-lib-dirs=${lib}/lib --extra-include-dirs=${lib}/include" + acc)
27+ "" native_libs;
28+}
stack.yaml+1−1
@@ -13,4 +13,4 @@ extra-deps:
13- libffi-0.1
13- libffi-0.1
14nix:
14nix:
15 enable: false
15 enable: false
16− packages: [ libffi, zlib, ncurses, gmp, pkgconfig ]
16+ shell-file: stack-shell.nix