tools/Makefile.am
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