From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 13 Aug 2014 01:29:56 +0000 (-0400)
Subject: To avoid confusion, permit --enable-staticbinary as an alias for --enable-static... 
X-Git-Tag: cvc5-1.0.0~6670
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2fe0cf8898700a3e459542f35e4725041717b972;p=cvc5.git

To avoid confusion, permit --enable-staticbinary as an alias for --enable-static-binary.
---

diff --git a/configure.ac b/configure.ac
index 4f27d20b3..d83293079 100644
--- a/configure.ac
+++ b/configure.ac
@@ -126,6 +126,10 @@ if test -n "${enable_optimized+set}"; then
     btargs="$btargs nooptimized"
   fi
 fi
+# --enable-staticbinary is an alias for --enable-static-binary
+if test -n "${enable_staticbinary+set}"; then
+  enable_static_binary="$enable_staticbinary"
+fi
 if test -n "${enable_static_binary+set}"; then
   if test "$enable_static_binary" = yes; then
     btargs="$btargs staticbinary"