#1128 Specifying --with-duneweb breaks doxygen if wml is missing
Metadata
| Property | Value |
|---|---|
| Reported by | Markus Blatt (markus@dr-blatt.de) |
| Reported at | Jun 12, 2012 08:45 |
| Type | Bug Report |
| Version | 2.0 |
| Operating System | Unspecified / All |
| Last edited by | Christian Engwer (christi@conan.iwr.uni-heidelberg.de) |
| Last edited at | Jun 12, 2012 15:26 |
| Closed by | Christian Engwer (christi@conan.iwr.uni-heidelberg.de) |
| Closed at | Jun 12, 2012 15:26 |
| Closed in version | Unknown |
| Resolution | Fixed |
| Comment | in r6800 |
Description
When specifying --with-duneweb durng configure with no wml installed, building the doxygen documentation breaks because of missing `doxy-header.html;
if test -f ./Doxylocal && test ./Doxylocal -nt ./Doxyfile.in; then
cd ../.. && /home/mblatt/src/dune/current/dune-common/bin/dunedoxynize;
fi
set -e;
if ! test -e "doxygen-tag" ||
test x"find ../.. ( -name *.cc -o -name *.hh -o -name *.png -o -name Doxyfile -o -name modules ) -a -cnewer doxygen-tag -print" != x;
then
echo Running doxygen. This may take a while... ;
doxygen Doxyfile > doxygen.log <&-;
touch doxygen-tag ;
if test "$DOXYQUIET" != "1" && test -f doxyerr.log;
then cat doxyerr.log; fi;
if test -x "/update-doxygen.css";
then /update-doxygen.css /home/mblatt/src/dune/current/dune-common/doc/doxygen/html; fi;
fi
Running doxygen. This may take a while...
error: tag HTML_HEADER: header file doxy-header.html' does not exist make[3]: *** [doxygen-tag] Fehler 1 make[3]: Leaving directory /home/mblatt/src/dune/current/dune-common/doc/doxygen'
make[2]: *** [doc-recursive] Fehler 1
make[2]: Leaving directory /home/mblatt/src/dune/current/dune-common/doc/doxygen' make[1]: *** [doc-recursive] Fehler 1 make[1]: Leaving directory /home/mblatt/src/dune/current/dune-common/doc'
make: *** [doc-recursive] Fehler 1
It works if either wml is installed or we do not specify --with-duneweb