https://gitlab.com/tezos/tezos
Raw File
Tip revision: 3385e4f7b3d2e03c1575c847fad326e416bb90be authored by Raphaƫl Cauderlier on 21 March 2023, 10:16:18 UTC
Add an alcotezt which fails
Tip revision: 3385e4f
opam-release.sh
#!/bin/sh

set -eu

script_dir="$(cd "$(dirname "$0")" && echo "$(pwd -P)/")"

usage="Usage: $0 <VERSION_NUMBER> <TARBALL_URL> [OPAM_REPOSITORY_CLONE_DIR]

Example: $0 11.0 https://gitlab.com/tezos/tezos/-/archive/v11.0/tezos-v11.0.tar.bz2

This script clones ocaml/opam-repository into OPAM_REPOSITORY_CLONE_DIR
(or uses the existing clone if it already exists) and generates opam packages
in a new branch named octez-<VERSION_NUMBER> in it. This branch should be
ready to be made into a pull request.

Default value for OPAM_REPOSITORY_CLONE_DIR is 'opam-repository'.

TARBALL_URL is the URL to put in opam files.
The script downloads it to compute sha256 and sha512 checksums for you."

version="${1:-}"
url="${2:-}"
opam_dir="${3:-opam-repository}"

if [ -z "$version" ] ; then
    echo "$usage"
    echo "Missing argument: <VERSION_NUMBER>"
    exit 1
fi

if [ -z "$url" ] ; then
    echo "$usage"
    echo "Missing argument: <TARBALL_URL>"
    exit 1
fi

log () {
    echo '\e[1m'"$1"'\e[0m'
}

current_dir=$(pwd)

if [ -d "$opam_dir" ] ; then
    log "Checking $opam_dir..."
    cd "$opam_dir"
    status=$(git status --porcelain)
    if [ -z "$status" ] ; then
        git checkout master
        git pull
    else
        log "$opam_dir is not clean."
        exit 1
    fi
else
    log "Cloning ocaml/opam-repository..."
    git clone https://github.com/ocaml/opam-repository "$opam_dir"
    cd "$opam_dir"
    git checkout master
fi

branch_name="octez-$(echo "$version" | tr '~' -)"
if git rev-parse "$branch_name" > /dev/null 2> /dev/null ; then
    log "Error: a branch named $branch_name already exists in $opam_dir."
    exit 1
fi

cd "$current_dir"
# We need to move back to current_dir because $url could be relative path
"$script_dir/opam-prepare-repo.sh" "$version" "$url" "$opam_dir"
cd "$opam_dir"

log "Creating commit..."
git checkout -b "$branch_name"
git add packages
git commit -am "Octez $version packages"

log "A branch named $branch_name has been created in $opam_dir."
back to top