| changeset 37693 | abd5e69bd8cd |
| parent 32481 | 236fa33784de |
| child 37745 | 39253da888c1 |
| 37692:411717732710 | 37693:abd5e69bd8cd |
|---|---|
1 |
1 |
2 ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools" |
2 ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools" |
3 |
|
4 EXEC_GHC=$(choosefrom \ |
|
5 "$ISABELLE_HOME/contrib/ghc" \ |
|
6 "$ISABELLE_HOME/../ghc" \ |
|
7 $(type -p ghc)) |
|
8 |
|
9 EXEC_OCAML=$(choosefrom \ |
|
10 "$ISABELLE_HOME/contrib/ocaml" \ |
|
11 "$ISABELLE_HOME/../ocaml" \ |
|
12 $(type -p ocaml)) |