Makeconf.local's

The Make-variables to control the role-files are defined in various files: The Makefile, a local Makeconf.local, a packet-local Makeconf.local, a global Makeconf.local and a global Makeconf.bid.local. The local Makeconf.local resides within the same directory as the Makefile, the packet-local Makeconf.local is located in the top-level directory of a package, and both global Makeconf.local and Makeconf.bid.local reside in $(L4DIR).

The gobal $(L4DIR)/Makeconf.bid.local is created by the DROPS Configuration Tool (see Section 3) when called in $(L4DIR). This file is mandatory, i.e., you have to call make config and configure your DROPS tree prior to compilation. In contrast to this, the Makeconf.locals are optional, they are included if they are available. Create them with a text editor.

The Makeconf*local's should never be checked into the CVS, as they are meant to define user-specific things. Additional configuration files can be created using the DROPS Configuration Tool.

The role-files include the configuration files in the following order: global Makeconf.bid.local, global Makeconf.local, packet-local, local.