author | haftmann |
Tue, 12 May 2009 19:30:33 +0200 | |
changeset 31125 | 80218ee73167 |
parent 30700 | dc38bb27df50 |
child 31620 | b0f6168d2b25 |
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 |
# Author: Makarius |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
4 |
# |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
5 |
# DESCRIPTION: Standard statistics. |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
6 |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
7 |
THIS=$(cd "$(dirname "$0")"; pwd -P) |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
8 |
|
30700
dc38bb27df50
process at-sml-dev last -- takes very long (why?);
wenzelm
parents:
30616
diff
changeset
|
9 |
PLATFORMS="at-poly at64-poly at-poly-5.1-para-e at64-poly-5.1-para at-mac-poly-5.1-para afp at-sml-dev" |
24831
887d1b32a1a5
cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents:
24489
diff
changeset
|
10 |
|
887d1b32a1a5
cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents:
24489
diff
changeset
|
11 |
ISABELLE_SESSIONS="\ |
27448 | 12 |
HOL-Plain \ |
28530 | 13 |
HOL-Main \ |
22410
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
14 |
HOL \ |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
15 |
HOL-Algebra \ |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
16 |
HOL-Auth \ |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
17 |
HOL-Bali \ |
30111 | 18 |
HOL-Decision_Procs \ |
22410
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 \ |
26172 | 23 |
HOL-Library \ |
24489 | 24 |
HOL-MetisExamples \ |
22410
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
25 |
HOL-MicroJava \ |
27478 | 26 |
HOL-NSA \ |
23443 | 27 |
HOL-Nominal-Examples \ |
22410
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
28 |
HOL-NumberTheory \ |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
29 |
HOL-SET-Protocol \ |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
30 |
HOL-UNITY \ |
27478 | 31 |
HOL-Word \ |
22410
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
32 |
HOL-ex \ |
30616 | 33 |
HOLCF \ |
34 |
IOA \ |
|
22410
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
35 |
ZF \ |
29283 | 36 |
ZF-Constructible \ |
22410
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
37 |
ZF-UNITY" |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
38 |
|
24831
887d1b32a1a5
cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents:
24489
diff
changeset
|
39 |
AFP_SESSIONS="\ |
29283 | 40 |
CoreC++ \ |
41 |
HOL-BytecodeLogicJmlTypes \ |
|
42 |
HOL-DiskPaxos \ |
|
43 |
HOL-Fermat3_4 \ |
|
44 |
HOL-Flyspeck-Tame \ |
|
45 |
HOL-Group-Ring-Module \ |
|
46 |
HOL-Jinja \ |
|
47 |
HOL-JinjaThreads \ |
|
48 |
HOL-JiveDataStoreModel \ |
|
49 |
HOL-POPLmark-deBruijn \ |
|
50 |
HOL-Program-Conflict-Analysis \ |
|
51 |
HOL-RSAPSS \ |
|
52 |
HOL-Recursion-Theory-I \ |
|
53 |
HOL-SATSolverVerification \ |
|
54 |
HOL-SIFPL \ |
|
55 |
HOL-SenSocialChoice \ |
|
56 |
HOL-Slicing \ |
|
57 |
HOL-SumSquares \ |
|
58 |
HOL-Topology \ |
|
59 |
HOL-Valuation \ |
|
60 |
LinearQuantifierElim \ |
|
61 |
Simpl \ |
|
62 |
Simpl-BDD" |
|
24831
887d1b32a1a5
cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents:
24489
diff
changeset
|
63 |
|
22410
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
64 |
for PLATFORM in $PLATFORMS |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
65 |
do |
24831
887d1b32a1a5
cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents:
24489
diff
changeset
|
66 |
if [ "$PLATFORM" = afp ]; then |
887d1b32a1a5
cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents:
24489
diff
changeset
|
67 |
SESSIONS="$AFP_SESSIONS" |
887d1b32a1a5
cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents:
24489
diff
changeset
|
68 |
else |
887d1b32a1a5
cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents:
24489
diff
changeset
|
69 |
SESSIONS="$ISABELLE_SESSIONS" |
887d1b32a1a5
cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents:
24489
diff
changeset
|
70 |
fi |
887d1b32a1a5
cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents:
24489
diff
changeset
|
71 |
|
22410
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
72 |
"$THIS/isatest-statistics" "stats/$PLATFORM" "$PLATFORM" ${1:-100} $SESSIONS |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
73 |
cat > "stats/$PLATFORM.html" <<EOF |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
74 |
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN"> |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
75 |
<html> |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
76 |
<head><title>Development Snapshot -- Performance Statistics</title></head> |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
77 |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
78 |
<body> |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
79 |
<h1>$PLATFORM</h1> |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
80 |
EOF |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
81 |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
82 |
for SESSION in $SESSIONS |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
83 |
do |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
84 |
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
|
85 |
done |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
86 |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
87 |
echo "</body>" >> "stats/$PLATFORM.html" |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
88 |
echo "</html>" >> "stats/$PLATFORM.html" |
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
89 |
|
da313b67a04d
moved all isatest/cron job related files to own directory
kleing
parents:
diff
changeset
|
90 |
done |