From: Morgan Deters <mdeters@gmail.com>
Date: Fri, 20 Nov 2009 20:10:43 +0000 (+0000)
Subject: fix to expr #includes; better test-environment configuration
X-Git-Tag: cvc5-1.0.0~9418
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cb56555734b5139f779e65cc6e628124ac6796e6;p=cvc5.git

fix to expr #includes; better test-environment configuration
---

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 {