src/expr/Makefile.am


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

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

noinst_LTLIBRARIES = libexpr.la

libexpr_la_SOURCES = \
	attr_type.h \
	attr_var_name.h \
	expr.h \
	expr_builder.h \
	expr_value.h \
	expr_manager.h \
	expr_attribute.h \
	kind.h \
	expr.cpp \
	expr_builder.cpp \
	expr_manager.cpp \
	expr_value.cpp