diff options
| author | Vincent Laporte | 2020-01-15 10:48:47 +0100 |
|---|---|---|
| committer | Vincent Laporte | 2020-01-15 10:48:47 +0100 |
| commit | c8d2da3db29ada93ed46a68dd789ccf16f22401c (patch) | |
| tree | cdbb6e7637137879f956c00cf9b9f382e0e76752 /default.nix | |
| parent | e69931170d2b460c30be1f54bb94043c0c001272 (diff) | |
[Nix] Fix setup hook when COQPATH is not bound
Diffstat (limited to 'default.nix')
| -rw-r--r-- | default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/default.nix b/default.nix index 3f9d0d56e9..174e199014 100644 --- a/default.nix +++ b/default.nix @@ -111,7 +111,7 @@ stdenv.mkDerivation rec { 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 } |