--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/make_everything Wed Feb 14 19:31:05 2001 +0100
@@ -0,0 +1,39 @@
+#!/bin/bash
+#
+# $Id$
+#
+# make_everything -- an adhoc script that demonstrates the general procedure
+# of creating the Isabelle distribution and WWW page
+#
+# 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 page && make
+cd .. && rm -rf page
+
+date