summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristoph Junghans <christoph.junghans@gmail.com>2019-04-02 16:05:21 -0600
committerGitHub <noreply@github.com>2019-04-02 16:05:21 -0600
commit356b5df7158d524b9e361c4af56a983e734b222c (patch)
treec159e385d59cba08bd57643ef737bef5b8d4020c
parent82be3a4668ac30b5d6fd2d289d3b70519be09af7 (diff)
downloadspack-356b5df7158d524b9e361c4af56a983e734b222c.tar.gz
spack-356b5df7158d524b9e361c4af56a983e734b222c.tar.bz2
spack-356b5df7158d524b9e361c4af56a983e734b222c.tar.xz
spack-356b5df7158d524b9e361c4af56a983e734b222c.zip
kripke: fix install (#11090)
-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)