diff options
Diffstat (limited to 'var')
| -rw-r--r-- | var/spack/repos/builtin/packages/mpip/package.py | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/var/spack/repos/builtin/packages/mpip/package.py b/var/spack/repos/builtin/packages/mpip/package.py index ceaaba05b6..65c2453c25 100644 --- a/var/spack/repos/builtin/packages/mpip/package.py +++ b/var/spack/repos/builtin/packages/mpip/package.py @@ -17,6 +17,10 @@ class Mpip(AutotoolsPackage): version("3.4.1", sha256="688bf37d73211e6a915f9fc59c358282a266d166c0a10af07a38a01a473296f0") variant('shared', default=False, description="Build the shared library") + variant('demangling', default=False, description="Build with demangling support") + variant('setjmp', + default=False, + description="Replace glic backtrace() with setjmp for stack trace") depends_on("elf") depends_on("libdwarf") @@ -36,4 +40,14 @@ class Mpip(AutotoolsPackage): config_args.append("--with-cc=%s" % self.spec['mpi'].mpicc) config_args.append("--with-cxx=%s" % self.spec['mpi'].mpicxx) + if '+demangling' in self.spec: + config_args.append('--enable-demangling') + else: + config_args.append('--disable-demangling') + + if '+setjmp' in self.spec: + config_args.append('--enable-setjmp') + else: + config_args.append('--disable-setjmp') + return config_args |