diff options
Diffstat (limited to 'var')
-rw-r--r-- | var/spack/repos/builtin/packages/kripke/package.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/var/spack/repos/builtin/packages/kripke/package.py b/var/spack/repos/builtin/packages/kripke/package.py index 1be19448a9..9d630f1206 100644 --- a/var/spack/repos/builtin/packages/kripke/package.py +++ b/var/spack/repos/builtin/packages/kripke/package.py @@ -32,6 +32,7 @@ class Kripke(Package): homepage = "https://codesign.llnl.gov/kripke.php" url = "https://codesign.llnl.gov/downloads/kripke-openmp-1.1.tar.gz" + tags = ['proxy-app'] version('1.1', '7fe6f2b26ed983a6ce5495ab701f85bf') variant('mpi', default=True, description='Build with MPI.') |