equal
deleted
inserted
replaced
15 ## directory layout |
15 ## directory layout |
16 |
16 |
17 ISABELLE_DIR="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd ..; pwd)" |
17 ISABELLE_DIR="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd ..; pwd)" |
18 |
18 |
19 if [ -d "$ISABELLE_DIR/Distribution" ]; then |
19 if [ -d "$ISABELLE_DIR/Distribution" ]; then |
20 OLD_LAYOUT=true |
|
21 ISATOOL="$ISABELLE_DIR/Distribution/bin/isatool" |
20 ISATOOL="$ISABELLE_DIR/Distribution/bin/isatool" |
|
21 ISABELLE_LIB="$ISABELLE_DIR/Distribution/lib" |
|
22 ISABELLE_SRC="$ISABELLE_DIR" |
|
23 ISABELLE_DOC_SRC="$ISABELLE_DIR/Doc" |
22 else |
24 else |
23 OLD_LAYOUT=false |
|
24 ISATOOL="$ISABELLE_DIR/bin/isatool" |
25 ISATOOL="$ISABELLE_DIR/bin/isatool" |
|
26 ISABELLE_LIB="$ISABELLE_DIR/lib" |
|
27 ISABELLE_SRC="$ISABELLE_DIR/src" |
|
28 ISABELLE_DOC_SRC="$ISABELLE_DIR/doc-src" |
25 fi |
29 fi |
26 |
30 |
27 |
31 |
28 ## diagnostics |
32 ## diagnostics |
29 |
33 |
75 { |
79 { |
76 echo "###" |
80 echo "###" |
77 echo "### Building graph browser ..." |
81 echo "### Building graph browser ..." |
78 echo "###" |
82 echo "###" |
79 |
83 |
80 if [ "$OLD_LAYOUT" = true ]; then |
84 cd "$ISABELLE_LIB/browser" |
81 cd "$ISABELLE_DIR/Distribution/lib/browser" |
|
82 else |
|
83 cd "$ISABELLE_DIR/lib/browser" |
|
84 fi |
|
85 make clean all || fail "Failed to build graph browser!" |
85 make clean all || fail "Failed to build graph browser!" |
86 } |
86 } |
87 |
87 |
88 |
88 |
89 function build_doc () |
89 function build_doc () |
90 { |
90 { |
91 echo "###" |
91 echo "###" |
92 echo "### Building documentation ..." |
92 echo "### Building documentation ..." |
93 echo "###" |
93 echo "###" |
94 |
94 |
95 if [ "$OLD_LAYOUT" = true ]; then |
95 cd "$ISABELLE_DOC_SRC" |
96 cd "$ISABELLE_DIR/Doc" |
|
97 else |
|
98 cd "$ISABELLE_DIR/doc-src" |
|
99 fi |
|
100 |
|
101 for DOC in $(cat Dirs) |
96 for DOC in $(cat Dirs) |
102 do |
97 do |
103 pushd "$DOC" >/dev/null |
98 pushd "$DOC" >/dev/null |
104 make clean dvi || fail "DVI document for $DOC failed!" |
99 make clean dvi || fail "DVI document for $DOC failed!" |
105 make clean pdf || fail "PDF document for $DOC failed!" |
100 make clean pdf || fail "PDF document for $DOC failed!" |
112 { |
107 { |
113 echo "###" |
108 echo "###" |
114 echo "### Building JVM components ..." |
109 echo "### Building JVM components ..." |
115 echo "###" |
110 echo "###" |
116 |
111 |
117 if [ "$OLD_LAYOUT" = true ]; then |
112 pushd "$ISABELLE_SRC/Pure" >/dev/null |
118 cd "$ISABELLE_DIR/Distribution" |
|
119 else |
|
120 cd "$ISABELLE_DIR" |
|
121 fi |
|
122 |
|
123 pushd src/Pure >/dev/null |
|
124 "$ISATOOL" make jar || fail "Failed to build Pure.jar!" |
113 "$ISATOOL" make jar || fail "Failed to build Pure.jar!" |
125 popd >/dev/null |
114 popd >/dev/null |
126 |
115 |
127 pushd lib/classes >/dev/null |
116 pushd "$ISABELLE_LIB/classes" >/dev/null |
128 ./mk |
117 ./mk |
129 [ -f isabelle.jar ] || fail "Failed to build Isabelle process wrapper!" |
118 [ -f isabelle.jar ] || fail "Failed to build Isabelle process wrapper!" |
130 popd >/dev/null |
119 popd >/dev/null |
131 |
120 |
132 if [ -d "$HOME/lib/jedit/current" ]; then |
121 if [ -d "$HOME/lib/jedit/current" ]; then |
133 type -p scalac >/dev/null || fail "Scala compiler unavailable" |
122 type -p scalac >/dev/null || fail "Scala compiler unavailable" |
134 pushd lib/jedit/plugin >/dev/null |
123 pushd "$ISABELLE_LIB/jedit/plugin" >/dev/null |
135 ./mk |
124 ./mk |
136 [ -f ../isabelle.jar ] || fail "Failed to build jEdit plugin!" |
125 [ -f ../isabelle.jar ] || fail "Failed to build jEdit plugin!" |
137 popd >/dev/null |
126 popd >/dev/null |
138 else |
127 else |
139 echo "Warning: skipping jedit plugin" |
128 echo "Warning: skipping jedit plugin" |