#1125 make install fails when using --disable-documentation
Metadata
| Property | Value |
|---|---|
| Reported by | Martin Rueckl (mrueckl@physik.hu-berlin.de) |
| Reported at | Jun 8, 2012 11:24 |
| 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 | Oct 5, 2012 14:31 |
| Closed by | Christian Engwer (christi@conan.iwr.uni-heidelberg.de) |
| Closed at | Oct 5, 2012 14:31 |
| Closed in version | Unknown |
| Resolution | Fixed |
| Comment |
Description
Hi Dune Team I do compile my dune modules with
./dune-common/bin/dunecontrol --opts=parallel.opts all which works fine. After compiling is want to install the modules with sudo ./dune-common/bin/dunecontrol make install Unfortunatly this fails when using "--disable-documentation" in the parallel.opts file. "make install" will try to copy the missing documentation to the prefix folder
Greetings Martin
Dune Modules (all trunk): dune-common ---Revision: 6791 dune-geometry ---Revision: 100 dune-grid ---Revision: 8215 dune-localfunctions ---Revision: 1067 dune-istl ---Revision: 1619 dune-pdelab ---Revision: 2076
parallel.opts: CONFIGURE_FLAGS="PKG_CONFIG=/usr/bin/pkg-config CXX=mpicxx CC=mpicc CXXFLAGS="-ffast-math -O3" --with-grid-dim=3 --with-grid-type=UGGRID --disable-documentation --enable-fieldvector-size-is-method --disable-dunedevel --enable-parallel --with-ug=/home/mrueckl/UG/parallel5 --prefix=/usr/local/dune/parallel --cache-file=/home/mrueckl/dune/parallel.cache"