diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-07-05 11:44:43 +0200 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-07-05 17:48:03 +0200 |
commit | 42774708bafe48aefe411fab4ca4d75407f9d1d6 (patch) | |
tree | 4d27cb7c3397d9e78976a10088a9125555a46147 /default.nix | |
parent | f758debf01fc88d5531825fe42f59f4f8c19247c (diff) |
[pkg:nix] Stop using lib.inNixShell.
Diffstat (limited to 'default.nix')
-rw-r--r-- | default.nix | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/default.nix b/default.nix index c791706db..d9317bcca 100644 --- a/default.nix +++ b/default.nix @@ -30,6 +30,9 @@ , buildIde ? true , buildDoc ? true , doInstallCheck ? true +, shell ? false + # We don't use lib.inNixShell because that would also apply + # when in a nix-shell of some package depending on this one. }: with pkgs; @@ -58,13 +61,13 @@ stdenv.mkDerivation rec { optional (!versionAtLeast ocaml.version "4.07") ncurses ++ [ ocamlPackages.ounit rsync which ] ) - ++ optionals lib.inNixShell ( + ++ optionals shell ( [ jq curl git gnupg ] # Dependencies of the merging script ++ (with ocamlPackages; [ merlin ocp-indent ocp-index ]) # Dev tools ); src = - if lib.inNixShell then null + if shell then null else with builtins; filterSource (path: _: |