diff options
| author | Todd Gamblin <tgamblin@llnl.gov> | 2016-05-10 00:31:06 -0700 |
|---|---|---|
| committer | Todd Gamblin <tgamblin@llnl.gov> | 2016-05-10 00:31:06 -0700 |
| commit | e3115aa505b8fc68893e4ebeaf5e5f152507e693 (patch) | |
| tree | 7171fa41237e7a3f09081eca588dde1ec1ae1e17 /var | |
| parent | 2e0ee5404d839a69c626407436c6cb059a51d9fd (diff) | |
| download | spack-e3115aa505b8fc68893e4ebeaf5e5f152507e693.tar.gz spack-e3115aa505b8fc68893e4ebeaf5e5f152507e693.tar.bz2 spack-e3115aa505b8fc68893e4ebeaf5e5f152507e693.tar.xz spack-e3115aa505b8fc68893e4ebeaf5e5f152507e693.zip | |
Kripke variants.
Diffstat (limited to 'var')
| -rw-r--r-- | var/spack/repos/builtin/packages/kripke/package.py | 10 |
1 files 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() |