# HG changeset patch
# User wenzelm
# Date 982175465 -3600
# Node ID 44db3b518ca2b0db0bf47a65fc87b31cae886381
# Parent  5254d35e4f7cdd190ef90fac89d59ebc6b5e79a2
adhoc script for creating complete Isabelle dist pages;

diff -r 5254d35e4f7c -r 44db3b518ca2 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