Admin/make_everything
author huffman
Mon May 14 09:27:24 2007 +0200 (2007-05-14)
changeset 22961 e499ded5d0fc
parent 17572 81fcc0029761
permissions -rwxr-xr-x
remove redundant lemmas
     1 #!/usr/bin/env bash
     2 #
     3 # $Id$
     4 #
     5 # make_everything -- an adhoc script that demonstrates the general procedure
     6 #   of creating the Isabelle distribution and WWW site
     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 website && make && cd .. && rm -rf website
    37 
    38 date