[EMAIL PROTECTED] wrote:
> thank you for the hint to the vxworks-skin-examples
> (ksrc/skins/vxworks/demos/)
> Unfortunately a new problem occured with these examples :
> Executing the Makefile, I get the following Error-Message :
>
> ------------
> ppc-linux-gcc -o satch satch.c -I. -I~/xenomai-2.1-rc2/_install/include -O2
> -D_GNU_SOURCE -D_REENTRANT -D__XENO__ -Wall -pipe -D__XENO_UVM__
> -u__xeno_skin_init -L~/xenomai-2.1-rc2/_install/lib -luvm -lnucleus
> -lpthread -lvxworks
> /opt/eldk/usr/bin/../lib/gcc-lib/ppc-linux/3.2.2/../../../../ppc-linux/bin/ld:
> cannot find -lvxworks
> collect2: ld returned 1 exit status
> make: *** [satch] Fehler 1
> ---------
>
> As far as I understand, gcc is looking for library called vxworks.
> Unfortunately such a library is not generated by the Xenomai build process
> (I could not find it anywhere in the install-directory, nor in the
> Xenomai-directory, nor in the kernel-directory, although I configured the
> vxWorks-skin to be generated as a module in the kernel configuration (make
> menuconfig)). Having a look in the Xenomai/src/skin/vxworks-directory, there
> are no source files at all, in contrast to all other skins. Is this
> intentional, or are the sources missing ?
> Could you give me a hint, where I can find the vxworks library or how I can
> generate it. Of course I could have a look in the makefile sources, but as I
> am not an expert in Makefiles and autoconfiguration, this would take quite a
> long time. Therefore I would appreciate your help very much, even if my
> question should be silly.
>
libvxworks is generated only when UVM are enabled. You need to enable
building the UVM skin as a kernel module using menuconfig, and build
user-space libraries for the UVM skin using the configure option
--enable-uvm.
--
Gilles Chanteperdrix.
