Mercurial Mercurial > repos > isabelle / diff
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/isatest/isatest-makeall
changeset 28500 4b79e5d3d0aa
parent 26369 01ee1168088b
child 28504 7ad7d7d6df47 
--- a/Admin/isatest/isatest-makeall	Sat Oct 04 16:05:08 2008 +0200
+++ b/Admin/isatest/isatest-makeall	Sat Oct 04 16:05:09 2008 +0200
@@ -88,9 +88,9 @@
         ;;
 esac
 
-ISATOOL="$DISTPREFIX/Isabelle/bin/isatool"
+ISABELLE_TOOL="$DISTPREFIX/Isabelle/bin/isatool"
 
-[ -x $ISATOOL ] || fail "Cannot run $ISATOOL"
+[ -x $ISABELLE_TOOL ] || fail "Cannot run $ISABELLE_TOOL"
 
 if [ "$1" = "-l" ]; then
   shift
@@ -98,12 +98,12 @@
   LOGIC="$1"
   TARGETS="$2"
   shift 2
-  ISABELLE_HOME="$($ISATOOL getenv -b ISABELLE_HOME)"
+  ISABELLE_HOME="$($ISABELLE_TOOL getenv -b ISABELLE_HOME)"
   DIR="$ISABELLE_HOME/src/$LOGIC"
-  TOOL="$ISATOOL make $MFLAGS $TARGETS"
+  TOOL="$ISABELLE_TOOL make $MFLAGS $TARGETS"
 else
   DIR="."
-  TOOL="$ISATOOL makeall $MFLAGS all"
+  TOOL="$ISABELLE_TOOL makeall $MFLAGS all"
 fi
 
 # main test loop
isabelle