r529:f5bc148f7e1f
231 B
text/plain
1 2 3 4 5 6 7 8 9 10 11 12
r1:51eaad3a817b r1:51eaad3a817b r385:50d96f2166d7 r523:d9e43511d11c r523:d9e43511d11c r385:50d96f2166d7 r310:a9e8f310507f r1:51eaad3a817b r1:51eaad3a817b r385:50d96f2166d7 r385:50d96f2166d7 r523:d9e43511d11c
if WANT_TOOLS bin_PROGRAMS += \ tools/dimacs-to-lgf \ tools/lgf-gen dist_bin_SCRIPTS += tools/lemon-0.x-to-1.x.sh endif WANT_TOOLS tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc tools_lgf_gen_SOURCES = tools/lgf-gen.cc