idhub-docker/build__pilot-pangea.sh

#!/bin/sh

set -e
set -u
# DEBUG
set -x

main() {
        cd "$(dirname "${0}")"

        # includes functions:
        #   common_start
        #   common_end
        . ./build__common.sh

        target='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 "${@}"