equal
deleted
inserted
replaced
14 echo "$1" >&2 |
14 echo "$1" >&2 |
15 exit 2 |
15 exit 2 |
16 } |
16 } |
17 |
17 |
18 [ -n "$ISABELLE_HOME" ] || fail "Missing Isabelle settings environment" |
18 [ -n "$ISABELLE_HOME" ] || fail "Missing Isabelle settings environment" |
19 [ -z "$SCALA_HOME" ] && fail "Scala unavailable: unknown SCALA_HOME" |
19 [ -z "$SCALA_HOME" ] && fail "Unknown SCALA_HOME -- Scala unavailable" |
20 |
20 |
21 |
21 |
22 ## dependencies |
22 ## dependencies |
23 |
23 |
24 declare -a SOURCES=( |
24 declare -a SOURCES=( |