equal
deleted
inserted
replaced
|
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 |