demo/Makefile.am
changeset 2494 839c74eeba84
parent 2420 07c4f9bcb4d5
child 2497 ea96c0acefc4
equal deleted inserted replaced
23:20c8c32db8ec 24:7eaed55d4c20
   113 demo_steiner_demo_SOURCES=demo/steiner_demo.cc
   113 demo_steiner_demo_SOURCES=demo/steiner_demo.cc
   114 
   114 
   115 demo_sat_2_SOURCES=demo/sat-2.cc
   115 demo_sat_2_SOURCES=demo/sat-2.cc
   116 
   116 
   117 demo_sat_SOURCES=demo/sat.cc
   117 demo_sat_SOURCES=demo/sat.cc
       
   118 demo_sat_CXXFLAGS = $(GLPK_CFLAGS) $(CPLEX_CFLAGS)