r573:28b154307c0d
Mon, 23 Feb 2009 12:49:57
[Not Reviewed]
0 comments (0 inline)
0
1
1
bin
bin
| 1 | 1 |
if WANT_TOOLS |
| 2 | 2 |
|
| 3 | 3 |
bin_PROGRAMS += \ |
| 4 |
tools/dimacs-solver \ |
|
| 4 | 5 |
tools/dimacs-to-lgf \ |
| 5 | 6 |
tools/lgf-gen |
| 6 | 7 |
|
| ... | ... |
@@ -8,5 +9,6 @@ |
| 8 | 9 |
|
| 9 | 10 |
endif WANT_TOOLS |
| 10 | 11 |
|
| 12 |
tools_dimacs_solver_SOURCES = tools/dimacs-solver.cc |
|
| 11 | 13 |
tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc |
| 12 | 14 |
tools_lgf_gen_SOURCES = tools/lgf-gen.cc |
0 comments (0 inline)