--- a/Admin/polyml/settings Sat Jan 26 16:51:43 2013 +0100
+++ b/Admin/polyml/settings Sat Jan 26 19:52:49 2013 +0100
@@ -20,9 +20,12 @@
then
ML_PLATFORM="$ISABELLE_PLATFORM32"
else
- echo >&2 "### Cannot execute Poly/ML in 32bit mode: missing shared libraries for C/C++"
- echo >&2 "### Using more voluminous 64bit version of Poly/ML instead"
ML_PLATFORM="$ISABELLE_PLATFORM64"
+ if [ -z "$ML_PLATFORM_FALLBACK" ]; then
+ echo >&2 "### Cannot execute Poly/ML in 32bit mode (missing shared libraries for C/C++)"
+ echo >&2 "### Using bulky 64bit version of Poly/ML instead"
+ ML_PLATFORM_FALLBACK="true"
+ fi
fi
;;
*)