| changeset 28504 | 7ad7d7d6df47 |
| parent 28500 | 4b79e5d3d0aa |
| child 28539 | bdb308737bfd |
| 28503:a30b7169fdd1 | 28504:7ad7d7d6df47 |
|---|---|
40 |
40 |
41 |
41 |
42 ## main |
42 ## main |
43 |
43 |
44 ISABELLE_HOME="$DISTPREFIX/Isabelle" |
44 ISABELLE_HOME="$DISTPREFIX/Isabelle" |
45 ISABELLE_TOOL="$ISABELLE_HOME/bin/isatool" |
45 ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle" |
46 |
46 |
47 [ -d $ISABELLE_HOME ] || fail "$ISABELLE_HOME is not a directory." |
47 [ -d $ISABELLE_HOME ] || fail "$ISABELLE_HOME is not a directory." |
48 |
48 |
49 |
49 |
50 # Create clean output directory |
50 # Create clean output directory |