3 # Abort execution as soon as an error is encountered
4 # That way the script do not let the user think the process completed correctly
5 # and leave the opportunity to fix the problem and restart compilation where
9 # http://developer.android.com/sdk/index.html
10 SDK_URL
="http://dl.google.com/android/android-sdk_r07-linux_x86.tgz"
11 # http://developer.android.com/sdk/ndk/index.html
12 NDK_URL
="http://dl.google.com/android/ndk/android-ndk-r5-linux-x86.tar.bz2"
14 prefix
="${INSTALL_PREFIX:-$HOME}"
15 dldir
="${DOWNLOAD_DIR:-/tmp}"
17 SDK_PATH
=$
(find $prefix -maxdepth 1 -name "android-sdk-*")
18 NDK_PATH
=$
(find $prefix -maxdepth 1 -name "android-ndk-*")
20 download_and_extract
() {
23 local_file
="$dldir/$name"
24 if [ \
! -f "$local_file" ]; then
25 echo " * Downloading $name..."
26 wget
-O "$local_file" $1
29 echo " * Extracting $name..."
30 case ${local_file#*.} in
32 unzip -qo -d "$prefix" "$local_file"
35 (cd $prefix; tar -xf "$local_file")
38 (cd $prefix; tar -xjf "$local_file")
41 echo "Couldn't figure out how to extract $local_file" ! 1>&2
46 if [ -z "$SDK_PATH" ]; then
47 download_and_extract
$SDK_URL
48 SDK_PATH
=$
(realpath
$prefix/android-sdk-
*)
50 if [ -z "$NDK_PATH" ]; then
51 download_and_extract
$NDK_URL
52 NDK_PATH
=$
(realpath
$prefix/android-ndk-
*)
55 if [ -z "$(find $SDK_PATH/platforms -type d -name 'android-*')" ]; then
56 echo " * Installing Android platforms..."
57 $SDK_PATH/tools
/android update sdk
--no-ui --filter platform
,tool
63 Please set the following environment variables before running tools/configure:
64 export ANDROID_SDK_PATH=$SDK_PATH
65 export ANDROID_NDK_PATH=$NDK_PATH