changeset 395 | 0c5dd7ceda03 |
parent 310 | a9e8f310507f |
child 523 | d9e43511d11c |
1.1 --- a/tools/Makefile.am Sun Nov 30 00:51:20 2008 +0100 1.2 +++ b/tools/Makefile.am Sun Nov 30 09:39:34 2008 +0000 1.3 @@ -1,6 +1,10 @@ 1.4 if WANT_TOOLS 1.5 1.6 -bin_PROGRAMS += 1.7 +bin_PROGRAMS += \ 1.8 + tools/dimacs-to-lgf 1.9 + 1.10 dist_bin_SCRIPTS += tools/lemon-0.x-to-1.x.sh 1.11 1.12 endif WANT_TOOLS 1.13 + 1.14 +tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc