git clone --depth 1 https://github.com/randombit/botan.git
cd botan/
./configure.py --cc-bin=$CXX --cc-abi-flags="$CXXFLAGS" --disable-shared --disable-modules=locking_allocator,x509 --build-targets=static --without-documentation
make -j$(nproc)
export CXXFLAGS="$CXXFLAGS -DCRYPTOFUZZ_BOTAN"
export LIBBOTAN_A_PATH=`realpath libbotan-3.a`
export BOTAN_INCLUDE_PATH=`realpath build/include`
cd cryptofuzz/modules/botan/
make