Re: [Xenomai] next xenomai release

[Roland Stigge <stigge@antcom.de>]

Hi Gilles,

On 16/12/12 10:04, Gilles Chanteperdrix wrote:
> the next release of Xenomai should happen soon. The changes which may
> impact the Debian packaging are:
> * changes in the configure script option, actually simplifications;
> - --enable-smp is no longer needed on x86, powerpc and arm
> - as a reminder, on the ARM architecture, passing --enable-arm-arch or
> --enable-arm-eabi is not needed either since 2.6.0, so in fact, no
> option is needed when running the configure script for the arm
> architecture. Passing the correct -march to the CFLAGS is recommended to
> generate optimized code, but starting with the future release, is not
> even mandatory.
> - this release support ARM user-space built with the thumb instruction
> set (-mthumb added to the CFLAGS, or enabled by default in the toolchain
> configuration)
> * small changes in the documentation, we introduced some asciidoc (I
> would have wanted to also move the manual pages to asciidoc, and update
> them, but it will be for the next release), the visible change is that
> an HTML version of the README.INSTALL and TROUBLESHOOTING files are now
> installed by the "make install" command in the html directory.

Thank you for the note! This really simplified my update in Debian.

I just tested a snapshot from git.xenomai.org (using xenomai-head.git
and building a test tarball with ./configure && make dist) - looks good
so far.

> I would also like to setup an apt repository to provide pre-compiled
> kernels, at least for the x86 architecture (say, for instance, i486 UP,
> i686 SMP, x86_64 SMP), as well as the user-space packages, so, would be
> interested in documentation URLs.

For setting up an apt-repository, I recommend using the "reprepro"
package (from Debian) which helps setting up and maintaining an apt
repo. You just need to provide individual .deb, .changes, or .dsa files
on the command line and it adds them automatically to our new repo. Just
ask if you need assistance here.

For building the packages for this repo, you ideally just build the
default Debian packages with dpkg-buildpackage and follow the
instructions in

/usr/share/doc/linux-patch-xenomai/README.Debian

to build kernels.

There is also

http://www.xenomai.org/index.php/Building_Debian_packages

I hope this answers your questions?

Looking forward to the xenomai release.

Thanks in advance,

Roland