diff options
| -rw-r--r-- | var/spack/repos/builtin/packages/kripke/package.py | 2 |
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) |