projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
5d0b8cf
)
To avoid confusion, permit --enable-staticbinary as an alias for --enable-static...
author
Morgan Deters
<mdeters@cs.nyu.edu>
Wed, 13 Aug 2014 01:29:56 +0000
(21:29 -0400)
committer
Morgan Deters
<mdeters@cs.nyu.edu>
Wed, 13 Aug 2014 01:30:04 +0000
(21:30 -0400)
configure.ac
patch
|
blob
|
history
diff --git
a/configure.ac
b/configure.ac
index 4f27d20b3f1e696c8e4fe0f18a682a65a17f6a5c..d8329307956e504a6c01412171924272e5408dbb 100644
(file)
--- 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"