tools/Makefile.am
author Alpar Juttner <alpar@cs.elte.hu>
Fri, 08 May 2009 16:21:06 +0100
changeset 655 c706534d4740
parent 523 d9e43511d11c
child 674 0cd6d84103a4
permissions -rw-r--r--
Fix the faulty merge of unify-sources.sh in [586b65073025]
     1 if WANT_TOOLS
     2 
     3 bin_PROGRAMS += \
     4 	tools/dimacs-solver \
     5 	tools/dimacs-to-lgf \
     6 	tools/lgf-gen
     7 
     8 dist_bin_SCRIPTS += tools/lemon-0.x-to-1.x.sh
     9 
    10 endif WANT_TOOLS
    11 
    12 tools_dimacs_solver_SOURCES = tools/dimacs-solver.cc
    13 tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc
    14 tools_lgf_gen_SOURCES = tools/lgf-gen.cc