Merged. Thanks for the reviews.

Fine with me.

Can we merge this?

Ok. I updated the pull request.

Perhaps we should just make DEFAULT and DEBUG more special then and go with your
previous idea: make these variables to which config names are assigned, not configs.

DEFAULT = "release32"
DEBUG = "debug32"

Ahh, its not just the log message that changes from release32 to DEFAULT. The
name of the build directory also changes. This means that

  ./build.py && ./fast-downward.py --build=release32

will no longer work. This seems worse than I thought.

I prepared a pull request on bitbucket:
https://bitbucket.org/flogo/downward-issues/pull-requests/14/issue622/diff

One small disadvantage of the new way of storing default configs is that a call
to "./build.py" (without parameters) will now report "Building configuration
DEFAULT" instead of "Building configuration release32". Similarly a call to
"./build.py --debug" will report "Building configuration DEBUG" instead of
"Building configuration debug32". I think we can live with that, though.

Malte, could you have a look (doesn't have to be on the weekend, of course)?

https://bitbucket.org/flogo/downward-issues/pull-requests/14/issue622/diff

I also want to add a new alias "minimal" that only contains the planner core and
otherwise is like release32.

The build configurations ("release32", "debug32", etc.) are currently defined in
build.py. We want to move them to a separate file. Additionally, we want that
all files with names that match a certain pattern are read in, so its possible
to define temporary files with build configurations. For example, this could be
done for an experiment within an issue branch.

We briefly talked about the naming patterns after the meeting and suggest to use
all files "*build_configs.py" in the repository root. The default configs would
be in build_configs.py and custom configs could be in
"issue622_build_configs.py" or "my_custom_build_configs.py".

For now we just want to look in the repository root directory, but we could
later also add other paths like the home directory for global configs.