This configuration file has been generated for you by EiffelBuild.