From 7670dc7efcee7b16c7b08b3c2ba6669bcbbcf49b Mon Sep 17 00:00:00 2001
From: alalazo <massimiliano.culpo@googlemail.com>
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