r563:dab9e610e37d
173 B
text/plain
1 2 3 4 5 6 7 8 9 10
if WANT_TOOLS bin_PROGRAMS += \ tools/dimacs-to-lgf dist_bin_SCRIPTS += tools/lemon-0.x-to-1.x.sh endif WANT_TOOLS tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc
