diff options
Diffstat (limited to 'configure.sh')
-rwxr-xr-x | configure.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/configure.sh b/configure.sh index 48d1b82b2..0455e6360 100755 --- a/configure.sh +++ b/configure.sh @@ -29,7 +29,8 @@ General options; Features: The following flags enable optional features (disable with --no-<option name>). --static build static libraries and binaries [default=no] - --static-binary enable/disable static binaries + --static-binary statically link against system libraries + (must be disabled for static macOS builds) [default=yes] --proofs support for proof generation --optimized optimize the build --debug-symbols include debug symbols |