Revision 974da4819e9255a0f00be545179b10a0017482f0 authored by Raphaƫl Cauderlier on 23 July 2019, 12:10:04 UTC, committed by Pierre Boutillier on 21 October 2019, 12:25:35 UTC
The semantics of the STEPS_TO_QUOTA instruction changes each time the
gas constants are modified to better reflect the real costs.

Moreover, because of STEPS_TO_QUOTA, the interpreter is not monotonic:
it is easy to write a contract that runs successfully at some gas
amount but fails when more gas is given.
1 parent 22d2fa7
Raw File
update_opam_test.sh
#! /bin/sh

set -e

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

. "$script_dir/opam-pin.sh"

tmp=$(mktemp)

sed -z 's/^\(.*##BEGIN_OPAM##\n\).*\(\n##END_OPAM##.*\)$/\1/' "$src_dir/.gitlab-ci.yml" > $tmp

cpt=0
for package in $packages; do
    num=$(printf "%02d" $cpt)
    cpt=$((cpt+1))
    cat >> $tmp <<EOF
opam:$num:$package:
  <<: *opam_definition
  variables:
    package: $package

EOF
done

sed -z 's/^\(.*##BEGIN_OPAM##\n\).*\(\n##END_OPAM##.*\)$/\2/' "$src_dir/.gitlab-ci.yml" >> $tmp

mv $tmp "$src_dir/.gitlab-ci.yml"

back to top