23 lines
566 B
Bash
Executable File
23 lines
566 B
Bash
Executable File
#!/usr/bin/env bash
|
|
set -e
|
|
|
|
DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" >/dev/null && pwd)"
|
|
cd "$DIR"
|
|
|
|
VERSION="v2.13.10"
|
|
INSTALL_DIR="$DIR/catch2/install"
|
|
|
|
if [ ! -d "catch2-src/.git" ]; then
|
|
rm -rf catch2-src
|
|
git clone --depth 1 https://github.com/catchorg/Catch2.git catch2-src
|
|
fi
|
|
git -C catch2-src fetch --depth 1 origin "$VERSION"
|
|
git -C catch2-src checkout --force FETCH_HEAD
|
|
|
|
rm -rf "$INSTALL_DIR"
|
|
mkdir -p "$INSTALL_DIR/include"
|
|
cp -r catch2-src/single_include/catch2 "$INSTALL_DIR/include/"
|
|
|
|
echo "Installed catch2 to $INSTALL_DIR"
|
|
du -sh "$INSTALL_DIR"
|