From 356b5df7158d524b9e361c4af56a983e734b222c Mon Sep 17 00:00:00 2001
From: Christoph Junghans <christoph.junghans@gmail.com>
Date: Tue, 2 Apr 2019 16:05:21 -0600
Subject: [PATCH] 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 @@ def install(self, spec, prefix):
# 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)
--
GitLab