1.1 --- a/demo/Makefile.am	Tue Oct 09 17:46:06 2007 +0000
     1.2 +++ b/demo/Makefile.am	Fri Oct 12 22:19:03 2007 +0000
     1.3 @@ -114,4 +114,5 @@
     1.4  
     1.5  demo_sat_2_SOURCES=demo/sat-2.cc
     1.6  
     1.7 -demo_sat_SOURCES=demo/sat.cc
     1.8 \ No newline at end of file
     1.9 +demo_sat_SOURCES=demo/sat.cc
    1.10 +demo_sat_CXXFLAGS = $(GLPK_CFLAGS) $(CPLEX_CFLAGS)