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