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