tools/Makefile.am
changeset 525 635a8375227d
parent 385 50d96f2166d7
child 526 28b154307c0d
equal deleted inserted replaced
3:f56ae6961c3c 4:32e00d789d8b
     1 if WANT_TOOLS
     1 if WANT_TOOLS
     2 
     2 
     3 bin_PROGRAMS += \
     3 bin_PROGRAMS += \
     4 	tools/dimacs-to-lgf
     4 	tools/dimacs-to-lgf \
       
     5 	tools/lgf-gen
     5 
     6 
     6 dist_bin_SCRIPTS += tools/lemon-0.x-to-1.x.sh
     7 dist_bin_SCRIPTS += tools/lemon-0.x-to-1.x.sh
     7 
     8 
     8 endif WANT_TOOLS
     9 endif WANT_TOOLS
     9 
    10 
    10 tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc
    11 tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc
       
    12 tools_lgf_gen_SOURCES = tools/lgf-gen.cc