tools/Makefile.am
changeset 573 28b154307c0d
parent 570 d9e43511d11c
child 721 0cd6d84103a4
     1.1 --- a/tools/Makefile.am	Mon Feb 23 11:48:47 2009 +0000
     1.2 +++ b/tools/Makefile.am	Mon Feb 23 11:49:57 2009 +0000
     1.3 @@ -1,6 +1,7 @@
     1.4  if WANT_TOOLS
     1.5  
     1.6  bin_PROGRAMS += \
     1.7 +	tools/dimacs-solver \
     1.8  	tools/dimacs-to-lgf \
     1.9  	tools/lgf-gen
    1.10  
    1.11 @@ -8,5 +9,6 @@
    1.12  
    1.13  endif WANT_TOOLS
    1.14  
    1.15 +tools_dimacs_solver_SOURCES = tools/dimacs-solver.cc
    1.16  tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc
    1.17  tools_lgf_gen_SOURCES = tools/lgf-gen.cc