Index: /issm/trunk-jpl/configs/config-arm-linux.sh
===================================================================
--- /issm/trunk-jpl/configs/config-arm-linux.sh	(revision 12598)
+++ /issm/trunk-jpl/configs/config-arm-linux.sh	(revision 12599)
@@ -3,11 +3,8 @@
 ./configure \
 	--prefix=$ISSM_DIR \
-    --host="arm-linux" \
+    --build="i386-apple-darwin10.8.0" \
+    --host="arm-linux-androideabi" \
+    --without-fortran \
 	--without-modules \
-    CC=$ANDROID_DIR/arm-linux-android-4.1/bin/arm-linux-androideabi-gcc \
-    GCC=$ANDROID_DIR/arm-linux-android-4.1/bin/arm-linux-androideabi-gcc \
-    CXX=$ANDROID_DIR/arm-linux-android-4.1/bin/arm-linux-androideabi-g++ \
-	--with-vendor=arm-linux \
-	--with-triangle-dir=$ISSM_DIR/externalpackages/triangle/install \
-	--with-gsl-dir=$ISSM_DIR/externalpackages/gsl/install\
-    --with-fortran="no"
+	--with-gsl-dir=$ISSM_DIR/externalpackages/gsl/install \
+	--with-triangle-dir=$ISSM_DIR/externalpackages/triangle/install 
Index: /issm/trunk-jpl/externalpackages/android/android-ndk/install.sh
===================================================================
--- /issm/trunk-jpl/externalpackages/android/android-ndk/install.sh	(revision 12598)
+++ /issm/trunk-jpl/externalpackages/android/android-ndk/install.sh	(revision 12599)
@@ -25,3 +25,3 @@
 #Note: API-14 corresponds to Android 4.0 although we are
 #calling our toolchain 4.1 to agree with our device.
-$ANDROID_NDK_DIR/build/tools/make-standalone-toolchain.sh --platform=android-14 --install-dir=$ANDROID_DIR/arm-linux-${default_droid}
+$ANDROID_NDK_DIR/build/tools/make-standalone-toolchain.sh --platform=android-14 --install-dir=$ANDROID_DIR/arm-linux-android-4.0
Index: /issm/trunk-jpl/externalpackages/android/android_variables.sh
===================================================================
--- /issm/trunk-jpl/externalpackages/android/android_variables.sh	(revision 12598)
+++ /issm/trunk-jpl/externalpackages/android/android_variables.sh	(revision 12599)
@@ -2,4 +2,5 @@
 ndk_rev=8
 api_levels="android-14,android-15,android-16"
+host_triplet=""
 default_droid="android-4.1"
 toolchain_path=${ANDROID_DIR}"/arm-linux-"${default_droid}"/bin/arm-linux-androideabi"
Index: /issm/trunk-jpl/m4/issm_options.m4
===================================================================
--- /issm/trunk-jpl/m4/issm_options.m4	(revision 12598)
+++ /issm/trunk-jpl/m4/issm_options.m4	(revision 12599)
@@ -65,10 +65,4 @@
 			export CXXFLAGS=" -O3 -xS -D_INTEL_LINUX_ "
 			export CFLAGS=" -O3 -xS -D_INTEL_LINUX_ "
-		elif test $VENDOR = arm-linux; then
-			export CC=$ANDROID_DIR/arm-linux-android-4.1/bin/arm-linux-androideabi-gcc
-			export GCC=$ANDROID_DIR/arm-linux-android-4.1/bin/arm-linux-androideabi-gcc
-			export CXX=$ANDROID_DIR/arm-linux-android-4.1/bin/arm-linux-androideabi-g++
-			export AR=$ANDROID_DIR/arm-linux-android-4.1/bin/arm-linux-androideabi-ar
-			export RANLIB=$ANDROID_DIR/arm-linux-android-4.1/bin/arm-linux-androideabi-ranlib
         else
 		AC_MSG_ERROR([unknow compiler vendor!])