5 # mk - build graph browser
7 # Requires proper Isabelle settings environment.
18 [ -n "$ISABELLE_HOME" ] || fail "Missing Isabelle settings environment"
24 GraphBrowser/AWTFontMetrics.java
25 GraphBrowser/AbstractFontMetrics.java
27 GraphBrowser/Console.java
28 GraphBrowser/DefaultFontMetrics.java
29 GraphBrowser/Directory.java
30 GraphBrowser/DummyVertex.java
31 GraphBrowser/Graph.java
32 GraphBrowser/GraphBrowser.java
33 GraphBrowser/GraphBrowserFrame.java
34 GraphBrowser/GraphView.java
35 GraphBrowser/NormalVertex.java
36 GraphBrowser/ParseError.java
37 GraphBrowser/Region.java
38 GraphBrowser/Spline.java
39 GraphBrowser/TreeBrowser.java
40 GraphBrowser/TreeNode.java
41 GraphBrowser/Vertex.java
42 awtUtilities/Border.java
43 awtUtilities/MessageDialog.java
44 awtUtilities/TextFrame.java
47 TARGET="$ISABELLE_HOME/lib/browser/GraphBrowser.jar"
54 for SOURCE in "${SOURCES[@]}"
56 [ ! -e "$SOURCE" ] && fail "Missing source file: $SOURCE"
57 [ ! -e "$TARGET" -o "$SOURCE" -nt "$TARGET" ] && OUTDATED=true
60 if [ "$OUTDATED" = true ]
63 echo "### Building graph browser ..."
66 rm -rf classes && mkdir classes
68 javac -d classes -source 1.4 "${SOURCES[@]}" || \
69 fail "Failed to compile sources"
70 jar cf "$(jvmpath "$TARGET")" -C classes . ||
71 fail "Failed to produce $TARGET"