tools/Makefile.am
author alpar
Thu, 03 Apr 2008 12:06:48 +0000
changeset 2599 b9905565d185
parent 2390 8450951a8e2d
permissions -rw-r--r--
Serious bugfix in Random::gamma()
Backport from hg b6bede534255
     1 EXTRA_DIST += \
     2 	tools/Makefile
     3 
     4 	
     5 if WANT_TOOLS
     6 
     7 bin_PROGRAMS += \
     8 	tools/dim_to_lgf \
     9 	tools/lgf-gen
    10 
    11 endif WANT_TOOLS
    12 
    13 tools_lgf_gen_SOURCES = tools/lgf-gen.cc
    14 
    15 tools_dim_to_lgf_SOURCES = tools/dim_to_lgf.cc