next up previous contents
Next: Available options Up: Creating a configuration Previous: Creating a configuration   Contents

Configuration options

There are three ways to pass options to the configuration process.

  1. Create a file ~ /.cactus/config.

    All available configuration options may be set in the file ~ /.cactus/config, any which are not set will take a default value. The file should contain lines of the form:

    <option> [=] ...

    The equals sign is optional.

  2. Add the options to a configuration file and use,

    gmake <config>-config options=<filename>

    The options file has the same format as ~ /.cactus/config.

  3. Pass the options individually on the command line,

    gmake <configuration name>-config <option name>=<chosen value>, ...

    Not all configuration options can be set on the command line. Those that can be set are indicated in the table below.

They are listed here in order of increasing precedence, e.g. options set on the command line will take priority over (potentially conflicting) options set in ~ /.cactus/config.

It is important to note that these methods cannot be used to, for example, add options to the default values for CFLAGS. Setting any variable in the configuration file or the command line will overwrite completely the default values.


next up previous contents
Next: Available options Up: Creating a configuration Previous: Creating a configuration   Contents