tools/Makefile.am
changeset 981 cdd2c7dad989
parent 980 48e17328c155
child 982 0b9a94956916
     1.1 --- a/tools/Makefile.am	Sun Jan 29 22:33:14 2012 +0100
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,17 +0,0 @@
     1.4 -EXTRA_DIST += \
     1.5 -	tools/CMakeLists.txt
     1.6 -
     1.7 -if WANT_TOOLS
     1.8 -
     1.9 -bin_PROGRAMS += \
    1.10 -	tools/dimacs-solver \
    1.11 -	tools/dimacs-to-lgf \
    1.12 -	tools/lgf-gen
    1.13 -
    1.14 -dist_bin_SCRIPTS += tools/lemon-0.x-to-1.x.sh
    1.15 -
    1.16 -endif WANT_TOOLS
    1.17 -
    1.18 -tools_dimacs_solver_SOURCES = tools/dimacs-solver.cc
    1.19 -tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc
    1.20 -tools_lgf_gen_SOURCES = tools/lgf-gen.cc