| author | Balazs Dezso <deba@inf.elte.hu> |
| Sun, 14 Nov 2010 09:25:03 +0100 | |
| changeset 1017 | 5087694945e4 |
| parent 573 | 28b154307c0d |
| permissions | -rw-r--r-- |
1 EXTRA_DIST += \
2 tools/CMakeLists.txt
4 if WANT_TOOLS
6 bin_PROGRAMS += \
7 tools/dimacs-solver \
8 tools/dimacs-to-lgf \
9 tools/lgf-gen
11 dist_bin_SCRIPTS += tools/lemon-0.x-to-1.x.sh
13 endif WANT_TOOLS
15 tools_dimacs_solver_SOURCES = tools/dimacs-solver.cc
16 tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc
17 tools_lgf_gen_SOURCES = tools/lgf-gen.cc