SUBDIRS = include lib driver examples proxy rules bin_SCRIPTS = divine-config pkgconfigdir = $(libdir)/pkgconfig pkgconfig_DATA = divine.pc