changeset 400 | 50d96f2166d7 |
parent 310 | a9e8f310507f |
child 570 | d9e43511d11c |
1.1 --- a/tools/Makefile.am Fri Nov 21 10:49:39 2008 +0000 1.2 +++ b/tools/Makefile.am Thu Nov 27 22:04:46 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