Revision 25a6567e26e61e635ed6e84c02eccc988579c8f5 authored by Sylvain Ribstein on 07 September 2022, 07:23:08 UTC, committed by Marge Bot on 12 September 2022, 08:36:23 UTC
1 parent a86a09b
install_dal_trusted_setup.sh
#!/usr/bin/env bash
set -e
script_dir="$(cd "$(dirname "$0")" && pwd -P)"
#shellcheck source=scripts/version.sh
. "$script_dir"/version.sh
# Install DAL trusted setup.
DAL_TRUSTED_SETUP="${OPAM_SWITCH_PREFIX}/share/dal-trusted-setup"
URL="https://f001.backblazeb2.com/file/shareshare"
echo "Installing DAL trusted setup in ${DAL_TRUSTED_SETUP}"
rm -rf "${DAL_TRUSTED_SETUP}"
mkdir -p "${DAL_TRUSTED_SETUP}"
curl -s -o "${DAL_TRUSTED_SETUP}"/srs_zcash_g1 "${URL}"/srs_zcash_g1
curl -s -o "${DAL_TRUSTED_SETUP}"/srs_zcash_g2 "${URL}"/srs_zcash_g2
Computing file changes ...
