Files @ r674:20dac2104519

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

Load file history 
r674:20dac2104519
307 B
text/plain
Show annotation Show as raw Download as raw
gravatar
ladanyi@tmit.bme.hu
Merge and extend the fix of #275
 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