author | wenzelm |
Wed, 26 Sep 2012 16:37:21 +0200 | |
changeset 49598 | 7bc5fcc03564 |
parent 49597 | 11bcea724b2c |
child 49599 | e716209814b3 |
--- 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 ;;