1.1 --- a/tools/Makefile.am	Mon Jan 12 23:11:39 2009 +0100
     1.2 +++ b/tools/Makefile.am	Thu Nov 05 15:48:01 2009 +0100
     1.3 @@ -1,10 +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 -	tools/dimacs-to-lgf
    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