changeset 572 | 635a8375227d |
parent 400 | 50d96f2166d7 |
child 573 | 28b154307c0d |
3:f56ae6961c3c | 4:32e00d789d8b |
---|---|
1 if WANT_TOOLS |
1 if WANT_TOOLS |
2 |
2 |
3 bin_PROGRAMS += \ |
3 bin_PROGRAMS += \ |
4 tools/dimacs-to-lgf |
4 tools/dimacs-to-lgf \ |
5 tools/lgf-gen |
|
5 |
6 |
6 dist_bin_SCRIPTS += tools/lemon-0.x-to-1.x.sh |
7 dist_bin_SCRIPTS += tools/lemon-0.x-to-1.x.sh |
7 |
8 |
8 endif WANT_TOOLS |
9 endif WANT_TOOLS |
9 |
10 |
10 tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc |
11 tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc |
12 tools_lgf_gen_SOURCES = tools/lgf-gen.cc |