Some items from the CVC4 public interface review:

[cvc5.git] / src / expr / Makefile.am

diff --git a/src/expr/Makefile.am b/src/expr/Makefile.am
index ced34b8bec690c830cad2624ef0026b9cfdb8038..b581e89197162bcc65343987a15e49630c6b2d6a 100644 (file)
--- a/src/expr/Makefile.am
+++ b/src/expr/Makefile.am
@@ -11,11 +11,12 @@ libexpr_la_SOURCES = \
        type_node.h \
        type_node.cpp \
        node_builder.h \
-       convenience_node_builders.h \   
+       convenience_node_builders.h \
        type.h \
        type.cpp \
        node_value.h \
        node_manager.h \
+       type_checker.h \
        attribute.h \
        attribute_internals.h \
        attribute.cpp \
@@ -23,13 +24,19 @@ libexpr_la_SOURCES = \
        node_value.cpp \
        command.h \
        command.cpp \
-       declaration_scope.h \
-       declaration_scope.cpp \
+       symbol_table.h \
+       symbol_table.cpp \
        expr_manager_scope.h \
        node_self_iterator.h \
+       variable_type_map.h \
+       pickle_data.h \
+       pickle_data.cpp \
+       pickler.h \
+       pickler.cpp \
+       node_self_iterator.h \
        expr_stream.h \
        kind_map.h
-       
+
 nodist_libexpr_la_SOURCES = \
        kind.h \
        metakind.h \
@@ -37,7 +44,8 @@ nodist_libexpr_la_SOURCES = \
        expr.h \
        expr.cpp \
        expr_manager.h \
-       expr_manager.cpp
+       expr_manager.cpp \
+       type_checker.cpp
 
 EXTRA_DIST = \
        kind_template.h \
@@ -47,9 +55,18 @@ EXTRA_DIST = \
        expr_manager_template.cpp \
        expr_template.h \
        expr_template.cpp \
+       type_checker_template.cpp \
+       options_handlers.h \
        mkkind \
        mkmetakind \
-       mkexpr
+       mkexpr \
+       expr_stream.i \
+       expr_manager.i \
+       symbol_table.i \
+       command.i \
+       type.i \
+       kind.i \
+       expr.i
 
 BUILT_SOURCES = \
        kind.h \
@@ -59,6 +76,7 @@ BUILT_SOURCES = \
        expr.cpp \
        expr_manager.h \
        expr_manager.cpp \
+       type_checker.cpp \
        $(top_builddir)/src/theory/.subdirs
 
 CLEANFILES = \
@@ -68,6 +86,8 @@ CLEANFILES = \
        expr.cpp \
        expr_manager.h \
        expr_manager.cpp \
+       type_checker.cpp \
+       type_properties.h \
        $(top_builddir)/src/theory/.subdirs
 
 include @top_srcdir@/src/theory/Makefile.subdirs
@@ -127,3 +147,14 @@ expr_manager.cpp: expr_manager_template.cpp mkexpr @top_builddir@/src/theory/.su
                $< \
                `cat @top_builddir@/src/theory/.subdirs` \
        > $@) || (rm -f $@ && exit 1)
+
+type_checker.cpp: type_checker_template.cpp mkexpr @top_builddir@/src/theory/.subdirs @top_srcdir@/src/theory/*/kinds
+       $(AM_V_at)chmod +x @srcdir@/mkexpr
+       $(AM_V_at)$(am__mv) $@ $@~ 2>/dev/null || true
+       $(AM_V_GEN)(@srcdir@/mkexpr \
+               $< \
+               `cat @top_builddir@/src/theory/.subdirs` \
+       > $@) || (rm -f $@ && exit 1)
+
+.PHONY: builts
+builts: $(BUILT_SOURCES)