diff options
Diffstat (limited to 'src/third_party/unwind/scripts/import.sh')
| -rwxr-xr-x | src/third_party/unwind/scripts/import.sh | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/src/third_party/unwind/scripts/import.sh b/src/third_party/unwind/scripts/import.sh new file mode 100755 index 00000000000..22489b4e4ab --- /dev/null +++ b/src/third_party/unwind/scripts/import.sh @@ -0,0 +1,35 @@ +#!/bin/bash +# This script downloads and imports libunwind + +set -euo pipefail +IFS=$'\n\t' + +set -vx + +NAME=libunwind +REVISION=334047a04e59287463348a9e333947b5e59ddd91 # 2019-04-02 +VERSION="1.4-rc1" + +DEST_DIR=$(git rev-parse --show-toplevel)/src/third_party/unwind +if [[ -d $DEST_DIR/dist ]]; then + echo "You must remove '$DEST_DIR/dist' before running $0" >&2 + exit 1 +fi + +UNWIND_GIT_DIR=$(mktemp -d /tmp/import-libunwind.XXXXXX) +trap "rm -rf $UNWIND_GIT_DIR" EXIT + +git clone git@github.com:mongodb-forks/libunwind.git $UNWIND_GIT_DIR +git -C $UNWIND_GIT_DIR checkout $REVISION + +pushd $UNWIND_GIT_DIR +NOCONFIGURE=1 ./autogen.sh +./configure +make dist +popd + +DIST_TGZ=$UNWIND_GIT_DIR/libunwind-$VERSION.tar.gz + +mkdir -p $DEST_DIR/dist +tar --strip-components=1 -xvzf $DIST_TGZ -C $DEST_DIR/dist +# mv libunwind-$VERSION libunwind |