| changeset 1133 | cdd2c7dad989 |
| parent 573 | 28b154307c0d |
| 6:48a9fc280e15 | -1:000000000000 |
|---|---|
1 EXTRA_DIST += \ |
|
2 tools/CMakeLists.txt |
|
3 |
|
4 if WANT_TOOLS |
|
5 |
|
6 bin_PROGRAMS += \ |
|
7 tools/dimacs-solver \ |
|
8 tools/dimacs-to-lgf \ |
|
9 tools/lgf-gen |
|
10 |
|
11 dist_bin_SCRIPTS += tools/lemon-0.x-to-1.x.sh |
|
12 |
|
13 endif WANT_TOOLS |
|
14 |
|
15 tools_dimacs_solver_SOURCES = tools/dimacs-solver.cc |
|
16 tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc |
|
17 tools_lgf_gen_SOURCES = tools/lgf-gen.cc |