use different libgmp mirror

This commit is contained in:
Akinwale Ariwodola 2019-03-23 18:06:04 +01:00
parent 16990c2e18
commit b3f8515fb0

View file

@ -8,8 +8,8 @@ import os
class LibGMPRecipe(Recipe): class LibGMPRecipe(Recipe):
version = '6.1.2' version = '6.1.2'
url = 'http://www.mirrorservice.org/pub/gnu/gmp/gmp-{version}.tar.bz2' #url = 'http://www.mirrorservice.org/pub/gnu/gmp/gmp-{version}.tar.bz2'
#url = 'https://gmplib.org/download/gmp/gmp-{version}.tar.bz2' url = 'https://gmplib.org/download/gmp/gmp-{version}.tar.bz2'
def should_build(self, arch): def should_build(self, arch):
build_dir = self.get_build_dir(arch.arch) build_dir = self.get_build_dir(arch.arch)