| changeset 2558 | e70b52a8cd57 |
| parent 2390 | 8450951a8e2d |
| 0:ea661a382def | 1:aae440f96a6c |
|---|---|
3 |
3 |
4 |
4 |
5 if WANT_TOOLS |
5 if WANT_TOOLS |
6 |
6 |
7 bin_PROGRAMS += \ |
7 bin_PROGRAMS += \ |
8 tools/dim_to_lgf \ |
|
8 tools/lgf-gen |
9 tools/lgf-gen |
9 |
10 |
10 endif WANT_TOOLS |
11 endif WANT_TOOLS |
11 |
12 |
12 tools_lgf_gen_SOURCES = tools/lgf-gen.cc |
13 tools_lgf_gen_SOURCES = tools/lgf-gen.cc |
14 |
|
15 tools_dim_to_lgf_SOURCES = tools/dim_to_lgf.cc |