# HG changeset patch # User wenzelm # Date 1348670241 -7200 # Node ID 7bc5fcc035645e18878d04c4d078c128094c83fa # Parent 11bcea724b2c195183cd294bcb6406bfbfac9dde tuned message; diff -r 11bcea724b2c -r 7bc5fcc03564 Admin/polyml/settings --- a/Admin/polyml/settings Wed Sep 26 15:04:15 2012 +0200 +++ b/Admin/polyml/settings Wed Sep 26 16:37:21 2012 +0200 @@ -20,7 +20,8 @@ then ML_PLATFORM="$ISABELLE_PLATFORM32" else - echo >&2 "### Cannot execute Poly/ML in 32bit mode -- using bulky 64bit version instead" + 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" fi ;;