#!/usr/bin/env bash## $Id$## make_everything -- an adhoc script that demonstrates the general procedure# of creating the Isabelle distribution and WWW site## assumptions:# - proper settings for polyml are present by magic# (e.g. via ~/isabelle/etc/settings)# - ~/tmp/isadist/contrib holds packages of external tools (polyml etc.)dateREPOS=~/isabelle/srcDIST=~/tmp/isadist$REPOS/Admin/makedist ${1:--}ISABELLE_DIST=$(cat $DIST/ISABELLE_DIST)case $(hostname) in *broy*) #Note: this causes strange behaviour with "nohup" -- better use "screen" ssh sunbroy1 ". ~/.bashrc; $REPOS/Admin/makebin $ISABELLE_DIST" ssh atbroy37 ". ~/.bashrc; $REPOS/Admin/makebin $ISABELLE_DIST" ;; *) $REPOS/Admin/makebin $ISABELLE_DIST ;;esaccd $(dirname "$ISABELLE_DIST")cp -a ../contrib .cd website && make && cd .. && rm -rf websitedate