| author | haftmann |
| Wed, 02 Jan 2008 15:14:02 +0100 | |
| changeset 25762 | c03e9d04b3e4 |
| parent 25547 | ffa6e91b7add |
| child 26172 | fa302c5bc2f2 |
| permissions | -rwxr-xr-x |
|
22410
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
1 |
#!/usr/bin/env bash |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
2 |
# |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
3 |
# $Id$ |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
4 |
# Author: Makarius |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
5 |
# |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
6 |
# DESCRIPTION: Standard statistics. |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
7 |
|
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
8 |
THIS=$(cd "$(dirname "$0")"; pwd -P) |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
9 |
|
| 25547 | 10 |
PLATFORMS="at-poly at-sml-dev at64-poly at64-poly-5.1-para at-mac-poly-5.1-para afp" |
|
24831
887d1b32a1a5
cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents:
24489
diff
changeset
|
11 |
|
|
887d1b32a1a5
cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents:
24489
diff
changeset
|
12 |
ISABELLE_SESSIONS="\ |
|
22410
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
13 |
HOL \ |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
14 |
HOL-Algebra \ |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
15 |
HOL-Auth \ |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
16 |
HOL-Bali \ |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
17 |
HOL-Complex \ |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
18 |
HOL-Complex-ex \ |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
19 |
HOL-Extraction \ |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
20 |
HOL-Hoare \ |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
21 |
HOL-HoareParallel \ |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
22 |
HOL-Lambda \ |
| 24489 | 23 |
HOL-MetisExamples \ |
|
22410
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
24 |
HOL-MicroJava \ |
| 23443 | 25 |
HOL-Nominal-Examples \ |
|
22410
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
26 |
HOL-NumberTheory \ |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
27 |
HOL-SET-Protocol \ |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
28 |
HOL-UNITY \ |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
29 |
HOL-ex \ |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
30 |
ZF \ |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
31 |
ZF-Constructible\ |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
32 |
ZF-UNITY" |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
33 |
|
|
24831
887d1b32a1a5
cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents:
24489
diff
changeset
|
34 |
AFP_SESSIONS="\ |
|
887d1b32a1a5
cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents:
24489
diff
changeset
|
35 |
CoreC++\ |
|
887d1b32a1a5
cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents:
24489
diff
changeset
|
36 |
HOL-DiskPaxos\ |
|
887d1b32a1a5
cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents:
24489
diff
changeset
|
37 |
HOL-Fermat3_4\ |
|
887d1b32a1a5
cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents:
24489
diff
changeset
|
38 |
HOL-Flyspeck-Tame\ |
|
887d1b32a1a5
cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents:
24489
diff
changeset
|
39 |
HOL-Group-Ring-Module\ |
|
887d1b32a1a5
cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents:
24489
diff
changeset
|
40 |
HOL-Jinja\ |
|
887d1b32a1a5
cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents:
24489
diff
changeset
|
41 |
HOL-JiveDataStoreModel\ |
|
887d1b32a1a5
cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents:
24489
diff
changeset
|
42 |
HOL-POPLmark-deBruijn\ |
|
887d1b32a1a5
cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents:
24489
diff
changeset
|
43 |
HOL-RSAPSS\ |
|
887d1b32a1a5
cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents:
24489
diff
changeset
|
44 |
HOL-SumSquares\ |
|
887d1b32a1a5
cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents:
24489
diff
changeset
|
45 |
HOL-Valuation" |
|
887d1b32a1a5
cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents:
24489
diff
changeset
|
46 |
|
|
22410
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
47 |
for PLATFORM in $PLATFORMS |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
48 |
do |
|
24831
887d1b32a1a5
cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents:
24489
diff
changeset
|
49 |
if [ "$PLATFORM" = afp ]; then |
|
887d1b32a1a5
cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents:
24489
diff
changeset
|
50 |
SESSIONS="$AFP_SESSIONS" |
|
887d1b32a1a5
cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents:
24489
diff
changeset
|
51 |
else |
|
887d1b32a1a5
cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents:
24489
diff
changeset
|
52 |
SESSIONS="$ISABELLE_SESSIONS" |
|
887d1b32a1a5
cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents:
24489
diff
changeset
|
53 |
fi |
|
887d1b32a1a5
cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents:
24489
diff
changeset
|
54 |
|
|
22410
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
55 |
"$THIS/isatest-statistics" "stats/$PLATFORM" "$PLATFORM" ${1:-100} $SESSIONS
|
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
56 |
cat > "stats/$PLATFORM.html" <<EOF |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
57 |
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN"> |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
58 |
<html> |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
59 |
<head><title>Development Snapshot -- Performance Statistics</title></head> |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
60 |
|
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
61 |
<body> |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
62 |
<h1>$PLATFORM</h1> |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
63 |
EOF |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
64 |
|
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
65 |
for SESSION in $SESSIONS |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
66 |
do |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
67 |
echo "<br><img src="$PLATFORM/$SESSION.png"><br>" >> "stats/$PLATFORM.html" |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
68 |
done |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
69 |
|
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
70 |
echo "</body>" >> "stats/$PLATFORM.html" |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
71 |
echo "</html>" >> "stats/$PLATFORM.html" |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
72 |
|
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
73 |
done |