diff -r 635a8375227d -r 28b154307c0d tools/Makefile.am
--- a/tools/Makefile.am	Mon Feb 23 11:48:47 2009 +0000
+++ b/tools/Makefile.am	Mon Feb 23 11:49:57 2009 +0000
@@ -1,6 +1,7 @@
 if WANT_TOOLS
 
 bin_PROGRAMS += \
+	tools/dimacs-solver \
 	tools/dimacs-to-lgf \
 	tools/lgf-gen
 
@@ -8,5 +9,6 @@
 
 endif WANT_TOOLS
 
+tools_dimacs_solver_SOURCES = tools/dimacs-solver.cc
 tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc
 tools_lgf_gen_SOURCES = tools/lgf-gen.cc