diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-09-02 20:41:08 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-09-02 20:41:08 +0000 |
commit | 1d18e5ebed9a5b20ed6a8fe21d11842acf6fa7ea (patch) | |
tree | 7074f04453914bc377ff6aeb307dd17b82b76ff3 /src/compat/Makefile.am | |
parent | 74770f1071e6102795393cf65dd0c651038db6b4 (diff) |
Merge from my post-smtcomp branch. Includes:
Dumping infrastructure. Can dump preprocessed queries and clauses. Can
also dump queries (for testing with another solver) to see if any conflicts
are missed, T-propagations are missed, all lemmas are T-valid, etc. For a
full list of options see --dump=help.
CUDD building much cleaner.
Documentation and assertion fixes.
Printer improvements, printing of commands in language-defined way, etc.
Typechecker stuff in expr package now autogenerated, no need to manually
edit the expr package when adding a new theory.
CVC3 compatibility layer (builds as libcompat).
SWIG detection and language binding support (infrastructure).
Support for some Z3 extended commands (like datatypes) in SMT-LIBv2 mode
(when not in compliance mode).
Copyright and file headers regenerated.
Diffstat (limited to 'src/compat/Makefile.am')
-rw-r--r-- | src/compat/Makefile.am | 50 |
1 files changed, 50 insertions, 0 deletions
diff --git a/src/compat/Makefile.am b/src/compat/Makefile.am new file mode 100644 index 000000000..905eaa6c4 --- /dev/null +++ b/src/compat/Makefile.am @@ -0,0 +1,50 @@ +# LIBCVC4COMPAT_VERSION (-version-info) is in the form current:revision:age +# +# current - +# increment if interfaces have been added, removed or changed +# revision - +# increment if source code has changed +# set to zero if current is incremented +# age - +# increment if interfaces have been added +# set to zero if interfaces have been removed +# or changed +# +LIBCVC4COMPAT_VERSION = @CVC4_COMPAT_LIBRARY_VERSION@ + +AM_CPPFLAGS = \ + -D__BUILDING_CVC4COMPATLIB \ + -I@srcdir@/../include -I@srcdir@/.. -I@builddir@/.. $(ANTLR_INCLUDES) +AM_CXXFLAGS = -Wall -Wno-unknown-pragmas $(FLAG_VISIBILITY_HIDDEN) + +if CVC4_BUILD_LIBCOMPAT + +nobase_lib_LTLIBRARIES = libcvc4compat.la +if HAVE_CXXTESTGEN +noinst_LTLIBRARIES = libcvc4compat_noinst.la +endif + +libcvc4compat_la_LDFLAGS = \ + -version-info $(LIBCVC4COMPAT_VERSION) +libcvc4compat_noinst_la_LDFLAGS = + +libcvc4compat_la_LIBADD = \ + @builddir@/../lib/libreplacements.la +libcvc4compat_noinst_la_LIBADD = \ + @builddir@/../lib/libreplacements.la + +libcvc4compat_la_SOURCES = \ + cvc3_compat.h \ + cvc3_compat.cpp + +libcvc4compat_noinst_la_SOURCES = \ + cvc3_compat.h \ + cvc3_compat.cpp + +else + +EXTRA_DIST = \ + cvc3_compat.h \ + cvc3_compat.cpp + +endif |