#LDADD=$(top_builddir)/build/transactional.a $(top_builddir)/build/libpbl.a 
lib_LIBRARIES=libdfa.a
libdfa_a_SOURCES=libdfa.c monotree.c smash.c rw.c callbacks.c messages.c
AM_CFLAGS= -g -Wall -pedantic -std=gnu99