On 03/03/2015 06:03 PM, Philippe Gerum wrote: > On 03/03/2015 05:38 PM, Helder Daniel wrote: >> >> On 3 March 2015 at 15:44, Philippe Gerum <[email protected] >> <mailto:[email protected]>> wrote: >> >> On 03/03/2015 04:40 PM, Helder Daniel wrote: >> > I did not set --prefix. >> > I assumed the default value will be applied: /usr/xenomai >> >> This is the case, unless something goes wrong while configuring. Can you >> check the value reported in the config log when running the configure >> script? >> >> >> >> this is the last 20 lines of config.log. Exit status is 0. >> SO it appear that configuring was done properly. > > No, this does not prove that all settings were sane. $prefix is clearly > not right in this case, since CONFIG_XENO_PREFIX basically mirrors it. > >> but: #define CONFIG_XENO_PREFIX "NONE" >> maybe that's the problem? > > Yes, it is for sure the problem. CONFIG_XENO_PREFIX is set to the > $prefix value from the autoconf script. Please attach the file > config.log which was generated by the configure script. >
In addition, please send the output of /usr/xenomai/sbin/version -a. -- Philippe. _______________________________________________ Xenomai mailing list [email protected] http://www.xenomai.org/mailman/listinfo/xenomai
