blob: 9bcca891f8ee534df5523264054d8b0d5f3ace38 (
about) (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
EXTRA_DIST += \
tools/CMakeLists.txt
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
|
