![]() |
L4Re Operating System Framework
Interface and Usage Documentation
|
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
.
Supports the specification of special filenames to allow for different source and target filenames to be installed. The syntax is TARGET<SRC
, where a filename including the path of SRC
is installed as TARGET
. An example is
libfoo.h<contrib/libfoo_linux.h
which installs the header from the contrib directory under the name without that contrib directory and without the platform specific suffix.
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.
The filenames specified allow for the same rule specifications as supported by TARGET
.
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.