1.1 --- a/INSTALL	Fri Aug 09 11:07:27 2013 +0200
     1.2 +++ b/INSTALL	Sun Aug 11 15:28:12 2013 +0200
     1.3 @@ -173,3 +173,25 @@
     1.4  --without-coin
     1.5  
     1.6     Disable COIN-OR support.
     1.7 +
     1.8 +
     1.9 +Makefile Variables
    1.10 +==================
    1.11 +
    1.12 +Some Makefile variables are reserved by the GNU Coding Standards for
    1.13 +the use of the "user" - the person building the package. For instance,
    1.14 +CXX and CXXFLAGS are such variables, and have the same meaning as
    1.15 +explained in the previous section. These variables can be set on the
    1.16 +command line when invoking `make' like this:
    1.17 +`make [VARIABLE=VALUE]...'
    1.18 +
    1.19 +WARNINGCXXFLAGS is a non-standard Makefile variable introduced by us
    1.20 +to hold several compiler flags related to warnings. Its default value
    1.21 +can be overridden when invoking `make'. For example to disable all
    1.22 +warning flags use `make WARNINGCXXFLAGS='.
    1.23 +
    1.24 +In order to turn off a single flag from the default set of warning
    1.25 +flags, you can use the CXXFLAGS variable, since this is passed after
    1.26 +WARNINGCXXFLAGS. For example to turn off `-Wold-style-cast' (which is
    1.27 +used by default when g++ is detected) you can use
    1.28 +`make CXXFLAGS="-g -O2 -Wno-old-style-cast"'.