projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 31c108f)
configure: Fix --static flag. (#7280)
authorMathias Preiner <mathias.preiner@gmail.com>
Thu, 30 Sep 2021 20:07:38 +0000 (13:07 -0700)
committerGitHub <noreply@github.com>
Thu, 30 Sep 2021 20:07:38 +0000 (20:07 +0000)
configure.sh patch | blob | history

diff --git a/configure.sh b/configure.sh
index 4fc2746122d6ade6dc2512d81b87dca657ff5769..a8bf19b7939d52bcb69ad3175185188baf53f5dc 100755 (executable)
--- 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 ] \