projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 18e073e)
better detection for static binary building
authorMorgan Deters <mdeters@gmail.com>
Sun, 4 Jul 2010 18:06:57 +0000 (18:06 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sun, 4 Jul 2010 18:06:57 +0000 (18:06 +0000)
configure.ac patch | blob | history

diff --git a/configure.ac b/configure.ac
index 4cdeb49552d81162a2ad472561b75883f6a09aef..08eab8d85b5b6a149803baef401b4519dcdce74e 100644 (file)
--- 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