Mercurial > hg > truffle

annotate doxygen.sh @ 2960:49a8b14e9d24

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tentative change that adds successor tags.
author Thomas Wuerthinger <thomas@wuerthinger.net>
date Tue, 14 Jun 2011 16:41:27 +0200
parents 6d843cdd0bed
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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