git.iko.soy/Idris-dev
on v0.99 help sign in
Idris-dev/stack-shell.nix
31 lines 740 B history raw
1with (import <nixpkgs> {});
3let
4 # MUST match resolver in stack.yaml
5 resolver = haskell.packages.lts-7_10.ghc;
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 ]);
18in stdenv.mkDerivation {
20 name = "idrisBuildEnv";
22 buildInputs = [ resolver ] ++ native_libs;
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;
29 # Needed if one wants to use ghci, due to https://ghc.haskell.org/trac/ghc/ticket/11042
30 LD_LIBRARY_PATH = builtins.concatStringsSep ":" (map (lib: lib.out + "/lib") native_libs);