1 if WANT_TOOLS
2
3 bin_PROGRAMS += \
4 tools/dimacs-to-lgf \
5 tools/lgf-gen
6
7 dist_bin_SCRIPTS += tools/lemon-0.x-to-1.x.sh
8
9 endif WANT_TOOLS
10
11 tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc
12 tools_lgf_gen_SOURCES = tools/lgf-gen.cc