diff -r c35afa9e89e7 -r ef88c0a30f85 tools/Makefile.am
--- a/tools/Makefile.am	Mon Jan 12 23:11:39 2009 +0100
+++ b/tools/Makefile.am	Thu Nov 05 15:48:01 2009 +0100
@@ -1,10 +1,17 @@
+EXTRA_DIST += \
+	tools/CMakeLists.txt
+
 if WANT_TOOLS
 
 bin_PROGRAMS += \
-	tools/dimacs-to-lgf
+	tools/dimacs-solver \
+	tools/dimacs-to-lgf \
+	tools/lgf-gen
 
 dist_bin_SCRIPTS += tools/lemon-0.x-to-1.x.sh
 
 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