Admin/isatest/isatest-makeall
changeset 24786 56b8b2cfa08e
parent 24781 fd6d2040f89b
child 25912 a1a3f614dd86
equal deleted inserted replaced
24785:197e4df96fd4 24786:56b8b2cfa08e
    95   [ "$#" -lt "3" ] && usage
    95   [ "$#" -lt "3" ] && usage
    96   LOGIC="$1"
    96   LOGIC="$1"
    97   TARGETS="$2"
    97   TARGETS="$2"
    98   shift 2
    98   shift 2
    99   ISABELLE_HOME="$($ISATOOL getenv -b ISABELLE_HOME)"
    99   ISABELLE_HOME="$($ISATOOL getenv -b ISABELLE_HOME)"
   100   DIR="$ISABELLE_HOME/$LOGIC"
   100   DIR="$ISABELLE_HOME/src/$LOGIC"
   101   TOOL="$ISATOOL make $MFLAGS $TARGETS"
   101   TOOL="$ISATOOL make $MFLAGS $TARGETS"
   102 else
   102 else
   103   DIR="."
   103   DIR="."
   104   TOOL="$ISATOOL makeall $MFLAGS all"
   104   TOOL="$ISATOOL makeall $MFLAGS all"
   105 fi
   105 fi