Mercurial > hg > truffle
annotate doxygen.sh @ 3609:e43bd78ca3a4
IdealGraphVisualizer: the context menu of graph nodes includes submenus for predecessors and successors. Recursively building them ahead of time can incur heavy delays even with limited recursion depth. Instead, build these menus on demand, i.e. when the user opens a particular submenu.
author | Peter Hofer <peter.hofer@jku.at> |
---|---|
date | Wed, 02 Nov 2011 15:37:40 +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 |