tools/Makefile.am
changeset 573 28b154307c0d
parent 570 d9e43511d11c
child 721 0cd6d84103a4
equal deleted inserted replaced
4:32e00d789d8b 5:18f4b9188800
     1 if WANT_TOOLS
     1 if WANT_TOOLS
     2 
     2 
     3 bin_PROGRAMS += \
     3 bin_PROGRAMS += \
       
     4 	tools/dimacs-solver \
     4 	tools/dimacs-to-lgf \
     5 	tools/dimacs-to-lgf \
     5 	tools/lgf-gen
     6 	tools/lgf-gen
     6 
     7 
     7 dist_bin_SCRIPTS += tools/lemon-0.x-to-1.x.sh
     8 dist_bin_SCRIPTS += tools/lemon-0.x-to-1.x.sh
     8 
     9 
     9 endif WANT_TOOLS
    10 endif WANT_TOOLS
    10 
    11 
       
    12 tools_dimacs_solver_SOURCES = tools/dimacs-solver.cc
    11 tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc
    13 tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc
    12 tools_lgf_gen_SOURCES = tools/lgf-gen.cc
    14 tools_lgf_gen_SOURCES = tools/lgf-gen.cc