tools/Makefile.am
changeset 2560 635e7985be46
parent 2390 8450951a8e2d
equal deleted inserted replaced
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