comparison doxygen.sh @ 2627:6d843cdd0bed

added doxygen script and config file
author Lukas Stadler <lukas.stadler@jku.at>
date Tue, 10 May 2011 16:31:28 +0200
parents
children
comparison
equal deleted inserted replaced
2626:4663477045cb 2627:6d843cdd0bed
1 #!/bin/bash
2
3 if [ -z "${MAXINE}" ]; then
4 echo "MAXINE is not defined. It must point to a maxine repository directory."
5 exit 1;
6 fi
7 if [ -z "${GRAAL}" ]; then
8 echo "GRAAL is not defined. It must point to a maxine repository directory."
9 exit 1;
10 fi
11
12 # Resolve location of this script
13 me="${BASH_SOURCE[0]}"
14 while [ -h "$me" ]; do
15 me=`readlink -e "$me"`
16 done
17 script_home=$(cd `dirname $me`; pwd)/doc/doxygen
18
19 echo "script home: $script_home"
20 echo "removing temp dirs"
21
22 rm -r $script_home/src
23 rm -r $script_home/html
24 rm -r $script_home/latex
25
26 echo "collecting sources"
27 mkdir -p $script_home/src
28 cp -r $GRAAL/graal/GraalCompiler/src/* $script_home/src/
29 cp -r $GRAAL/graal/GraalGraph/src/* $script_home/src/
30 cp -r $MAXINE/CRI/src/* $script_home/src/
31
32 echo "preparing sources"
33 find $script_home/src/ -type f -print0 | xargs -0 sed -i 's/{@code \([^}]*\)}/\1/g'
34 find $script_home/src/ -type f -print0 | xargs -0 sed -i 's/{@code/ /g'
35
36 pushd $script_home
37 echo "running doxygen"
38 doxygen ../graal.doxy > out.txt 2> err.txt
39 cat err.txt | grep -v "unable to resolve link" | grep -v "expected whitespace" | grep -v ACCESSOR | grep -v "not documented" > errors.txt
40 rm err.txt
41 popd