1.1 --- a/tools/Makefile.am	Fri Nov 13 12:33:33 2009 +0100
     1.2 +++ b/tools/Makefile.am	Thu Dec 10 17:05:35 2009 +0100
     1.3 @@ -1,6 +1,17 @@
     1.4 +EXTRA_DIST += \
     1.5 +	tools/CMakeLists.txt
     1.6 +
     1.7  if WANT_TOOLS
     1.8  
     1.9 -bin_PROGRAMS +=
    1.10 +bin_PROGRAMS += \
    1.11 +	tools/dimacs-solver \
    1.12 +	tools/dimacs-to-lgf \
    1.13 +	tools/lgf-gen
    1.14 +
    1.15  dist_bin_SCRIPTS += tools/lemon-0.x-to-1.x.sh
    1.16  
    1.17  endif WANT_TOOLS
    1.18 +
    1.19 +tools_dimacs_solver_SOURCES = tools/dimacs-solver.cc
    1.20 +tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc
    1.21 +tools_lgf_gen_SOURCES = tools/lgf-gen.cc