Gilles Chanteperdrix wrote:
> On Jan 17, 2008 11:22 AM, Gilles Chanteperdrix
> <[EMAIL PROTECTED]> wrote:
>> On Jan 17, 2008 11:07 AM, Jan Kiszka <[EMAIL PROTECTED]> wrote:
>>> Hi,
>>> does anyone recall the reason for overwriting the default prefix in
>>> If not, I would suggest to kill this for the sake of
>>> standard installation layout.
>> What standard installation layout ?
>> --prefix=/usr/local or --prefix=/usr ?
> or --prefix=/opt/gnu/xenomai as mandated by the FHS ?

Unless we know for sure that a certain path is The Right One, just
leaving the decision to autotools is what I suggest. [And that should be
/usr/local IIRC.]


Siemens AG, Corporate Technology, CT SE 2
Corporate Competence Center Embedded Linux

Xenomai-core mailing list

Reply via email to