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