8.1 Common Role-File Targets and Parameters

8.1.1 Make-Targets

All role-files support the following phony targets, which can be build using make <target>.

config::

Runs the menu-driven configuration utility. See Section 3 for details.

txtconfig::

Runs the configuration utility. For directories, a recursive invocation is done. See Section 3 for details.

oldconfig::

(Re)creates a configuration header file based on a prior configuration or defaults. For directories, a recursive invocation is done. See Section 3 for details.

all:

The default target. It depends on the role, what exactly is done.

install::

Installs the generated files into the installation-tree $(DROPS_STDDIR).

clean::

Deletes all intermediate files generated during compilation. This does not delete the generated targets such as binaries or libs.

cleanall::

Deletes all generated and backup files. Invokes clean::.

help::

Displays a short overview of the make-targets available with this role.

FORCE:

This target is not intended to build, but to depend on. If something depends on FORCE, it is built.

8.1.2 Required Parameters

All role-files require the following variables to be set:

L4DIR	The base directory of the L4 tree.
PKGDIR	The base directory of the package.

8.1.3 Optional Parameters

Most role files use the following variables:

SUBDIRS	used by prog.mk, lib.mk, idl.mk, doc.mk
	A list of subdirectories that will be treated specially: For each element of the list, a target will be created. If this target it called, the all-rule in the according directory will be called. Furthermore, scrub, clean and cleanall are made recursively for the specified directories. Default: unset.
DEPEND_VERBOSE	used by all roles
	If set to '@', no commands for dependency-generation will be shown. Default: unset.
DROPS_STDDIR	used by all roles
	The base-directory of the install-tree. Default: /home/drops
HAVE_LDSO	used by prog.mk, lib.mk, idl.mk
	If enabled (nonempty), dependency generation uses descent algorithms (see Section 5 for details). Only disable this option if your host system does not provide ld.so, set this option empty then. Default: y (enabled).
SHOWMESSAGES	used by all roles
	If set to "true" or "y", a short textual description for every compilation step is printed. Default: true.
VERBOSE	used by all roles
	If set to '@', the commands invoked by make will not be shown. Default: unset.

8.1.4 Provided Variables

The following variables are provided by the role files.

PKGNAME

The last part of the directory name specified in $(PKGDIR).