#!/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.)
date
REPOS=~/isabelle/src
DIST=~/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
;;
esac
cd $(dirname "$ISABELLE_DIST")
cp -a ../contrib .
cd website && make && cd .. && rm -rf website
date