[Xenomai-core] Re: --enable-linux-build

[Jan Kiszka <jan.kiszka@domain.hid>]

[-- Attachment #1: Type: text/plain, Size: 2179 bytes --]

Gilles Chanteperdrix wrote:
> Jan Kiszka wrote:
>  > Hi Gilles,
>  > 
>  > I just tested your new build option. Maybe I'm using it the wrong way,
>  > but I stumbled over two quirks:
>  > 
>  >  o "make install-nodev" fails as it tries to install the kernel without
>  >    being root. Actually, I only wanted to install the user space part,
>  >    how can I do this separately? Or is this rather a use-case for the
>  >    standard build?
> 
> I did not think about this case. Any idea of what would be better ? Not
> installing kernel when running "make install-nodev" ? Creating 
> install-nokernel and install-nokernel-nodev targets ?

I would suggest "make install-user" instead of "make install-nodev",
combining both -nodev and -nokernel, i.e. excluding everything that
requires root permissions.

> 
>  > 
>  >  o On every "make", the prepare-kernel script is executed -
>  >    intentionally? Maybe it would be better to provide a dedicated make
>  >    target to trigger the update.
> 
> prepare-kernel should be executed whenever any file or directory is
> added in the ksrc and include dirs. On my own machine, prepare-kernel is
> much shorter than the kernel build. So, I did not see this as an issue,
> but I am ready to accept any better solution. Maybe it could depend on
> maintainer mode ? Since the user-space will work automatically when
> adding a file or directory only if maintainer mode is enabled.
> 

Yes, this looks good - as long as it is still run on the first make or
during configure.

The point is that I have a non-developer use-case for your build mode in
mind were you do not constantly add files to the xeno code base, but
reconfigure your kernel from time to time: We have mini distribution
here which can optionally be build from source. In that case, you could
soon decide to build
 ( ) Vanilla kernel
 (*) Xenomai-extended kernel and libraries
instead of
 ( ) Vanilla kernel
 (*) Xenomai-extended kernel
   [*] Xenomai libraries
(not to speak about what currently happens in the background...)

Could make life of the maintainer and users here a bit easier.

Thanks for caring,
Jan


[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 250 bytes --]