cloog:update

2016-01-28 00:00:05 +02:00
parent 9069618d2a
commit 029e93a6a4
2 changed files with 13 additions and 5 deletions
@@ -10,14 +10,15 @@ from pisi.actionsapi import get


 def setup():
-    autotools.configure("--disable-static \
-                         --enable-shared \
-                         --with-isl=system \
+    autotools.configure("--with-isl=system \
                         --with-gmp=system \
                         --with-ppl")

 def build():
    autotools.make()
+    
+#def build():
+    #autotools.make("-j1 check")

 def install():
    autotools.rawInstall("DESTDIR=%s" % get.installDIR())