lib/Tools/setup
changeset 73750 6365c1b7ac10
parent 73749 e16133a05458
child 73751 2d00ea4972d7
equal deleted inserted replaced
73749:e16133a05458 73750:6365c1b7ac10
   129   export CLEAN REV ISABELLE_REPOS
   129   export CLEAN REV ISABELLE_REPOS
   130   exec bash -c '
   130   exec bash -c '
   131     set -e
   131     set -e
   132     "${HG:-hg}" -R "$ISABELLE_HOME" pull -r "$REV" "$ISABELLE_REPOS"
   132     "${HG:-hg}" -R "$ISABELLE_HOME" pull -r "$REV" "$ISABELLE_REPOS"
   133     "${HG:-hg}" -R "$ISABELLE_HOME" update -r "$REV" $CLEAN
   133     "${HG:-hg}" -R "$ISABELLE_HOME" update -r "$REV" $CLEAN
   134     isabelle components -a
   134     env ISABELLE_SETTINGS_PRESENT="" \
       
   135       ISABELLE_SITE_SETTINGS_PRESENT="" \
       
   136       ISABELLE_COMPONENTS="" \
       
   137       ISABELLE_COMPONENTS_MISSING="" \
       
   138       isabelle components -a
   135     "${HG:-hg}" -R "$ISABELLE_HOME" log -r "$REV"
   139     "${HG:-hg}" -R "$ISABELLE_HOME" log -r "$REV"
   136     if [ ! -f "$ISABELLE_HOME/lib/Tools/setup" ]; then
   140     if [ ! -f "$ISABELLE_HOME/lib/Tools/setup" ]; then
   137       echo >&2 "### The isabelle setup tool has disappeared in this version"
   141       echo >&2 "### The isabelle setup tool has disappeared in this version"
   138     fi
   142     fi
   139   '
   143   '