kripke: fix install (#11090)

This commit is contained in:
Christoph Junghans 2019-04-02 16:05:21 -06:00 committed by GitHub
parent 82be3a4668
commit 356b5df715
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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)