Admin/isatest/settings/afp-poly

--- a/Admin/isatest/settings/afp-poly	Sat May 23 22:13:24 2015 +0200
+++ b/Admin/isatest/settings/afp-poly	Mon May 25 22:11:43 2015 +0200
@@ -2,9 +2,9 @@
 
 init_components /home/isabelle/contrib "$HOME/admin/components/main"
 
-  ML_PLATFORM="x86_64-darwin"
-  ML_HOME="$POLYML_HOME/$ML_PLATFORM"
-  ML_OPTIONS="-H 2000"
+ML_PLATFORM="$ISABELLE_PLATFORM64"
+ML_HOME="$POLYML_HOME/$ML_PLATFORM"
+ML_OPTIONS="-H 2000"
 
 ISABELLE_GHC=ghc