if WANT_TOOLS bin_PROGRAMS += \ tools/dimacs-solver \ tools/dimacs-to-lgf \ tools/lgf-gen dist_bin_SCRIPTS += tools/lemon-0.x-to-1.x.sh endif WANT_TOOLS tools_dimacs_solver_SOURCES = tools/dimacs-solver.cc tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc tools_lgf_gen_SOURCES = tools/lgf-gen.cc