# HG changeset patch
# User ladanyi
# Date 1192227543 0
# Node ID 839c74eeba84ddaeb5a7d7f4d6fc0a507514aaaa
# Parent  6231d9d3957b898f32730eb3e3dcf39087d3918f
Makefile fix.

diff -r 6231d9d3957b -r 839c74eeba84 demo/Makefile.am
--- a/demo/Makefile.am	Tue Oct 09 17:46:06 2007 +0000
+++ b/demo/Makefile.am	Fri Oct 12 22:19:03 2007 +0000
@@ -114,4 +114,5 @@
 
 demo_sat_2_SOURCES=demo/sat-2.cc
 
-demo_sat_SOURCES=demo/sat.cc
\ No newline at end of file
+demo_sat_SOURCES=demo/sat.cc
+demo_sat_CXXFLAGS = $(GLPK_CFLAGS) $(CPLEX_CFLAGS)