[Coin-symphony] Change to makefile

[Ted Ralphs]

Folks,

If you've done a recent CVS update, you may have noticed that the 
makefile has changed in a small, but very significant way. All of the 
variables that are meant to be set by the user have been moved to a 
separate files called "config," which is read during the make process. 
If you look at that file, it will look exactly the same as the beginning 
of the makefile used to look. The advantage of separating the user 
configuration settings from the makefile is that it is now possible to 
easily maintain multiple configurations without modifying the original 
makefile. For instance, if you want to be define a parallel make 
configuration, simply modify the variables in the "config" file 
appropriately, save it under a new file name like "config.parallel" and 
then type

make CONFIG_FILE=config.parallel

The will cause make to read the configuration settings from the new file 
instead of the old.

It's possible that you will get conflicts in your Makefile if you do a 
CVS and have modified the default Makefile. The easiest thing to do to 
resolve these is just to move you current makefile to "Makefile.tmp" and 
then do an update to get a fresh copy of both the makefile and the new 
"config" file. Then copy your settings into the config file and 
everything should keep working as before. Let me know if you have any 
questions.

Cheers,

Ted
-- 
Dr. Ted Ralphs
Assistant Professor
Industrial and Systems Engineering
Lehigh University
(610)758-4784
tkralphs at lehigh.edu
www.lehigh.edu/~tkr2