Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/reallymakeall
author wenzelm
Thu, 10 Jan 2002 16:06:39 +0100
changeset 12703 af5fec8a418f
parent 9522 bf459ea9a523
permissions -rwxr-xr-x
refine_tac: Tactic.norm_hhf_tac before trying rule; global_qed: uses Locale.add_thmss_hybrid, tuned;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
9522
bf459ea9a523 invoke isatool make in any dir containing an IsaMakefile;
wenzelm
parents:
diff changeset 
     1
 
#/!bin/bash
bf459ea9a523 invoke isatool make in any dir containing an IsaMakefile;
wenzelm
parents:
diff changeset 
     2
 












bf459ea9a523
invoke isatool make in any dir containing an IsaMakefile;



wenzelm


parents: 

diff
changeset




     3


ISATOOL=${ISATOOL:-isatool}













bf459ea9a523
invoke isatool make in any dir containing an IsaMakefile;



wenzelm


parents: 

diff
changeset




     4


type -p "$ISATOOL" >/dev/null || { echo "isatool not found!" >&2; exit 2; }













bf459ea9a523
invoke isatool make in any dir containing an IsaMakefile;



wenzelm


parents: 

diff
changeset




     5














bf459ea9a523
invoke isatool make in any dir containing an IsaMakefile;



wenzelm


parents: 

diff
changeset




     6


for FILE in $(find . -name IsaMakefile -print)













bf459ea9a523
invoke isatool make in any dir containing an IsaMakefile;



wenzelm


parents: 

diff
changeset




     7


do













bf459ea9a523
invoke isatool make in any dir containing an IsaMakefile;



wenzelm


parents: 

diff
changeset




     8


  DIR=$(dirname "$FILE")













bf459ea9a523
invoke isatool make in any dir containing an IsaMakefile;



wenzelm


parents: 

diff
changeset




     9


  echo "Entering $DIR ..."













bf459ea9a523
invoke isatool make in any dir containing an IsaMakefile;



wenzelm


parents: 

diff
changeset




    10


  ( cd "$DIR"; $ISATOOL make "$@"; )













bf459ea9a523
invoke isatool make in any dir containing an IsaMakefile;



wenzelm


parents: 

diff
changeset




    11


done















isabelle