Fixed minor issues from Cmake conversion (#5024)

This commit is contained in:
Brian Homerding 2017-08-08 23:47:34 -05:00 committed by Adam J. Stewart
parent a66fb012da
commit a33f52cfb0

View File

@ -43,7 +43,7 @@ class Kripke(CMakePackage):
def cmake_args(self):
def enabled(variant):
return (1 if variant in spec else 0)
return (1 if variant in self.spec else 0)
return [
'-DENABLE_OPENMP=%d' % enabled('+openmp'),
@ -54,4 +54,4 @@ def install(self, spec, prefix):
# Kripke does not provide install target, so we have to copy
# things into place.
mkdirp(prefix.bin)
install('kripke', prefix.bin)
install('spack-build/kripke', prefix.bin)