| author | Peter Kovacs <kpeter@inf.elte.hu> |
| Fri, 27 Mar 2009 07:24:18 +0100 | |
| changeset 554 | 6b9c1f6eb1e5 |
| parent 523 | d9e43511d11c |
| child 674 | 0cd6d84103a4 |
| permissions | -rw-r--r-- |
1 if WANT_TOOLS
3 bin_PROGRAMS += \
4 tools/dimacs-solver \
5 tools/dimacs-to-lgf \
6 tools/lgf-gen
8 dist_bin_SCRIPTS += tools/lemon-0.x-to-1.x.sh
10 endif WANT_TOOLS
12 tools_dimacs_solver_SOURCES = tools/dimacs-solver.cc
13 tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc
14 tools_lgf_gen_SOURCES = tools/lgf-gen.cc