summaryrefslogtreecommitdiff
path: root/var
diff options
context:
space:
mode:
Diffstat (limited to 'var')
-rw-r--r--var/spack/packages/glpk/package.py12
1 files changed, 11 insertions, 1 deletions
diff --git a/var/spack/packages/glpk/package.py b/var/spack/packages/glpk/package.py
index ab1eb1983d..855f459fb3 100644
--- a/var/spack/packages/glpk/package.py
+++ b/var/spack/packages/glpk/package.py
@@ -37,7 +37,17 @@ class Glpk(Package):
version('4.57', '237531a54f73155842f8defe51aedb0f')
+ variant('gmp', default=False, description='Activates support for GMP library')
+
+ depends_on('gmp', when='+gmp')
+
def install(self, spec, prefix):
- configure('--prefix=%s' % prefix)
+
+ options = ['--prefix=%s' % prefix]
+
+ if '+gmp' in spec:
+ options.append('--with-gmp')
+
+ configure(*options)
make()
make("install")