tools/Makefile.am
author Alpar Juttner <alpar@cs.elte.hu>
Thu, 27 Nov 2008 22:05:35 +0000
changeset 401 9d1faab5e0f1
parent 310 a9e8f310507f
child 570 d9e43511d11c
permissions -rw-r--r--
Give different names to the different DIMACS readers
ladanyi@1
     1
if WANT_TOOLS
ladanyi@1
     2
alpar@400
     3
bin_PROGRAMS += \
alpar@400
     4
	tools/dimacs-to-lgf
alpar@400
     5
alpar@310
     6
dist_bin_SCRIPTS += tools/lemon-0.x-to-1.x.sh
ladanyi@1
     7
ladanyi@1
     8
endif WANT_TOOLS
alpar@400
     9
alpar@400
    10
tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc