testing framework, configure fixes, incorporations from meeting, continued work
[cvc5.git] / src / expr / Makefile.am
1 INCLUDES = -I@srcdir@/../include -I@srcdir@/..
2 AM_CXXFLAGS = -Wall -fvisibility=hidden
3
4 noinst_LIBRARIES = libexpr.a
5
6 libexpr_a_SOURCES = \
7 expr.cpp \
8 expr_builder.cpp \
9 expr_manager.cpp \
10 expr_value.cpp