nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-07-20 07:31:19 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #74153 from Ericson2314/fix-coq

Browse Source 
coq: Fix setup hook
This commit is contained in:
John Ericson
2019-11-25 15:55:12 -05:00
committed by GitHub
parent 646b279c55 d60532bc71
commit 52665a7b2a
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/applications/science/logic/coq/default.nix
View File

@@ -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
}