diff options
author | Morgan Deters <mdeters@gmail.com> | 2009-11-20 20:10:43 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2009-11-20 20:10:43 +0000 |
commit | cb56555734b5139f779e65cc6e628124ac6796e6 (patch) | |
tree | 50b61ea132c4a9340dcf2c5d0fbe3f15060f8e95 | |
parent | cd98370b338a0cc5343067151884a06431a1d92c (diff) |
fix to expr #includes; better test-environment configuration
-rw-r--r-- | configure.ac | 9 | ||||
-rw-r--r-- | src/expr/expr_value.h | 5 |
2 files changed, 13 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index 57dde9b35..e569dc5ab 100644 --- a/configure.ac +++ b/configure.ac @@ -68,6 +68,15 @@ AC_ARG_VAR(TEST_CPPFLAGS, [CXXFLAGS to use when testing (default=$CPPFLAGS)]) AC_ARG_VAR(TEST_CXXFLAGS, [CXXFLAGS to use when testing (default=$CXXFLAGS)]) AC_ARG_VAR(TEST_LDFLAGS, [LDFLAGS to use when testing (default=$LDFLAGS)]) +if test -n "$CXXTEST"; then + AC_CHECK_PROG(PERL, perl, perl, []) + if test -z "$PERL"; then + AC_MSG_WARN([unit tests disabled, perl not found.]) + CXXTESTGEN= + CXXTEST= + fi +fi + # Checks for libraries. AC_CHECK_LIB(gmp, __gmpz_init, , [AC_MSG_ERROR([GNU MP not found, see http://gmplib.org/])]) diff --git a/src/expr/expr_value.h b/src/expr/expr_value.h index 88984d286..e0451f7a6 100644 --- a/src/expr/expr_value.h +++ b/src/expr/expr_value.h @@ -14,11 +14,14 @@ ** reference count on ExprValue instances and **/ +/* this must be above the check for __CVC4__EXPR__EXPR_VALUE_H */ +/* to resolve a circular dependency */ +#include "cvc4_expr.h" + #ifndef __CVC4__EXPR__EXPR_VALUE_H #define __CVC4__EXPR__EXPR_VALUE_H #include <stdint.h> -#include "cvc4_expr.h" namespace CVC4 { |