tools/Makefile.am
author Balazs Dezso <deba@inf.elte.hu>
Tue, 16 Mar 2010 21:12:10 +0100
changeset 945 5b926cc36a4b
parent 573 28b154307c0d
permissions -rw-r--r--
Fix multiple execution bug in weighted matchings (#356)

This chgset also redoes the fix of [28c7ad6f8d91] and its backpont to 1.1,
[268a052c3043].
     1 EXTRA_DIST += \
     2 	tools/CMakeLists.txt
     3 
     4 if WANT_TOOLS
     5 
     6 bin_PROGRAMS += \
     7 	tools/dimacs-solver \
     8 	tools/dimacs-to-lgf \
     9 	tools/lgf-gen
    10 
    11 dist_bin_SCRIPTS += tools/lemon-0.x-to-1.x.sh
    12 
    13 endif WANT_TOOLS
    14 
    15 tools_dimacs_solver_SOURCES = tools/dimacs-solver.cc
    16 tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc
    17 tools_lgf_gen_SOURCES = tools/lgf-gen.cc