diff options
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 |