gcc gmp rebuild

2020-03-18 21:11:52 +03:00
parent aba1a66652
commit 24ebb14abb
3 changed files with 22 additions and 3 deletions
@@ -60,7 +60,7 @@ def setup():
    shelltools.move("isl-0.21", "isl")
    shelltools.move("mpfr-4.0.2", "mpfr")
    shelltools.move("mpc-1.1.0", "mpc")
-    shelltools.move("gmp-6.1.2", "gmp")
+    #shelltools.move("gmp-6.1.2", "gmp")
    
    shelltools.cd("../")
    shelltools.makedirs("build")