diff options
| author | Jia Tan <jiat0218@gmail.com> | 2023-01-12 22:58:36 +0800 |
|---|---|---|
| committer | Jia Tan <jiat0218@gmail.com> | 2023-01-12 22:58:36 +0800 |
| commit | 32287dc8def94df4546e903495d14c132bd54cc4 (patch) | |
| tree | 7450aa9a0fbe406035d4d550aafa9b4cfbc2fc9c | |
| parent | CI: Improve Usage readability and add -h option. (diff) | |
| download | xz-32287dc8def94df4546e903495d14c132bd54cc4.tar.xz | |
CI: Allow disabling shared library in autotools builds.
Diffstat (limited to '')
| -rwxr-xr-x | build-aux/ci_build.sh | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/build-aux/ci_build.sh b/build-aux/ci_build.sh index 0283683f..fa2a166d 100755 --- a/build-aux/ci_build.sh +++ b/build-aux/ci_build.sh @@ -19,7 +19,7 @@ set -e USAGE="Usage: $0 -b [autotools|cmake] -c [crc32|crc64|sha256] - -d [encoders|decoders|bcj|delta|threads] + -d [encoders|decoders|bcj|delta|threads|shared] -l [destdir] -s [srcdir] -p [all|build|test] @@ -36,6 +36,7 @@ DELTA="y" ENCODERS="y" DECODERS="y" THREADS="y" +SHARED="y" SRC_DIR="$ABS_DIR/../" DEST_DIR="$SRC_DIR/../xz_build" PHASE="all" @@ -78,6 +79,7 @@ while getopts b:c:d:l:s:p:f:h opt; do bcj) BCJ="n" ;; delta) DELTA="n" ;; threads) THREADS="n" ;; + shared) SHARED="n";; *) echo "Invalid disable value: $disable_arg"; exit 1 ;; esac done @@ -138,6 +140,11 @@ if [ "$PHASE" = "all" ] || [ "$PHASE" = "build" ]; then EXTRA_OPTIONS="$EXTRA_OPTIONS --disable-threads" fi + if [ "$SHARED" = "n" ] + then + EXTRA_OPTIONS="$EXTRA_OPTIONS --disable-shared" + fi + # Run configure script "$SRC_DIR"/configure --enable-werror --enable-checks=$CHECK_TYPE $EXTRA_OPTIONS |