changeset 526 | 28b154307c0d |
parent 523 | d9e43511d11c |
child 674 | 0cd6d84103a4 |
1.1 --- a/tools/Makefile.am Mon Feb 23 11:48:47 2009 +0000 1.2 +++ b/tools/Makefile.am Mon Feb 23 11:49:57 2009 +0000 1.3 @@ -1,6 +1,7 @@ 1.4 if WANT_TOOLS 1.5 1.6 bin_PROGRAMS += \ 1.7 + tools/dimacs-solver \ 1.8 tools/dimacs-to-lgf \ 1.9 tools/lgf-gen 1.10 1.11 @@ -8,5 +9,6 @@ 1.12 1.13 endif WANT_TOOLS 1.14 1.15 +tools_dimacs_solver_SOURCES = tools/dimacs-solver.cc 1.16 tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc 1.17 tools_lgf_gen_SOURCES = tools/lgf-gen.cc