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