build
changeset 2914 01d24f98528f
parent 2902 bacef535265c
child 2918 0305b0acba78
equal deleted inserted replaced
2913:ce271fa4d8e2 2914:01d24f98528f
   122   echo " " $LOGICS
   122   echo " " $LOGICS
   123   echo
   123   echo
   124   read
   124   read
   125 else
   125 else
   126   echo
   126   echo
   127   echo -n "Isabelle build started at "; date
   127   echo "Isabelle build:" $LOGICS
   128   echo "logics:" $LOGICS
   128   echo
   129   echo "ML_SYSTEM=$ML_SYSTEM"
   129   echo "ML_SYSTEM=$ML_SYSTEM"
   130   echo "ML_HOME=$ML_HOME"
   130   echo "ML_HOME=$ML_HOME"
   131   echo "ML_OPTIONS=$ML_OPTIONS"
   131   echo "ML_OPTIONS=$ML_OPTIONS"
   132   echo
   132   echo
   133 fi
   133 fi
   134 
   134 
   135 
   135 
   136 # build it
   136 # build it
   137 
   137 
       
   138 echo
       
   139 echo -n "Started at "; date
       
   140 echo
       
   141 
   138 export THIS_IS_ISABELLE_BUILD=true
   142 export THIS_IS_ISABELLE_BUILD=true
   139 
   143 
   140 for L in $LOGICS
   144 for L in $LOGICS
   141 do
   145 do
   142   ( cd $ISABELLE_HOME/src/$L; $ISATOOL make )
   146   ( cd $ISABELLE_HOME/src/$L; $ISATOOL make )
   143 done
   147 done
   144 
   148 
   145 if [ -n "$BATCH" ]; then
   149 echo
   146   echo
   150 echo -n "Finished at "; date
   147   echo -n "Isabelle build finished at "; date
   151 echo
   148 fi