From 7670dc7efcee7b16c7b08b3c2ba6669bcbbcf49b Mon Sep 17 00:00:00 2001 From: alalazo Date: Wed, 6 Jan 2016 10:05:48 +0100 Subject: glpk : added support for gmp --- var/spack/packages/glpk/package.py | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) (limited to 'var') 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") -- cgit v1.2.3-70-g09d2