Mercurial > hg > graal-compiler
annotate doxygen.sh @ 3101:6ccb95c97e6d
IdealGraphVisualizer: Work around a problem with JSplitPane and the NetBeans editor: setDividerLocation() doesn't work when the split pane has not been layouted and painted yet. JSplitPane then initially uses a tiny width for the left editor component, which causes the editor to calculate invalid offsets and constantly throw exceptions, particularly on mouse events. Thus, defer adding the two components and setting the divider's location.
author | Peter Hofer <peter.hofer@jku.at> |
---|---|
date | Thu, 30 Jun 2011 12:17:27 +0200 |
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 |