Skip to content

#803 Can't install dune-common without doxygen installed

Metadata

Property Value
Reported by Oliver Sander (oliver.sander@tu-dresden.de)
Reported at Jun 14, 2010 08:35
Type Bug Report
Version Git (pre2.4) [autotools]
Operating System Unspecified / All
Last edited by Christian Engwer (christi@conan.iwr.uni-heidelberg.de)
Last edited at May 2, 2011 17:37
Closed by Christian Engwer (christi@conan.iwr.uni-heidelberg.de)
Closed at May 2, 2011 17:37
Closed in version Unknown
Resolution Fixed
Comment in r6435

Description

I just tried to build and installed a fresh copy of the dune-common trunk. Installation failed, and I guess that's due to the fact that I do not have doxygen installed. The error is

test -z "/home/sander/tmp/uginst/share/doc/dune-common" || /bin/mkdir -p "/home/sander/tmp/uginst/share/doc/dune-common" make[2]: Leaving directory /home/sander/tmp/dune-common/lib' make[1]: Leaving directory /home/sander/tmp/dune-common/lib' Making install in doc make[1]: Entering directory /home/sander/tmp/dune-common/doc' Making install in devel make[2]: Entering directory /home/sander/tmp/dune-common/doc/devel' make[3]: Entering directory /home/sander/tmp/dune-common/doc/devel' make[3]: Für das Ziel »install-exec-am« ist nichts zu tun. test -z "/home/sander/tmp/uginst/share/doc/dune-common/devel" || /bin/mkdir -p "/home/sander/tmp/uginst/share/doc/dune-common/devel" make[3]: Leaving directory /home/sander/tmp/dune-common/doc/devel' make[2]: Leaving directory /home/sander/tmp/dune-common/doc/devel' Making install in doxygen make[2]: Entering directory /home/sander/tmp/dune-common/doc/doxygen' make[3]: Entering directory `/home/sander/tmp/dune-common/doc/doxygen' make[3]: Für das Ziel »install-exec-am« ist nichts zu tun. make[3]: *** Keine Regel vorhanden, um das Target »doxygen-tag«, benötigt von »install-doxygen«, zu erstellen. Schluss.