diff options
author | John Ericson <John.Ericson@Obsidian.Systems> | 2019-11-25 14:20:10 +0000 |
---|---|---|
committer | John Ericson <John.Ericson@Obsidian.Systems> | 2019-11-25 14:20:10 +0000 |
commit | d60532bc7197424cc57606c207ce2b6749bcd34e (patch) | |
tree | 92f3ee51dd89d4c24cef411ea6ca92ea5e84540b | |
parent | 6e38def213c9d3fc4f9cb7062c6ee580ef07f913 (diff) | |
download | nixpkgs-d60532bc7197424cc57606c207ce2b6749bcd34e.tar nixpkgs-d60532bc7197424cc57606c207ce2b6749bcd34e.tar.gz nixpkgs-d60532bc7197424cc57606c207ce2b6749bcd34e.tar.bz2 nixpkgs-d60532bc7197424cc57606c207ce2b6749bcd34e.tar.lz nixpkgs-d60532bc7197424cc57606c207ce2b6749bcd34e.tar.xz nixpkgs-d60532bc7197424cc57606c207ce2b6749bcd34e.tar.zst nixpkgs-d60532bc7197424cc57606c207ce2b6749bcd34e.zip |
coq: Fix setup hook
-rw-r--r-- | pkgs/applications/science/logic/coq/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/coq/default.nix b/pkgs/applications/science/logic/coq/default.nix index a463a2c5f3a..bf2d0396f69 100644 --- a/pkgs/applications/science/logic/coq/default.nix +++ b/pkgs/applications/science/logic/coq/default.nix @@ -124,7 +124,7 @@ self = stdenv.mkDerivation { setupHook = writeText "setupHook.sh" '' addCoqPath () { if test -d "''$1/lib/coq/${coq-version}/user-contrib"; then - export COQPATH="''${COQPATH}''${COQPATH:+:}''$1/lib/coq/${coq-version}/user-contrib/" + export COQPATH="''${COQPATH-}''${COQPATH:+:}''$1/lib/coq/${coq-version}/user-contrib/" fi } |