Mercurial > hg > truffle
annotate doxygen.sh @ 3723:6c5f528c7aac
Added a copy of the mxtool to repo.
author | Doug Simon <doug.simon@oracle.com> |
---|---|
date | Fri, 16 Dec 2011 16:46:33 +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 |