2014-08-13 10:39:27 +01:00
|
|
|
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.
|
|
|
|
|
2017-08-21 15:34:15 +00:00
|
|
|
pre-config.make is included before $(BUILD_PLATFORM).make and
|
2014-08-13 10:39:27 +01:00
|
|
|
$(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
|
2017-08-21 15:34:15 +00:00
|
|
|
included after $(BUILD_PLATFORM).make and $(PROFILE).make, so you can use
|
2014-08-13 10:39:27 +01:00
|
|
|
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.)
|