equal
deleted
inserted
replaced
1 if WANT_TOOLS |
1 if WANT_TOOLS |
2 |
2 |
3 bin_PROGRAMS += \ |
3 bin_PROGRAMS += \ |
|
4 tools/dimacs-solver \ |
4 tools/dimacs-to-lgf \ |
5 tools/dimacs-to-lgf \ |
5 tools/lgf-gen |
6 tools/lgf-gen |
6 |
7 |
7 dist_bin_SCRIPTS += tools/lemon-0.x-to-1.x.sh |
8 dist_bin_SCRIPTS += tools/lemon-0.x-to-1.x.sh |
8 |
9 |
9 endif WANT_TOOLS |
10 endif WANT_TOOLS |
10 |
11 |
|
12 tools_dimacs_solver_SOURCES = tools/dimacs-solver.cc |
11 tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc |
13 tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc |
12 tools_lgf_gen_SOURCES = tools/lgf-gen.cc |
14 tools_lgf_gen_SOURCES = tools/lgf-gen.cc |