[Buildroot] [PATCH 5/5] xenomai: install in /usr

[Peter Korsgaard]

>>>>> "Thomas" == Thomas Petazzoni <thomas.petazzoni at free-electrons.com> writes:

 Thomas> By default, Xenomai installs everything with --prefix=/usr/xenomai,
 Thomas> and passing --prefix=/usr doesn't work because installing Xenomai
 Thomas> headers in /usr/include creates conflicts with other headers. However,
 Thomas> passing --prefix=/usr and --includedir=/usr/include/xenomai just works
 Thomas> fine. This allows to use the default configure command of the
 Thomas> AUTOTARGETS infrastructure, and allows to install the Xenomai headers
 Thomas> and libraries into more usual locations. Furthermore, it allows to
 Thomas> remove the documentation/headers removal hooks, as well as the
 Thomas> ld.so.conf hook since now everything is installed in standard
 Thomas> locations.

Committed, thanks.

-- 
Bye, Peter Korsgaard