diff --git a/var/spack/repos/builtin/packages/kripke/package.py b/var/spack/repos/builtin/packages/kripke/package.py
index 345b8af4d076be205c52991da60fd515700b99df..7d067ea44d69969aecd5e8de9aba0fe62d43080c 100644
--- a/var/spack/repos/builtin/packages/kripke/package.py
+++ b/var/spack/repos/builtin/packages/kripke/package.py
@@ -9,15 +9,19 @@ class Kripke(Package):
 
     version('1.1', '7fe6f2b26ed983a6ce5495ab701f85bf')
 
-    variant('mpi', default=True, description='Enable MPI support')
+    variant('mpi',    default=True, description='Build with MPI.')
+    variant('openmp', default=True, description='Build with OpenMP enabled.')
 
     depends_on('mpi', when="+mpi")
 
     def install(self, spec, prefix):
         with working_dir('build', create=True):
+            def enabled(variant):
+                return (1 if variant in spec else 0)
+
             cmake('-DCMAKE_INSTALL_PREFIX:PATH=.',
-                  '-DENABLE_OPENMP=1',
-                  '-DENABLE_MPI=1',
+                  '-DENABLE_OPENMP=%d' % enabled('+openmp'),
+                  '-DENABLE_MPI=%d' % enabled('+mpi'),
                   '..',
                   *std_cmake_args)
             make()