git.iko.soy/Idris-dev
on v0.11.2 help sign in
Idris-dev/stack-shell.nix
27 lines 544 B history raw
1with (import <nixpkgs> {});
3let
4 # MUST match resolver in stack.yaml
5 resolver = haskell.packages.lts-5_11.ghc;
7 native_libs = [
8 libffi
9 zlib
10 gmp
11 pkgconfig
12 ] ++ lib.optionals stdenv.isDarwin (with darwin.apple_sdk.frameworks; [
13 Cocoa
14 CoreServices
15 ]);
17in stdenv.mkDerivation {
19 name = "idrisBuildEnv";
21 buildInputs = [ resolver ] ++ native_libs;
23 STACK_IN_NIX_EXTRA_ARGS = builtins.foldl'
24 (acc: lib:
25 " --extra-lib-dirs=${lib}/lib --extra-include-dirs=${lib}/include" + acc)
26 "" native_libs;