summaryrefslogtreecommitdiff
path: root/var
diff options
context:
space:
mode:
Diffstat (limited to 'var')
-rw-r--r--var/spack/repos/builtin/packages/mpip/package.py14
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