diff options
Diffstat (limited to 'shells')
-rw-r--r-- | shells/linux.nix | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/shells/linux.nix b/shells/linux.nix index f611ef22a59b..3d371b0d6b21 100644 --- a/shells/linux.nix +++ b/shells/linux.nix @@ -1,7 +1,8 @@ { pkgs ? import ../. {} }: with pkgs; -mkShell { +stdenv.mkDerivation { + name = "linux-shell"; buildInputs = [ bison flex bc elfutils openssl @@ -12,4 +13,8 @@ mkShell { graphviz imagemagick python3Packages.sphinx python3Packages.sphinx_rtd_theme texlive.combined.scheme-minimal ]; + + buildCommand = '' + printf "%s\n" $buildInputs > $out + ''; } |