equal
deleted
inserted
replaced
209 done |
209 done |
210 export ISABELLE_DIRECTORIES |
210 export ISABELLE_DIRECTORIES |
211 } |
211 } |
212 export -f isabelle_directory |
212 export -f isabelle_directory |
213 |
213 |
214 #setup classpath |
|
215 function isabelle_setup_classpath |
|
216 { |
|
217 classpath "$(isabelle_java java -classpath "$(platform_path "$ISABELLE_SETUP_JAR")" isabelle.setup.Setup classpath)" |
|
218 } |
|
219 export -f isabelle_setup_classpath |
|
220 |
|
221 #administrative build |
214 #administrative build |
222 function isabelle_admin_build () |
215 function isabelle_admin_build () |
223 { |
216 { |
224 { |
217 if [ -e "$ISABELLE_HOME/Admin/build" ]; then |
225 if [ -e "$ISABELLE_HOME/Admin/build" ]; then |
218 "$ISABELLE_HOME/Admin/build" "$@" |
226 "$ISABELLE_HOME/Admin/build" "$@" |
219 fi |
227 fi |
|
228 } && isabelle_setup_classpath |
|
229 } |
220 } |
230 export -f isabelle_admin_build |
221 export -f isabelle_admin_build |
231 |
222 |
232 #arrays |
223 #arrays |
233 function splitarray () |
224 function splitarray () |