Skip to content

#788 Files installed by dune-common "make install"

Metadata

Property Value
Reported by Sven Marnach (sven@pantoffel-wg.de)
Reported at May 18, 2010 11:06
Type Bug Report
Version 2.0beta
Operating System Unspecified / All
Last edited by Christian Engwer (christi@conan.iwr.uni-heidelberg.de)
Last edited at Aug 23, 2010 11:16
Closed by Christian Engwer (christi@conan.iwr.uni-heidelberg.de)
Closed at Aug 23, 2010 11:16
Closed in version Unknown
Resolution Fixed
Comment

Description

There are some issues with the installed files after "make install". In the directory /usr/bin, the following files are installed:

usr/bin/duneproject usr/bin/dunemodules.inc usr/bin/dunedoxynize usr/bin/dune-autogen usr/bin/dunecontrol usr/bin/mpi-config

The files dunemodules.inc, dunedoxynize and dune-autogen do not belong there, because they are not meant to be called by the user (at least I did not call any of these directly in several years of DUNE usage). Furthermore, mpi-config should probably be renamed to "dune-mpi-config" for consistency and least surprise.

Furthermore, the empty directory "/usr/share/doc/dune-common/buildsystem" is installed, which does not seem to be intended.