mkdir catch2
pushd catch2

wget https://github.com/catchorg/Catch2/releases/download/v2.13.4/catch.hpp

popd

mkdir -p sdk/include
pushd sdk/include
ln -fs ../../catch2
popd