# HG changeset patch
# User haftmann
# Date 1278084464 -7200
# Node ID abd5e69bd8cdbd14c33cb76ebc23d532ab4c28da
# Parent  4117177327106e0df021a2718c0764c3b257fc4c
references to ghc and ocaml

diff -r 411717732710 -r abd5e69bd8cd src/Tools/Code/etc/settings
--- a/src/Tools/Code/etc/settings	Fri Jul 02 17:27:44 2010 +0200
+++ b/src/Tools/Code/etc/settings	Fri Jul 02 17:27:44 2010 +0200
@@ -1,2 +1,12 @@
 
 ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools"
+
+EXEC_GHC=$(choosefrom \
+  "$ISABELLE_HOME/contrib/ghc" \
+  "$ISABELLE_HOME/../ghc" \
+  $(type -p ghc))
+
+EXEC_OCAML=$(choosefrom \
+  "$ISABELLE_HOME/contrib/ocaml" \
+  "$ISABELLE_HOME/../ocaml" \
+  $(type -p ocaml))