tools/Makefile.am
author Balazs Dezso <deba@inf.elte.hu>
Tue, 15 Jul 2008 13:15:39 +0200
changeset 220 a5d8c039f218
parent 1 51eaad3a817b
child 310 a9e8f310507f
permissions -rw-r--r--
Reorganize header files (Ticket #97)

In addition on some places the DefaultMap<G, K, V> is replaced with
ItemSetTraits<G, K>::template Map<V>::Type, to decrease the dependencies
of different tools. It is obviously better solution.
ladanyi@1
     1
if WANT_TOOLS
ladanyi@1
     2
ladanyi@1
     3
bin_PROGRAMS +=
ladanyi@1
     4
ladanyi@1
     5
endif WANT_TOOLS