aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xandroid/build.py12
1 files changed, 8 insertions, 4 deletions
diff --git a/android/build.py b/android/build.py
index 110f08aab..3251f5ef5 100755
--- a/android/build.py
+++ b/android/build.py
@@ -127,11 +127,15 @@ def download_tarball(url, md5):
class Project:
def __init__(self, url, md5, installed, name=None, version=None,
+ base=None,
use_cxx=False, use_clang=False):
- basename = os.path.basename(url)
- m = re.match(r'^(.+)\.(tar(\.(gz|bz2|xz|lzma))?|zip)$', basename)
- if not m: raise
- self.base = m.group(1)
+ if base is None:
+ basename = os.path.basename(url)
+ m = re.match(r'^(.+)\.(tar(\.(gz|bz2|xz|lzma))?|zip)$', basename)
+ if not m: raise
+ self.base = m.group(1)
+ else:
+ self.base = base
if name is None or version is None:
m = re.match(r'^([-\w]+)-(\d[\d.]*[a-z]?)$', self.base)