# HG changeset patch
# User haftmann
# Date 1285744886 -7200
# Node ID 2f43fffbba1acc1516181f7a3c5e4c4d61c7ee08
# Parent  863362a2d865cbc0520a0751b35741473ac0d20d
platform-sensitive contrib paths for ghc, ocaml

diff -r 863362a2d865 -r 2f43fffbba1a src/Tools/Code/etc/settings
--- a/src/Tools/Code/etc/settings	Wed Sep 29 09:08:01 2010 +0200
+++ b/src/Tools/Code/etc/settings	Wed Sep 29 09:21:26 2010 +0200
@@ -2,13 +2,13 @@
 ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools"
 
 EXEC_GHC=$(choosefrom \
-  "$ISABELLE_HOME/contrib/ghc" \
-  "$ISABELLE_HOME/../ghc" \
+  "$ISABELLE_HOME/contrib/ghc/$ISABELLE_PLATFORM/ghc" \
+  "$ISABELLE_HOME/../ghc/$ISABELLE_PLATFORM/ghc" \
   $(type -p ghc) \
   "")
 
 EXEC_OCAML=$(choosefrom \
-  "$ISABELLE_HOME/contrib/ocaml" \
-  "$ISABELLE_HOME/../ocaml" \
+  "$ISABELLE_HOME/contrib/ocaml/$ISABELLE_PLATFORM/ocaml" \
+  "$ISABELLE_HOME/../ocaml/$ISABELLE_PLATFORM/ocaml" \
   $(type -p ocaml) \
   "")