Files @ r571:d5c39e9d1a4e

Location: LEMON/LEMON-main/tools/Makefile.am

Load file history 
r571:d5c39e9d1a4e
307 B
text/plain
Show annotation Show as raw Download as raw
gravatar
alpar (Alpar Juttner)
Merge
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
if WANT_TOOLS



bin_PROGRAMS += \

	tools/dimacs-solver \

	tools/dimacs-to-lgf \

	tools/lgf-gen



dist_bin_SCRIPTS += tools/lemon-0.x-to-1.x.sh



endif WANT_TOOLS



tools_dimacs_solver_SOURCES = tools/dimacs-solver.cc

tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc

tools_lgf_gen_SOURCES = tools/lgf-gen.cc