tools/Makefile.am
changeset 385 50d96f2166d7
parent 310 a9e8f310507f
child 523 d9e43511d11c
     1.1 --- a/tools/Makefile.am	Fri Nov 21 10:49:39 2008 +0000
     1.2 +++ b/tools/Makefile.am	Thu Nov 27 22:04:46 2008 +0000
     1.3 @@ -1,6 +1,10 @@
     1.4  if WANT_TOOLS
     1.5  
     1.6 -bin_PROGRAMS +=
     1.7 +bin_PROGRAMS += \
     1.8 +	tools/dimacs-to-lgf
     1.9 +
    1.10  dist_bin_SCRIPTS += tools/lemon-0.x-to-1.x.sh
    1.11  
    1.12  endif WANT_TOOLS
    1.13 +
    1.14 +tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc