diff options
Diffstat (limited to 'mcs/build/README.configury')
-rw-r--r-- | mcs/build/README.configury | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/mcs/build/README.configury b/mcs/build/README.configury new file mode 100644 index 00000000000..52732e6bdad --- /dev/null +++ b/mcs/build/README.configury @@ -0,0 +1,23 @@ +Configuring the build (-*- outline -*-) +Peter Williams <peter@newton.cx> + +** Configuring the build + +It's pretty easy. You can create two files in this directory to tweak +settings: pre-config.make and config.make. + +pre-config.make is included before $(PLATFORM).make and +$(PROFILE).make, so you can set either of these variables if you want +to change the default. + +Just about any other change should go in config.make, which is +included after $(PLATFORM).make and $(PROFILE).make, so you can use +the values defined in those files if you wish. For example, + + MCS_FLAGS = $(DEFAULT_MCS_FLAGS) /my-experimental-optimizer-flag + +or something. + +(You shouldn't need to edit any of the existing Makefiles for +site-specific hacks. CVS would complain at you and `make dist' +wouldn't be happy.) |