adhoc script for creating complete Isabelle dist pages;
authorwenzelm
Wed Feb 14 19:31:05 2001 +0100 (2001-02-14)
changeset 1112144db3b518ca2
parent 11120 5254d35e4f7c
child 11122 0a258a048d8d
adhoc script for creating complete Isabelle dist pages;
Admin/make_everything
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/Admin/make_everything	Wed Feb 14 19:31:05 2001 +0100
     1.3 @@ -0,0 +1,39 @@
     1.4 +#!/bin/bash
     1.5 +#
     1.6 +# $Id$
     1.7 +#
     1.8 +# make_everything -- an adhoc script that demonstrates the general procedure
     1.9 +#   of creating the Isabelle distribution and WWW page
    1.10 +#
    1.11 +# assumptions:
    1.12 +#   - proper settings for polyml are present by magic
    1.13 +#     (e.g. via ~/isabelle/etc/settings)
    1.14 +#   - ~/tmp/isadist/contrib holds packages of external tools (polyml etc.)
    1.15 +#
    1.16 +
    1.17 +date
    1.18 +
    1.19 +REPOS=~/isabelle/src
    1.20 +DIST=~/tmp/isadist
    1.21 +
    1.22 +$REPOS/Admin/makedist ${1:---}
    1.23 +ISABELLE_DIST=$(cat $DIST/ISABELLE_DIST)
    1.24 +
    1.25 +case $(hostname) in
    1.26 +  *broy*)
    1.27 +    #Note: this causes strange behaviour with "nohup" -- better use "screen"
    1.28 +    ssh sunbroy1 ". ~/.bashrc; $REPOS/Admin/makebin $ISABELLE_DIST"
    1.29 +    ssh atbroy37 ". ~/.bashrc; $REPOS/Admin/makebin $ISABELLE_DIST"
    1.30 +    ;;
    1.31 +  *)
    1.32 +    $REPOS/Admin/makebin $ISABELLE_DIST
    1.33 +    ;;
    1.34 +esac
    1.35 +
    1.36 +cd $(dirname "$ISABELLE_DIST")
    1.37 +cp -a ../contrib .
    1.38 +
    1.39 +cd page && make
    1.40 +cd .. && rm -rf page
    1.41 +
    1.42 +date