summaryrefslogtreecommitdiff
path: root/package/games
diff options
context:
space:
mode:
authorThomas Petazzoni <thomas.petazzoni@free-electrons.com>2011-09-19 22:10:56 +0200
committerPeter Korsgaard <jacmet@sunsite.dk>2011-09-20 22:20:26 +0200
commitc2a43fb12a089453f0054a53905ec11406ec93ba (patch)
tree8d91eeae06ba4fb6b4c61d2c040be5886e32085e /package/games
parent3d9979692334c917bc8c807e93d78a47849c1e06 (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