ladanyi@674: EXTRA_DIST += \
ladanyi@674: 	tools/CMakeLists.txt
ladanyi@674: 
ladanyi@1: if WANT_TOOLS
ladanyi@1: 
alpar@385: bin_PROGRAMS += \
alpar@526: 	tools/dimacs-solver \
alpar@523: 	tools/dimacs-to-lgf \
alpar@523: 	tools/lgf-gen
alpar@385: 
alpar@310: dist_bin_SCRIPTS += tools/lemon-0.x-to-1.x.sh
ladanyi@1: 
ladanyi@1: endif WANT_TOOLS
alpar@385: 
alpar@526: tools_dimacs_solver_SOURCES = tools/dimacs-solver.cc
alpar@385: tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc
alpar@523: tools_lgf_gen_SOURCES = tools/lgf-gen.cc