diff options
Diffstat (limited to 'src/smt_util/Makefile.am')
| -rw-r--r-- | src/smt_util/Makefile.am | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/src/smt_util/Makefile.am b/src/smt_util/Makefile.am new file mode 100644 index 000000000..3b457f641 --- /dev/null +++ b/src/smt_util/Makefile.am @@ -0,0 +1,30 @@ +AM_CPPFLAGS = \ + -D__BUILDING_CVC4LIB \ + -I@builddir@/.. -I@srcdir@/../include -I@srcdir@/.. +AM_CXXFLAGS = -Wall -Wno-unknown-pragmas $(FLAG_VISIBILITY_HIDDEN) + +noinst_LTLIBRARIES = libsmtutil.la + +libsmtutil_la_SOURCES = \ + Makefile.am \ + Makefile.in \ + boolean_simplification.cpp \ + boolean_simplification.h \ + command.cpp \ + command.h \ + dump.h \ + dump.cpp \ + lemma_input_channel.h \ + lemma_output_channel.h \ + ite_removal.cpp \ + ite_removal.h \ + model.cpp \ + model.h \ + nary_builder.cpp \ + nary_builder.h \ + node_visitor.h + + +EXTRA_DIST = \ + command.i + |