49558
|
1 |
#!/usr/bin/env bash
|
|
2 |
#
|
|
3 |
# Author: Markus Kaiser, TU Muenchen
|
|
4 |
# Author: Makarius
|
|
5 |
#
|
|
6 |
# DESCRIPTION: graphview command-line tool wrapper
|
|
7 |
|
|
8 |
## sources
|
|
9 |
|
|
10 |
declare -a SOURCES=(
|
|
11 |
"src/floating_dialog.scala"
|
|
12 |
"src/frame.scala"
|
|
13 |
"src/graph_panel.scala"
|
|
14 |
"src/graph_xml.scala"
|
|
15 |
"src/layout_pendulum.scala"
|
|
16 |
"src/main_panel.scala"
|
|
17 |
"src/model.scala"
|
|
18 |
"src/mutator_dialog.scala"
|
|
19 |
"src/mutator_event.scala"
|
|
20 |
"src/mutator.scala"
|
|
21 |
"src/parameters.scala"
|
|
22 |
"src/popups.scala"
|
|
23 |
"src/shapes.scala"
|
|
24 |
"src/tooltips.scala"
|
|
25 |
"src/visualizer.scala"
|
|
26 |
"../jEdit/src/html_panel.scala"
|
|
27 |
)
|
|
28 |
|
|
29 |
|
|
30 |
## diagnostics
|
|
31 |
|
|
32 |
PRG="$(basename "$0")"
|
|
33 |
|
|
34 |
function usage()
|
|
35 |
{
|
|
36 |
echo
|
|
37 |
echo "Usage: isabelle $PRG [OPTIONS] GRAPH_FILE"
|
|
38 |
echo
|
|
39 |
echo " Options are:"
|
|
40 |
echo " -b build only"
|
49563
|
41 |
echo " -c cleanup -- remove GRAPH_FILE after use"
|
49558
|
42 |
echo " -f fresh build"
|
|
43 |
echo
|
|
44 |
exit 1
|
|
45 |
}
|
|
46 |
|
|
47 |
function fail()
|
|
48 |
{
|
|
49 |
echo "$1" >&2
|
|
50 |
exit 2
|
|
51 |
}
|
|
52 |
|
|
53 |
function failed()
|
|
54 |
{
|
|
55 |
fail "Failed!"
|
|
56 |
}
|
|
57 |
|
|
58 |
|
|
59 |
## process command line
|
|
60 |
|
|
61 |
# options
|
|
62 |
|
|
63 |
BUILD_ONLY=false
|
49563
|
64 |
CLEAN=""
|
49558
|
65 |
BUILD_JARS="jars"
|
|
66 |
|
49563
|
67 |
while getopts "bcf" OPT
|
49558
|
68 |
do
|
|
69 |
case "$OPT" in
|
|
70 |
b)
|
|
71 |
BUILD_ONLY=true
|
|
72 |
;;
|
49563
|
73 |
c)
|
|
74 |
CLEAN="true"
|
|
75 |
;;
|
49558
|
76 |
f)
|
|
77 |
BUILD_JARS="jars_fresh"
|
|
78 |
;;
|
|
79 |
\?)
|
|
80 |
usage
|
|
81 |
;;
|
|
82 |
esac
|
|
83 |
done
|
|
84 |
|
49563
|
85 |
shift $(($OPTIND - 1))
|
|
86 |
|
49558
|
87 |
|
|
88 |
# args
|
|
89 |
|
|
90 |
GRAPH_FILE=""
|
|
91 |
|
|
92 |
if [ "$#" -eq 0 -a "$BUILD_ONLY" = false ]; then
|
|
93 |
usage
|
|
94 |
elif [ "$#" -eq 1 ]; then
|
|
95 |
GRAPH_FILE="$1"
|
|
96 |
shift
|
|
97 |
else
|
|
98 |
usage
|
|
99 |
fi
|
|
100 |
|
|
101 |
|
|
102 |
## build
|
|
103 |
|
|
104 |
[ -e "$ISABELLE_HOME/Admin/build" ] && \
|
|
105 |
{ "$ISABELLE_HOME/Admin/build" "$BUILD_JARS" || exit $?; }
|
|
106 |
|
|
107 |
pushd "$GRAPHVIEW_HOME" >/dev/null || failed
|
|
108 |
|
|
109 |
PURE_JAR="$ISABELLE_HOME/lib/classes/ext/Pure.jar"
|
|
110 |
COBRA_JAR="$ISABELLE_JEDIT_BUILD_HOME/contrib/cobra.jar"
|
49563
|
111 |
JS_JAR="$ISABELLE_JEDIT_BUILD_HOME/contrib/js.jar"
|
49558
|
112 |
|
|
113 |
TARGET_DIR="$ISABELLE_HOME/lib/classes"
|
|
114 |
TARGET="$TARGET_DIR/ext/Graphview.jar"
|
|
115 |
|
|
116 |
declare -a UPDATED=()
|
|
117 |
|
|
118 |
if [ "$BUILD_JARS" = jars_fresh ]; then
|
|
119 |
OUTDATED=true
|
|
120 |
else
|
|
121 |
OUTDATED=false
|
|
122 |
if [ ! -e "$TARGET" ]; then
|
|
123 |
OUTDATED=true
|
|
124 |
else
|
|
125 |
if [ -n "$ISABELLE_JEDIT_BUILD_HOME" ]; then
|
49563
|
126 |
declare -a DEPS=("$COBRA_JAR" "$JS_JAR" "$PURE_JAR" "${SOURCES[@]}")
|
49558
|
127 |
elif [ -e "$ISABELLE_HOME/Admin/build" ]; then
|
|
128 |
declare -a DEPS=("$PURE_JAR" "${SOURCES[@]}")
|
|
129 |
else
|
|
130 |
declare -a DEPS=()
|
|
131 |
fi
|
|
132 |
for DEP in "${DEPS[@]}"
|
|
133 |
do
|
|
134 |
[ ! -e "$DEP" ] && fail "Missing file: $DEP"
|
|
135 |
[ "$DEP" -nt "$TARGET" ] && {
|
|
136 |
OUTDATED=true
|
|
137 |
UPDATED["${#UPDATED[@]}"]="$DEP"
|
|
138 |
}
|
|
139 |
done
|
|
140 |
fi
|
|
141 |
fi
|
|
142 |
|
|
143 |
if [ "$OUTDATED" = true ]
|
|
144 |
then
|
|
145 |
echo "### Building Isabelle/Graphview ..."
|
|
146 |
|
|
147 |
[ "${#UPDATED[@]}" -gt 0 ] && {
|
|
148 |
echo "Changed files:"
|
|
149 |
for FILE in "${UPDATED[@]}"
|
|
150 |
do
|
|
151 |
echo " $FILE"
|
|
152 |
done
|
|
153 |
}
|
|
154 |
|
|
155 |
[ -z "$ISABELLE_JEDIT_BUILD_HOME" ] && \
|
|
156 |
fail "Unknown ISABELLE_JEDIT_BUILD_HOME -- missing auxiliary component"
|
|
157 |
|
|
158 |
rm -rf classes && mkdir classes
|
|
159 |
|
|
160 |
cp -p -R -f "$COBRA_JAR" "$TARGET_DIR/ext" || failed
|
49563
|
161 |
cp -p -R -f "$JS_JAR" "$TARGET_DIR/ext" || failed
|
49558
|
162 |
|
|
163 |
(
|
49563
|
164 |
for JAR in "$COBRA_JAR" "$JS_JAR" "$PURE_JAR"
|
49558
|
165 |
do
|
|
166 |
CLASSPATH="$CLASSPATH:$JAR"
|
|
167 |
done
|
|
168 |
CLASSPATH="$(jvmpath "$CLASSPATH")"
|
|
169 |
exec "$SCALA_HOME/bin/scalac" $ISABELLE_SCALA_BUILD_OPTIONS -d classes "${SOURCES[@]}"
|
|
170 |
) || fail "Failed to compile sources"
|
|
171 |
|
|
172 |
cd classes
|
|
173 |
isabelle_jdk jar cf "$TARGET" * || failed
|
|
174 |
cd ..
|
|
175 |
rm -rf classes
|
|
176 |
fi
|
|
177 |
|
|
178 |
popd >/dev/null
|
|
179 |
|
|
180 |
|
|
181 |
## run
|
|
182 |
|
49563
|
183 |
if [ "$BUILD_ONLY" = false ]; then
|
|
184 |
PRIVATE_FILE="${ISABELLE_TMP:-/tmp}/$$""$(basename "$GRAPH_FILE")"
|
|
185 |
if [ "$CLEAN" = true ]; then
|
|
186 |
mv -f "$GRAPH_FILE" "$PRIVATE_FILE" || fail "Cannot move file: $GRAPH_FILE"
|
|
187 |
else
|
|
188 |
cp -f "$GRAPH_FILE" "$PRIVATE_FILE" || fail "Cannot copy file: $GRAPH_FILE"
|
|
189 |
fi
|
|
190 |
|
|
191 |
"$ISABELLE_TOOL" java isabelle.graphview.Graphview_Frame "$(jvmpath "$PRIVATE_FILE")"
|
|
192 |
RC="$?"
|
|
193 |
|
|
194 |
rm -f "$PRIVATE_FILE"
|
|
195 |
echo "$RC"
|
|
196 |
fi
|