L4Re - L4 Runtime Environment
include.mk - Header File Role

The header file role is responsible for installing header file at the appropriate location.

The following variables can be used for customizing the process:

INCSRC_DIR

Source directory where the headers can be found. Default is the directory where the Makefile resides.

TARGET

List of header files to install. If left undefined, then INCSRC_DIR will be scanned for files with suffix .h or .i.

EXTRA_TARGET

When TARGET is undefined, then add these files to the headers found by scanning the source directory. Has no effect if TARGET has been defined.

CONTRIB_HEADERS

When set, the headers will be installed in ${BUILDDIR}/include/contrib/${PKGNAME} rather than ${BUILDDIR}/include/l4/${PKGNAME}.

INSTALL_INC_PREFIX

Base directory where to install the headers. Overwrites CONTRIB_HEADERS. The headers will then be found under ${BUILDDIR}/include/${INSTALL_INC_PREFIX}.

PC_FILENAME

When set, a pkg_config configuration file is created with the given name.