glpk:version bump

2016-03-13 12:55:48 +02:00
parent 64e8627d40
commit d980345820
2 changed files with 16 additions and 2 deletions
@@ -12,7 +12,8 @@ def setup():
    if get.buildTYPE() != "emul32":
        pisitools.flags.add("-fPIC")

-    autotools.configure("--disable-static")
+    autotools.configure("--disable-static \
+                         --with-gmp")

    pisitools.dosed("libtool", " -shared ", " -Wl,-O1,--as-needed -shared ")