Mercurial > hg > truffle
annotate doxygen.sh @ 3237:399aa66d375e
Fixed a bug in which the valueEquals method was misused. The method does only check the equality of the node data and not full GVN equality by taking inputs and successors into account.
author | Thomas Wuerthinger <thomas@wuerthinger.net> |
---|---|
date | Wed, 27 Jul 2011 14:16:38 -0700 |
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 |