Hi,

now I'm having time to do some maintenance for the tipc-config Debian packaging.

I found that tipc_config.h is not existent on the build machines when
depending on the "linux-libc-dev" package. As I understand this
package should contain all kernel header files needed to build
applications using the kernel API.

When requesting the inclusion I was told that this should be done
upstream (i.e. by the Kernel maintainers) since "linux-libc-dev" just
uses the result of "make headers_install". As I understand all header
files are installed to /usr/include/linux when they are listed like
header-y += tipc_config.h
in the file "include/linux/Kbuild" below the kernel source tree.

While I guess I could request this directly from the Kernel folks
myself, I think someone of you should x-check if this is the correct
solution before.

Regards,
Martin

-------------------------------------------------------------------------
This SF.net email is sponsored by: Splunk Inc.
Still grepping through log files to find problems?  Stop.
Now Search log events and configuration files using AJAX and a browser.
Download your FREE copy of Splunk now >> http://get.splunk.com/
_______________________________________________
tipc-discussion mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/tipc-discussion

Reply via email to