From: Christopher L. Conway <christopherleeconway@gmail.com>
Date: Thu, 1 Apr 2010 03:02:01 +0000 (+0000)
Subject: Adding check for --disable-shared on --enable-coverage
X-Git-Tag: cvc5-1.0.0~9154
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5f92777db6265321759f463e6c703111cdfc9a80;p=cvc5.git

Adding check for --disable-shared on --enable-coverage
---

diff --git a/configure.ac b/configure.ac
index 985a26903..ecaa1bf30 100644
--- a/configure.ac
+++ b/configure.ac
@@ -317,6 +317,12 @@ fi
 AC_MSG_RESULT([$enable_coverage])
 
 if test "$enable_coverage" = yes; then
+dnl TODO: Is there someway to detect if enable_shared is set by default,
+dnl so that we can automatically disable shared and enable static?
+  if test "$enable_shared" = yes; then
+    AC_MSG_ERROR([Gcov requires static libraries. Use --disable-shared.])
+  fi
+
   CVC4CPPFLAGS="$CVC4CPPFLAGS -DCVC4_COVERAGE"
   CVC4CXXFLAGS="$CVC4CXXFLAGS --coverage"
   CVC4LDFLAGS="$CVC4LDFLAGS --coverage"