diff options
author | Morgan Deters <mdeters@gmail.com> | 2009-12-10 17:45:43 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2009-12-10 17:45:43 +0000 |
commit | 8b2d1d64b886db4cff74e2a7b1370841979001b2 (patch) | |
tree | 522c31719d0aff3bd0c9d42ed7eddf6ada3c4c12 /configure.ac | |
parent | 2f121daa042c6f25a3f9ed8ece60ac5dccb11976 (diff) |
cleanups, assert work, add a stubbed uf theory, fix driver
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index 5c6629ca5..7ba7a2b67 100644 --- a/configure.ac +++ b/configure.ac @@ -348,6 +348,7 @@ AC_CONFIG_FILES([ src/parser/cvc/Makefile src/parser/smt/Makefile src/theory/Makefile + src/theory/uf/Makefile test/Makefile test/regress/Makefile test/unit/Makefile @@ -387,7 +388,6 @@ CPPFLAGS : $CPPFLAGS CXXFLAGS : $CXXFLAGS LDFLAGS : $LDFLAGS - Library releases : $CVC4_LIBRARY_RELEASE_CODE libcvc4 version : $CVC4_LIBRARY_VERSION libcvc4parser version: $CVC4_PARSER_LIBRARY_VERSION |