Files
circ/scripts/build_seal.zsh
2022-03-31 21:08:11 +00:00

9 lines
211 B
Bash
Executable File

#!/usr/bin/env zsh
if [[ ! -z ${SEAL_SOURCE} ]]; then
cd ${SEAL_SOURCE}
cmake -S . -B build -DSEAL_BUILD_EXAMPLES=ON
cmake --build build
else
echo "Missing SEAL_SOURCE environment variable."
fi