| author | wenzelm |
| Thu, 08 Aug 2002 23:42:10 +0200 | |
| changeset 13478 | 9cfbcb9acfef |
| parent 12721 | 226fc0e2e7e3 |
| child 16301 | f9f2e1643593 |
| permissions | -rwxr-xr-x |
| 12721 | 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 |
|
44db3b518ca2
adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff
changeset
|
6 |
# of creating the Isabelle distribution and WWW page |
|
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.) |
|
44db3b518ca2
adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff
changeset
|
12 |
# |
|
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 |
|
|
44db3b518ca2
adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff
changeset
|
36 |
cd page && make |
|
44db3b518ca2
adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff
changeset
|
37 |
cd .. && rm -rf page |
|
44db3b518ca2
adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff
changeset
|
38 |
|
|
44db3b518ca2
adhoc script for creating complete Isabelle dist pages;
wenzelm
parents:
diff
changeset
|
39 |
date |