diff options
| author | John Turner <jturner.usa@gmail.com> | 2025-09-14 00:16:10 -0400 |
|---|---|---|
| committer | John Turner <jturner.usa@gmail.com> | 2025-09-14 00:16:10 -0400 |
| commit | efcea3a80da7c4479d5fe168435ecc9fd06bdc72 (patch) | |
| tree | 5cb0177e17b1b00a177f2e830e809f606334571b /tools | |
| download | sqlite-kv-bench-efcea3a80da7c4479d5fe168435ecc9fd06bdc72.tar.gz | |
Squashed 'subprojects/boost-sqlite/' content from commit 3378e35
git-subtree-dir: subprojects/boost-sqlite
git-subtree-split: 3378e353705271e569cf4ba15c467b840a39798c
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/get-boost.sh | 50 | ||||
| -rw-r--r-- | tools/user-config.jam | 0 |
2 files changed, 50 insertions, 0 deletions
diff --git a/tools/get-boost.sh b/tools/get-boost.sh new file mode 100755 index 0000000..fb0c8ed --- /dev/null +++ b/tools/get-boost.sh @@ -0,0 +1,50 @@ +#! /bin/sh + +set -e + +build_dir=$2 + +branch="master" + +if [ "$1" != "master" -a "$1" != "refs/heads/master" ]; then + branch="develop" +fi + +echo "BUILD_DIR: $build_dir" +echo "BRANCH: $branch" + +git clone -b $branch --depth 1 https://github.com/boostorg/boost.git boost-root +cd boost-root + +# Use a reasonably large depth to prevent intermittent update failures due to +# commits being on a submodule's master before the superproject is updated. +git submodule update --init --depth 20 --jobs 4 \ + libs/array \ + libs/headers \ + tools/build \ + tools/boost_install \ + tools/boostdep \ + libs/align \ + libs/atomic \ + libs/asio \ + libs/assert \ + libs/config \ + libs/container \ + libs/container_hash \ + libs/core \ + libs/callable_traits \ + libs/describe \ + libs/filesystem \ + libs/intrusive \ + libs/optional \ + libs/system \ + libs/move \ + libs/mp11 \ + libs/variant2 \ + libs/throw_exception \ + libs/json + +echo Submodule update complete + +rm -rf libs/sqlite +cp -r $build_dir libs/sqlite diff --git a/tools/user-config.jam b/tools/user-config.jam new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/tools/user-config.jam |