INCLUDES = -I@srcdir@/../include

noinst_LIBRARIES = libparser.a

libparser_a_SOURCES = \
	pl_scanner.lpp \
	pl.ypp \
	smtlib_scanner.lpp \
	smtlib.ypp \
	parser.cpp

BUILT_SOURCES = \
	pl_scanner.lpp \
	pl.ypp \
	smtlib_scanner.lpp \
	smtlib.ypp