tools/Makefile.am
changeset 406 a578265aa8a6
parent 310 a9e8f310507f
child 523 d9e43511d11c
equal deleted inserted replaced
2:04f3ce8032b9 3:f56ae6961c3c
     1 if WANT_TOOLS
     1 if WANT_TOOLS
     2 
     2 
     3 bin_PROGRAMS +=
     3 bin_PROGRAMS += \
       
     4 	tools/dimacs-to-lgf
       
     5 
     4 dist_bin_SCRIPTS += tools/lemon-0.x-to-1.x.sh
     6 dist_bin_SCRIPTS += tools/lemon-0.x-to-1.x.sh
     5 
     7 
     6 endif WANT_TOOLS
     8 endif WANT_TOOLS
       
     9 
       
    10 tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc