equal
deleted
inserted
replaced
1 #!/usr/bin/env bash |
1 #!/usr/bin/env bash |
2 # |
2 # |
3 # $Id$ |
3 # $Id$ |
4 # |
4 # |
5 # Administrative build -- finish Isabelle source distribution. |
5 # Administrative build for Isabelle source distribution. |
6 |
6 |
7 ## global environment |
7 ## global environment |
8 |
8 |
9 #paranoia setting for sunbroy |
9 #paranoia setting for sunbroy |
10 PATH="/usr/local/dist/DIR/j2sdk1.5.0/bin:$PATH" |
10 PATH="/usr/local/dist/DIR/j2sdk1.5.0/bin:$PATH" |
96 cd "$ISABELLE_DIR/doc-src" |
96 cd "$ISABELLE_DIR/doc-src" |
97 fi |
97 fi |
98 |
98 |
99 for DOC in $(cat Dirs) |
99 for DOC in $(cat Dirs) |
100 do |
100 do |
101 pushd "$DOC" > /dev/null |
101 pushd "$DOC" >/dev/null |
102 make clean dvi || fail "DVI document for $DOC failed!" |
102 make clean dvi || fail "DVI document for $DOC failed!" |
103 make clean pdf || fail "PDF document for $DOC failed!" |
103 make clean pdf || fail "PDF document for $DOC failed!" |
104 popd |
104 popd >/dev/null |
105 done |
105 done |
106 } |
106 } |
107 |
107 |
108 |
108 |
109 function build_jars () |
109 function build_jars () |
116 cd "$ISABELLE_DIR/Distribution" |
116 cd "$ISABELLE_DIR/Distribution" |
117 else |
117 else |
118 cd "$ISABELLE_DIR" |
118 cd "$ISABELLE_DIR" |
119 fi |
119 fi |
120 |
120 |
121 pushd lib/classes |
121 pushd lib/classes >/dev/null |
122 ./mk |
122 ./mk |
123 [ -f isabelle.jar ] || fail "Failed to build Isabelle process wrapper!" |
123 [ -f isabelle.jar ] || fail "Failed to build Isabelle process wrapper!" |
124 popd |
124 popd >/dev/null |
125 |
125 |
126 type -p scalac || fail "Scala compiler unavailable" |
126 type -p scalac >/dev/null || fail "Scala compiler unavailable" |
127 pushd lib/jedit/plugin |
127 pushd lib/jedit/plugin >/dev/null |
128 ./mk |
128 ./mk |
129 [ -f ../isabelle.jar ] || fail "Failed to build jEdit plugin!" |
129 [ -f ../isabelle.jar ] || fail "Failed to build jEdit plugin!" |
130 popd |
130 popd >/dev/null |
131 } |
131 } |
132 |
132 |
133 |
133 |
134 ## main |
134 ## main |
135 |
135 |