tools/Makefile.am
changeset 859 ac5f72c48367
parent 526 28b154307c0d
equal deleted inserted replaced
5:18f4b9188800 6:48a9fc280e15
       
     1 EXTRA_DIST += \
       
     2 	tools/CMakeLists.txt
       
     3 
     1 if WANT_TOOLS
     4 if WANT_TOOLS
     2 
     5 
     3 bin_PROGRAMS += \
     6 bin_PROGRAMS += \
     4 	tools/dimacs-solver \
     7 	tools/dimacs-solver \
     5 	tools/dimacs-to-lgf \
     8 	tools/dimacs-to-lgf \