diff -r c6acc34f98dc -r 1a7fe3bef514 tools/Makefile.am
--- a/tools/Makefile.am	Fri Oct 16 10:21:37 2009 +0200
+++ b/tools/Makefile.am	Thu Nov 05 15:50:01 2009 +0100
@@ -1,6 +1,17 @@
+EXTRA_DIST += \
+	tools/CMakeLists.txt
+
 if WANT_TOOLS
 
-bin_PROGRAMS +=
+bin_PROGRAMS += \
+	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