Admin/isatest/isatest-makeall
changeset 46004 484ef66bc3a1
parent 45861 4bb0fc92247b
child 46005 ae721b158a79
equal deleted inserted replaced
46003:c0fe5e8e4864 46004:484ef66bc3a1
    69         MFLAGS="-k -j 2"
    69         MFLAGS="-k -j 2"
    70         ;;
    70         ;;
    71   
    71   
    72     macbroy2)
    72     macbroy2)
    73         MFLAGS="-k"
    73         MFLAGS="-k"
    74         TARGETS=full
       
    75         NICE=""
    74         NICE=""
    76         ;;
    75         ;;
    77 
    76 
    78     macbroy5)
    77     macbroy5)
    79         MFLAGS="-k -j 2"
    78         MFLAGS="-k -j 2"
   100         NICE=""
    99         NICE=""
   101         ;;
   100         ;;
   102 
   101 
   103     macbroy30)
   102     macbroy30)
   104         MFLAGS="-k"
   103         MFLAGS="-k"
   105         TARGETS=full
       
   106         NICE=""
   104         NICE=""
   107         ;;
   105         ;;
   108 
   106 
   109     *)
   107     *)
   110         MFLAGS="-k"
   108         MFLAGS="-k"
   122   [ "$#" -lt "3" ] && usage
   120   [ "$#" -lt "3" ] && usage
   123   LOGIC="$1"
   121   LOGIC="$1"
   124   TARGETS="$2"
   122   TARGETS="$2"
   125   shift 2
   123   shift 2
   126   ISABELLE_HOME="$($ISABELLE_TOOL getenv -b ISABELLE_HOME)"
   124   ISABELLE_HOME="$($ISABELLE_TOOL getenv -b ISABELLE_HOME)"
   127   DIR="$ISABELLE_HOME/src/$LOGIC"
   125   if [ "$LOGIC" = "." ]; then
   128   TOOL="$ISABELLE_TOOL make $MFLAGS $TARGETS"
   126     DIR="."
       
   127     TOOL="$ISABELLE_TOOL makeall $MFLAGS $TARGETS"
       
   128   else
       
   129     DIR="$ISABELLE_HOME/src/$LOGIC"
       
   130     TOOL="$ISABELLE_TOOL make $MFLAGS $TARGETS"
       
   131   fi
   129 else
   132 else
   130   DIR="."
   133   DIR="."
   131   TOOL="$ISABELLE_TOOL makeall $MFLAGS $TARGETS"
   134   TOOL="$ISABELLE_TOOL makeall $MFLAGS $TARGETS"
   132 fi
   135 fi
   133 
   136