summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDominic Steinitz <dominic@steinitz.org>2018-04-04 11:24:13 +0100
committerDominic Steinitz <dominic@steinitz.org>2018-04-04 11:24:13 +0100
commitae679d197604c0ea63a52ef3d8dc19d60970eaac (patch)
tree2ebf392f34bcf5d123ae6b37cb423eeb4a0394b0
parent31d9b4b2aa596d2b78cd51942b6b77a11507e882 (diff)
Make header available
-rw-r--r--shell.nix1
1 files changed, 1 insertions, 0 deletions
diff --git a/shell.nix b/shell.nix
index 3980419..2166c9a 100644
--- a/shell.nix
+++ b/shell.nix
@@ -108,6 +108,7 @@ let
108 source $stdenv/setup 108 source $stdenv/setup
109 mkdir -p $out/bin 109 mkdir -p $out/bin
110 makeWrapper ${pkgs.stack}/bin/stack $out/bin/stack \ 110 makeWrapper ${pkgs.stack}/bin/stack $out/bin/stack \
111 --add-flags "--extra-include-dirs=${pkgs.zlib.dev}/include" \
111 --add-flags "--extra-lib-dirs=${pkgs.lib.makeLibraryPath extraLibs}" 112 --add-flags "--extra-lib-dirs=${pkgs.lib.makeLibraryPath extraLibs}"
112 ''; 113 '';
113 buildInputs = [ pkgs.makeWrapper ]; 114 buildInputs = [ pkgs.makeWrapper ];