diff options
| author | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2011-09-19 22:10:56 +0200 |
|---|---|---|
| committer | Peter Korsgaard <jacmet@sunsite.dk> | 2011-09-20 22:20:26 +0200 |
| commit | c2a43fb12a089453f0054a53905ec11406ec93ba (patch) | |
| tree | 8d91eeae06ba4fb6b4c61d2c040be5886e32085e /package/games | |
| parent | 3d9979692334c917bc8c807e93d78a47849c1e06 (diff) | |
xenomai: install in /usr
By default, Xenomai installs everything with --prefix=/usr/xenomai,
and passing --prefix=/usr doesn't work because installing Xenomai
headers in /usr/include creates conflicts with other headers. However,
passing --prefix=/usr and --includedir=/usr/include/xenomai just works
fine. This allows to use the default configure command of the
AUTOTARGETS infrastructure, and allows to install the Xenomai headers
and libraries into more usual locations. Furthermore, it allows to
remove the documentation/headers removal hooks, as well as the
ld.so.conf hook since now everything is installed in standard
locations.
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
Diffstat (limited to 'package/games')
0 files changed, 0 insertions, 0 deletions