tools/Makefile.am
author Peter Kovacs <kpeter@inf.elte.hu>
Thu, 20 Aug 2009 20:34:30 +0200
changeset 718 703ebf476a1d
parent 526 28b154307c0d
permissions -rw-r--r--
Also check ReferenceMapTag in concept checks (#312)
ladanyi@674
     1
EXTRA_DIST += \
ladanyi@674
     2
	tools/CMakeLists.txt
ladanyi@674
     3
ladanyi@1
     4
if WANT_TOOLS
ladanyi@1
     5
alpar@385
     6
bin_PROGRAMS += \
alpar@526
     7
	tools/dimacs-solver \
alpar@523
     8
	tools/dimacs-to-lgf \
alpar@523
     9
	tools/lgf-gen
alpar@385
    10
alpar@310
    11
dist_bin_SCRIPTS += tools/lemon-0.x-to-1.x.sh
ladanyi@1
    12
ladanyi@1
    13
endif WANT_TOOLS
alpar@385
    14
alpar@526
    15
tools_dimacs_solver_SOURCES = tools/dimacs-solver.cc
alpar@385
    16
tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc
alpar@523
    17
tools_lgf_gen_SOURCES = tools/lgf-gen.cc