diff options
| author | Jonathan Ringer <jonringer117@gmail.com> | 2019-11-27 22:57:50 -0800 |
|---|---|---|
| committer | Jonathan Ringer <jonringer117@gmail.com> | 2019-11-27 22:57:50 -0800 |
| commit | 0c1c18ca4416baa46c940960aa5e619873a2318e (patch) | |
| tree | 78d7fd3eb63e91fa99267e2d91a2a891ee29f567 /pkgs/applications/science/logic | |
| parent | 4cc592761db580855b47fb84776e68b1d936521c (diff) | |
| parent | f4f816902112778172565baf91c2483186027c3b (diff) | |
| download | nixlib-0c1c18ca4416baa46c940960aa5e619873a2318e.tar nixlib-0c1c18ca4416baa46c940960aa5e619873a2318e.tar.gz nixlib-0c1c18ca4416baa46c940960aa5e619873a2318e.tar.bz2 nixlib-0c1c18ca4416baa46c940960aa5e619873a2318e.tar.lz nixlib-0c1c18ca4416baa46c940960aa5e619873a2318e.tar.xz nixlib-0c1c18ca4416baa46c940960aa5e619873a2318e.tar.zst nixlib-0c1c18ca4416baa46c940960aa5e619873a2318e.zip | |
Merge branch 'master' into staging-next
Diffstat (limited to 'pkgs/applications/science/logic')
| -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 a463a2c5f3a2..bf2d0396f697 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 } |