From 726603e0e5a5482cf98538079790747e43313276 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 6 Nov 2013 16:58:16 -0500
Subject: Flatten libcvc4 build structure; remove some #include
 interdependences

---
 configure.ac | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'configure.ac')

diff --git a/configure.ac b/configure.ac
index 56f462b34..1859d6316 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1212,6 +1212,8 @@ AC_SUBST(FLAG_VISIBILITY_HIDDEN)
 AC_SUBST(cvc4_LDFLAGS)
 AC_SUBST(pcvc4_LDFLAGS)
 
+AM_CONDITIONAL(WHITE_AND_BLACK_TESTS, [test -z "$FLAG_VISIBILITY_HIDDEN"])
+
 # remember the command line used for configure
 AC_SUBST(cvc4_config_cmdline)
 
-- 
cgit v1.2.3