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.
     1 if WANT_TOOLS
     2 
     3 bin_PROGRAMS +=
     4 
     5 endif WANT_TOOLS