equal
deleted
inserted
replaced
171 same prefix (which is unlikely). |
171 same prefix (which is unlikely). |
172 |
172 |
173 --without-coin |
173 --without-coin |
174 |
174 |
175 Disable COIN-OR support. |
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"'. |