tools/Makefile.am
author Peter Kovacs <kpeter@inf.elte.hu>
Fri, 24 Apr 2009 12:23:17 +0200
changeset 661 19b6f20e0ea2
parent 570 d9e43511d11c
child 721 0cd6d84103a4
permissions -rw-r--r--
Support LEQ and GEQ supply constraints in dimacs-solver (#234, #219)
ladanyi@1
     1
if WANT_TOOLS
ladanyi@1
     2
alpar@400
     3
bin_PROGRAMS += \
alpar@573
     4
	tools/dimacs-solver \
alpar@570
     5
	tools/dimacs-to-lgf \
alpar@570
     6
	tools/lgf-gen
alpar@400
     7
alpar@310
     8
dist_bin_SCRIPTS += tools/lemon-0.x-to-1.x.sh
ladanyi@1
     9
ladanyi@1
    10
endif WANT_TOOLS
alpar@400
    11
alpar@573
    12
tools_dimacs_solver_SOURCES = tools/dimacs-solver.cc
alpar@400
    13
tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc
alpar@570
    14
tools_lgf_gen_SOURCES = tools/lgf-gen.cc