Admin/make_everything

--- /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