tools/Makefile.am
author Balazs Dezso <deba@inf.elte.hu>
Mon, 23 Feb 2009 13:12:05 +0100
changeset 529 f5bc148f7e1f
parent 385 50d96f2166d7
child 526 28b154307c0d
permissions -rw-r--r--
Fix the naming convention of guards and remove one unnecessary include
     1 if WANT_TOOLS
     2 
     3 bin_PROGRAMS += \
     4 	tools/dimacs-to-lgf \
     5 	tools/lgf-gen
     6 
     7 dist_bin_SCRIPTS += tools/lemon-0.x-to-1.x.sh
     8 
     9 endif WANT_TOOLS
    10 
    11 tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc
    12 tools_lgf_gen_SOURCES = tools/lgf-gen.cc