swh:1:snp:505c374fd75bb208ae4e9a54e64bb310bc49295e
Raw File
Tip revision: 8aab182d914527fdf2683e160e127c259edac327 authored by Valentin Chaboche on 09 December 2022, 22:10:04 UTC
Scoru,Proto: removes redundant [level_proof] field
Tip revision: 8aab182
build_full_unreleased.sh
#!/bin/sh
set -eu

if [ -z "${build_deps_image_name}" ]; then echo "build_deps_image_name is unset" && exit 3; fi
if [ -z "${build_deps_image_version}" ]; then echo "build_deps_image_version is unset" && exit 3; fi

# We remove protocols not needed for tests in order to speed up the CI.
./scripts/remove-old-protocols.sh
. ./scripts/version.sh

# 1. Some basic, fast sanity checks
if [ "${build_deps_image_version}" != "${opam_repository_tag}" ] ; then
    echo "Inconsistent dependencies hash between 'scripts/version.sh' and '.gitlab/ci/templates.yml'." ;
    echo "${build_deps_image_version} != ${opam_repository_tag}" ;
    exit 1 ;
fi

diff poetry.lock /home/tezos/poetry.lock
diff pyproject.toml /home/tezos/pyproject.toml

# 2. Actually build
make

# 3. Also build the tps evaluation tool which is not part of the default build.
#    NOTE: We add $COVERAGE_OPTIONS to all dune build commands to enable reuse of
#    build artifacts.
# shellcheck disable=SC2086
dune build ${COVERAGE_OPTIONS} src/bin_tps_evaluation

# 4. clean-up caches before uploading the cache
opam clean
back to top