# HG changeset patch
# User Akos Ladanyi <ladanyi@tmit.bme.hu>
# Date 1265907354 0
# Node ID 746469db3bd873ce44b352762a9b91a1a9ef0434
# Parent a7e93de12cbda2267756b130476b8e84572002bf
Add more information on Makefile variables (#316)
diff --git a/INSTALL b/INSTALL
|
a
|
b
|
|
| 173 | 173 | --without-coin |
| 174 | 174 | |
| 175 | 175 | Disable COIN-OR support. |
| | 176 | |
| | 177 | |
| | 178 | Makefile Variables |
| | 179 | ================== |
| | 180 | |
| | 181 | Some Makefile variables are reserved by the GNU Coding Standards for |
| | 182 | the use of the "user" â the person building the package. For instance, |
| | 183 | CXX and CXXFLAGS are such variables, and have the same meaning as |
| | 184 | explained in the previous section. These variables can be set on the |
| | 185 | command line when invoking `make' like this: |
| | 186 | `make [VARIABLE=VALUE]...' |
| | 187 | |
| | 188 | WARNINGCXXFLAGS is a non-standard Makefile variable introduced by us |
| | 189 | to hold several compiler flags related to warnings. Its default value |
| | 190 | can be overridden when invoking `make'. For example to disable all |
| | 191 | warning flags use `make WARNINGCXXFLAGS='. |
| | 192 | |
| | 193 | In order to turn off a single flag from the default set of warning |
| | 194 | flags, you can use the CXXFLAGS variable, since this is passed after |
| | 195 | WARNINGCXXFLAGS. For example to turn off `-Wold-style-cast' (which is |
| | 196 | used by default when g++ is detected) you can use |
| | 197 | `make CXXFLAGS="-g -O2 -Wno-old-style-cast"'. |
