Admin/make_everything
author wenzelm
Fri Oct 12 12:08:04 2001 +0200 (2001-10-12)
changeset 11729 a7da2e8b5762
parent 11121 44db3b518ca2
child 12721 226fc0e2e7e3
permissions -rwxr-xr-x
removed read_inst', no longer export insts';
     1 #!/bin/bash
     2 #
     3 # $Id$
     4 #
     5 # make_everything -- an adhoc script that demonstrates the general procedure
     6 #   of creating the Isabelle distribution and WWW page
     7 #
     8 # assumptions:
     9 #   - proper settings for polyml are present by magic
    10 #     (e.g. via ~/isabelle/etc/settings)
    11 #   - ~/tmp/isadist/contrib holds packages of external tools (polyml etc.)
    12 #
    13 
    14 date
    15 
    16 REPOS=~/isabelle/src
    17 DIST=~/tmp/isadist
    18 
    19 $REPOS/Admin/makedist ${1:---}
    20 ISABELLE_DIST=$(cat $DIST/ISABELLE_DIST)
    21 
    22 case $(hostname) in
    23   *broy*)
    24     #Note: this causes strange behaviour with "nohup" -- better use "screen"
    25     ssh sunbroy1 ". ~/.bashrc; $REPOS/Admin/makebin $ISABELLE_DIST"
    26     ssh atbroy37 ". ~/.bashrc; $REPOS/Admin/makebin $ISABELLE_DIST"
    27     ;;
    28   *)
    29     $REPOS/Admin/makebin $ISABELLE_DIST
    30     ;;
    31 esac
    32 
    33 cd $(dirname "$ISABELLE_DIST")
    34 cp -a ../contrib .
    35 
    36 cd page && make
    37 cd .. && rm -rf page
    38 
    39 date