Admin/make_everything
author obua
Fri, 16 Sep 2005 21:02:15 +0200
changeset 17440 df77edc4f5d0
parent 16328 49c1f9dedc56
child 17572 81fcc0029761
permissions -rwxr-xr-x
fixed HOL-light/Isabelle syntax incompatability via more protect_xxx functions
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
12721
226fc0e2e7e3 #!/usr/bin/env bash;
wenzelm
parents: 11121
diff changeset
     1
#!/usr/bin/env bash
11121
44db3b518ca2 adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff changeset
     2
#
44db3b518ca2 adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff changeset
     3
# $Id$
44db3b518ca2 adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff changeset
     4
#
44db3b518ca2 adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff changeset
     5
# make_everything -- an adhoc script that demonstrates the general procedure
16328
49c1f9dedc56 added CONTRIBUTORS
haftmann
parents: 16301
diff changeset
     6
#   of creating the Isabelle distribution and WWW site
11121
44db3b518ca2 adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff changeset
     7
#
44db3b518ca2 adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff changeset
     8
# assumptions:
44db3b518ca2 adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff changeset
     9
#   - proper settings for polyml are present by magic
44db3b518ca2 adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff changeset
    10
#     (e.g. via ~/isabelle/etc/settings)
44db3b518ca2 adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff changeset
    11
#   - ~/tmp/isadist/contrib holds packages of external tools (polyml etc.)
16328
49c1f9dedc56 added CONTRIBUTORS
haftmann
parents: 16301
diff changeset
    12
11121
44db3b518ca2 adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff changeset
    13
44db3b518ca2 adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff changeset
    14
date
44db3b518ca2 adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff changeset
    15
44db3b518ca2 adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff changeset
    16
REPOS=~/isabelle/src
44db3b518ca2 adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff changeset
    17
DIST=~/tmp/isadist
44db3b518ca2 adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff changeset
    18
44db3b518ca2 adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff changeset
    19
$REPOS/Admin/makedist ${1:---}
44db3b518ca2 adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff changeset
    20
ISABELLE_DIST=$(cat $DIST/ISABELLE_DIST)
44db3b518ca2 adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff changeset
    21
44db3b518ca2 adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff changeset
    22
case $(hostname) in
44db3b518ca2 adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff changeset
    23
  *broy*)
44db3b518ca2 adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff changeset
    24
    #Note: this causes strange behaviour with "nohup" -- better use "screen"
44db3b518ca2 adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff changeset
    25
    ssh sunbroy1 ". ~/.bashrc; $REPOS/Admin/makebin $ISABELLE_DIST"
44db3b518ca2 adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff changeset
    26
    ssh atbroy37 ". ~/.bashrc; $REPOS/Admin/makebin $ISABELLE_DIST"
44db3b518ca2 adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff changeset
    27
    ;;
44db3b518ca2 adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff changeset
    28
  *)
44db3b518ca2 adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff changeset
    29
    $REPOS/Admin/makebin $ISABELLE_DIST
44db3b518ca2 adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff changeset
    30
    ;;
44db3b518ca2 adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff changeset
    31
esac
44db3b518ca2 adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff changeset
    32
44db3b518ca2 adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff changeset
    33
cd $(dirname "$ISABELLE_DIST")
44db3b518ca2 adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff changeset
    34
cp -a ../contrib .
44db3b518ca2 adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff changeset
    35
16301
f9f2e1643593 migrated scripts to new webiste
haftmann
parents: 12721
diff changeset
    36
cd website && make && cd .. && rm -rf website
11121
44db3b518ca2 adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff changeset
    37
44db3b518ca2 adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff changeset
    38
date