| changeset 516 | dab9e610e37d |
| parent 310 | a9e8f310507f |
| child 523 | d9e43511d11c |
| 2:04f3ce8032b9 | 3:f56ae6961c3c |
|---|---|
1 if WANT_TOOLS |
1 if WANT_TOOLS |
2 |
2 |
3 bin_PROGRAMS += |
3 bin_PROGRAMS += \ |
4 tools/dimacs-to-lgf |
|
5 |
|
4 dist_bin_SCRIPTS += tools/lemon-0.x-to-1.x.sh |
6 dist_bin_SCRIPTS += tools/lemon-0.x-to-1.x.sh |
5 |
7 |
6 endif WANT_TOOLS |
8 endif WANT_TOOLS |
9 |
|
10 tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc |