diff options
author | Dirk Hohndel <dirk@hohndel.org> | 2018-08-04 14:30:42 -0700 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2018-08-04 14:32:16 -0700 |
commit | 93983b7e4c0ad72c61c98a87132c6274b4640c16 (patch) | |
tree | d4f6a491461c0d1585ff40042c4d1676884133f0 /scripts | |
parent | 8df6789a9d4284c360146c53d24e56d442006237 (diff) | |
download | subsurface-93983b7e4c0ad72c61c98a87132c6274b4640c16.tar.gz |
Android: build libzip 1.1.3
Switching to GitHub as source for libzip means that we need to encode
the version number differently. Newer versions of libzip don't compile
cleanly on Android and this one seems new enough.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/get-dep-lib.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/get-dep-lib.sh b/scripts/get-dep-lib.sh index 5bd3f2494..e87b294cf 100755 --- a/scripts/get-dep-lib.sh +++ b/scripts/get-dep-lib.sh @@ -100,7 +100,7 @@ fi # FIX FOR ANDROID, if [ "$PLATFORM" == "singleAndroid" ] ; then - CURRENT_LIBZIP="1.1.3" + CURRENT_LIBZIP="rel-1-1-3" CURRENT_OPENSSL="OpenSSL_1_0_2o" # If changing the openSSL version here, make sure to change it in versions.sh also. fi |