diff options
Diffstat (limited to 'lemon/tools/Makefile.am')
-rw-r--r-- | lemon/tools/Makefile.am | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/lemon/tools/Makefile.am b/lemon/tools/Makefile.am new file mode 100644 index 0000000..9bcca89 --- /dev/null +++ b/lemon/tools/Makefile.am @@ -0,0 +1,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 |