From 356b5df7158d524b9e361c4af56a983e734b222c Mon Sep 17 00:00:00 2001 From: Christoph Junghans Date: Tue, 2 Apr 2019 16:05:21 -0600 Subject: kripke: fix install (#11090) --- var/spack/repos/builtin/packages/kripke/package.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) -- cgit v1.2.3-60-g2f50