changeset 523 | d9e43511d11c |
parent 385 | 50d96f2166d7 |
child 526 | 28b154307c0d |
1.1 --- a/tools/Makefile.am Mon Nov 03 11:59:54 2008 +0000 1.2 +++ b/tools/Makefile.am Mon Feb 23 11:30:15 2009 +0000 1.3 @@ -1,10 +1,12 @@ 1.4 if WANT_TOOLS 1.5 1.6 bin_PROGRAMS += \ 1.7 - tools/dimacs-to-lgf 1.8 + tools/dimacs-to-lgf \ 1.9 + tools/lgf-gen 1.10 1.11 dist_bin_SCRIPTS += tools/lemon-0.x-to-1.x.sh 1.12 1.13 endif WANT_TOOLS 1.14 1.15 tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc 1.16 +tools_lgf_gen_SOURCES = tools/lgf-gen.cc