diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-11-08 11:10:16 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-11-08 11:10:16 -0800 |
commit | 223431aaa5a95d48a6aff20134ed4e2481de3cf3 (patch) | |
tree | 7f951480dde3b3bd05d862a7a32b1d32a7d88a20 /configure.sh | |
parent | 7b0efcd75f471b4252c65b8d18aa4c3266649626 (diff) |
cmake: Add option to explicitely enable/disable static binaries. (#2698)
Diffstat (limited to 'configure.sh')
-rwxr-xr-x | configure.sh | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/configure.sh b/configure.sh index d5f466ec6..7fa842f70 100755 --- a/configure.sh +++ b/configure.sh @@ -25,6 +25,7 @@ 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 --proofs support for proof generation --optimized optimize the build --debug-symbols include debug symbols @@ -122,6 +123,7 @@ portfolio=default proofs=default replay=default shared=default +static_binary=default statistics=default symfpu=default tracing=default @@ -230,9 +232,12 @@ do --replay) replay=ON;; --no-replay) replay=OFF;; - --static) shared=OFF;; + --static) shared=OFF; static_binary=ON;; --no-static) shared=ON;; + --static-binary) static_binary=ON;; + --no-static-binary) static_binary=OFF;; + --statistics) statistics=ON;; --no-statistics) statistics=OFF;; @@ -355,6 +360,8 @@ cmake_opts="" && cmake_opts="$cmake_opts -DENABLE_REPLAY=$replay" [ $shared != default ] \ && cmake_opts="$cmake_opts -DENABLE_SHARED=$shared" +[ $static_binary != default ] \ + && cmake_opts="$cmake_opts -DENABLE_STATIC_BINARY=$static_binary" [ $statistics != default ] \ && cmake_opts="$cmake_opts -DENABLE_STATISTICS=$statistics" [ $tracing != default ] \ |