summaryrefslogtreecommitdiff
path: root/var
diff options
context:
space:
mode:
Diffstat (limited to 'var')
-rw-r--r--var/spack/repos/builtin/packages/kripke/package.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/var/spack/repos/builtin/packages/kripke/package.py b/var/spack/repos/builtin/packages/kripke/package.py
index cd5c11ed87..863883583d 100644
--- a/var/spack/repos/builtin/packages/kripke/package.py
+++ b/var/spack/repos/builtin/packages/kripke/package.py
@@ -35,4 +35,4 @@ class Kripke(CMakePackage):
# Kripke does not provide install target, so we have to copy
# things into place.
mkdirp(prefix.bin)
- install('spack-build/kripke', prefix.bin)
+ install('../spack-build/kripke', prefix.bin)