| changeset 34283 | 7911e83d06c0 |
| parent 34282 | 549969a7f582 |
| child 34284 | 33ad3571ad83 |
| 34282:549969a7f582 | 34283:7911e83d06c0 |
|---|---|
56 } |
56 } |
57 |
57 |
58 |
58 |
59 function build_browser () |
59 function build_browser () |
60 { |
60 { |
61 echo "###" |
61 pushd "$ISABELLE_HOME/lib/browser" >/dev/null |
62 echo "### Building graph browser ..." |
62 "$ISABELLE_TOOL" env ./build || fail "Failed!" |
63 echo "###" |
63 popd >/dev/null |
64 |
|
65 cd "$ISABELLE_HOME/lib/browser" |
|
66 make clean all || fail "Failed to build graph browser!" |
|
67 } |
64 } |
68 |
65 |
69 |
66 |
70 function build_doc () |
67 function build_doc () |
71 { |
68 { |