diff options
| author | alalazo <massimiliano.culpo@googlemail.com> | 2016-01-06 10:05:48 +0100 |
|---|---|---|
| committer | alalazo <massimiliano.culpo@googlemail.com> | 2016-01-06 10:05:48 +0100 |
| commit | 7670dc7efcee7b16c7b08b3c2ba6669bcbbcf49b (patch) | |
| tree | 10b58722aabafc2743f0a7d306263bf4edd76b85 | |
| parent | 24ba60168d8c0f7a681deca81c4a9bb8ea4cd5d1 (diff) | |
| download | spack-7670dc7efcee7b16c7b08b3c2ba6669bcbbcf49b.tar.gz spack-7670dc7efcee7b16c7b08b3c2ba6669bcbbcf49b.tar.bz2 spack-7670dc7efcee7b16c7b08b3c2ba6669bcbbcf49b.tar.xz spack-7670dc7efcee7b16c7b08b3c2ba6669bcbbcf49b.zip | |
glpk : added support for gmp
| -rw-r--r-- | var/spack/packages/glpk/package.py | 12 |
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") |