From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Thu, 30 Sep 2021 20:07:38 +0000 (-0700)
Subject: configure: Fix --static flag. (#7280)
X-Git-Tag: cvc5-1.0.0~1146
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1582914d275314eb707aa21d952fd22f502bc963;p=cvc5.git

configure: Fix --static flag. (#7280)
---

diff --git a/configure.sh b/configure.sh
index 4fc274612..a8bf19b79 100755
--- a/configure.sh
+++ b/configure.sh
@@ -357,7 +357,7 @@ fi
 [ $muzzle != default ] \
   && cmake_opts="$cmake_opts -DENABLE_MUZZLE=$muzzle"
 [ $static_library != default ] \
-  && cmake_opts="$cmake_opts -ENABLE_STATIC_LIBRARY=$static_library"
+  && cmake_opts="$cmake_opts -DENABLE_STATIC_LIBRARY=$static_library"
 [ $static_binary != default ] \
   && cmake_opts="$cmake_opts -DENABLE_STATIC_BINARY=$static_binary"
 [ $statistics != default ] \