This repository has been archived on 2024-05-31. You can view files and clone it, but cannot push or open issues or pull requests.
idhub-docker/build__pilot-pangea.sh

36 lines
805 B
Bash
Executable File

#!/bin/sh
set -e
set -u
# DEBUG
set -x
# a wallet and verifier idhub for pilot-pangea
main() {
# includes functions:
# common_start
# common_end
. ./build__common.sh
pilot='pilot-pangea'
common_start
# detect if is new
if [ ! -f "./${idhub1}" ] && [ ! -f "./${idhub2}" ]; then
echo 'Detected new deployment, recreating git repos idhub1 and idhub2'
cp -rp IdHub "${idhub1}"
rm -f "${idhub1}/db.sqlite3"
cp -rp IdHub "${idhub2}"
rm -f "${idhub2}/db.sqlite3"
fi
# common_end builds idhub
# these are extra builds specific for this pilot
make musician_build
make orchestra_build
common_end
}
main "${@}"