From: Morgan Deters <mdeters@gmail.com>
Date: Sun, 4 Jul 2010 18:06:57 +0000 (+0000)
Subject: better detection for static binary building
X-Git-Tag: cvc5-1.0.0~8951
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=468e6a88b7ffddbc4b95b0af96c975c2d5642060;p=cvc5.git

better detection for static binary building
---

diff --git a/configure.ac b/configure.ac
index 4cdeb4955..08eab8d85 100644
--- a/configure.ac
+++ b/configure.ac
@@ -68,6 +68,9 @@ AC_CANONICAL_BUILD
 AC_CANONICAL_HOST
 AC_CANONICAL_TARGET
 
+if test "$enable_shared" = no -a "$user_specified_enable_or_disable_shared" = yes; then
+  enable_static=yes
+fi
 if test "$enable_shared" = no -a "$enable_static" = yes; then
   enable_static_binary=yes
 fi