Mercurial > hg > graal-compiler
annotate doxygen.sh @ 3631:1ae6a886a45f
IdealGraphVisualizer: default to panning when dragging with the left mouse button. Switching between the panning and selection modes can be done via new toolbar buttons similar to popular document viewers. Selection mode can also be temporarily enabled by holding the shift key before/while dragging.
author | Peter Hofer <peter.hofer@jku.at> |
---|---|
date | Mon, 14 Nov 2011 18:14:13 +0100 |
parents | 6d843cdd0bed |
children |
rev | line source |
---|---|
2627
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
1 #!/bin/bash |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
2 |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
3 if [ -z "${MAXINE}" ]; then |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
4 echo "MAXINE is not defined. It must point to a maxine repository directory." |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
5 exit 1; |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
6 fi |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
7 if [ -z "${GRAAL}" ]; then |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
8 echo "GRAAL is not defined. It must point to a maxine repository directory." |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
9 exit 1; |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
10 fi |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
11 |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
12 # Resolve location of this script |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
13 me="${BASH_SOURCE[0]}" |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
14 while [ -h "$me" ]; do |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
15 me=`readlink -e "$me"` |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
16 done |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
17 script_home=$(cd `dirname $me`; pwd)/doc/doxygen |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
18 |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
19 echo "script home: $script_home" |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
20 echo "removing temp dirs" |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
21 |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
22 rm -r $script_home/src |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
23 rm -r $script_home/html |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
24 rm -r $script_home/latex |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
25 |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
26 echo "collecting sources" |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
27 mkdir -p $script_home/src |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
28 cp -r $GRAAL/graal/GraalCompiler/src/* $script_home/src/ |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
29 cp -r $GRAAL/graal/GraalGraph/src/* $script_home/src/ |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
30 cp -r $MAXINE/CRI/src/* $script_home/src/ |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
31 |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
32 echo "preparing sources" |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
33 find $script_home/src/ -type f -print0 | xargs -0 sed -i 's/{@code \([^}]*\)}/\1/g' |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
34 find $script_home/src/ -type f -print0 | xargs -0 sed -i 's/{@code/ /g' |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
35 |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
36 pushd $script_home |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
37 echo "running doxygen" |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
38 doxygen ../graal.doxy > out.txt 2> err.txt |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
39 cat err.txt | grep -v "unable to resolve link" | grep -v "expected whitespace" | grep -v ACCESSOR | grep -v "not documented" > errors.txt |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
40 rm err.txt |
6d843cdd0bed
added doxygen script and config file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
41 popd |