diff --git a/var/spack/repos/builtin/packages/kripke/package.py b/var/spack/repos/builtin/packages/kripke/package.py
index 65f722feed5..e8b63476daa 100644
--- a/var/spack/repos/builtin/packages/kripke/package.py
+++ b/var/spack/repos/builtin/packages/kripke/package.py
@@ -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)