From e3115aa505b8fc68893e4ebeaf5e5f152507e693 Mon Sep 17 00:00:00 2001
From: Todd Gamblin <tgamblin@llnl.gov>
Date: Tue, 10 May 2016 00:31:06 -0700
Subject: [PATCH] Kripke variants.
---
var/spack/repos/builtin/packages/kripke/package.py | 10 +++++++---
1 file changed, 7 insertions(+), 3 deletions(-)
diff --git a/var/spack/repos/builtin/packages/kripke/package.py b/var/spack/repos/builtin/packages/kripke/package.py
index 345b8af4d0..7d067ea44d 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()
--
GitLab