AM_CPPFLAGS = \
	-D__BUILDING_CVC4LIB \
	-I@srcdir@/../include -I@srcdir@/..
AM_CXXFLAGS = -Wall -fvisibility=hidden

noinst_LTLIBRARIES = libexpr.la

libexpr_la_SOURCES = \
	attr_type.h \
	attr_var_name.h \
	node.h \
	node_builder.h \
	expr.h \
	node_value.h \
	node_manager.h \
	expr_manager.h \
	node_attribute.h \
	kind.h \
	node.cpp \
	node_builder.cpp \
	node_manager.cpp \
	expr_manager.cpp \
	node_value.cpp \
	expr.cpp