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"'.  |