40545
|
1 |
# -*- shell-script -*- :mode=shellscript:
|
32482
|
2 |
|
|
3 |
ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools"
|
37702
|
4 |
|
40545
|
5 |
EXEC_GHC="$(choosefrom \
|
39780
|
6 |
"$ISABELLE_HOME/contrib/ghc/$ISABELLE_PLATFORM/ghc" \
|
|
7 |
"$ISABELLE_HOME/../ghc/$ISABELLE_PLATFORM/ghc" \
|
40545
|
8 |
"$(type -p ghc)" \
|
|
9 |
"")"
|
37702
|
10 |
|
40545
|
11 |
EXEC_OCAML="$(choosefrom \
|
39780
|
12 |
"$ISABELLE_HOME/contrib/ocaml/$ISABELLE_PLATFORM/ocaml" \
|
|
13 |
"$ISABELLE_HOME/../ocaml/$ISABELLE_PLATFORM/ocaml" \
|
40545
|
14 |
"$(type -p ocaml)" \
|
|
15 |
"")"
|