#! /bin/sh set -e script_dir="$(cd "$(dirname "$0")" && echo "$(pwd -P)/")" src_dir="$(dirname "$script_dir")" export OPAMYES=yes echo echo "## Pinning tezos packages..." opams=$(find "$src_dir/vendors" "$src_dir/src" -name \*.opam -print) packages= for opam in $opams; do dir=$(dirname $opam) file=$(basename $opam) package=${file%.opam} packages="$packages $package" opam pin add --no-action $package $dir > /dev/null 2>&1 done packages=$(opam list --short --sort --pinned $packages) echo echo "## Pinned packages:" echo echo "$packages" | sed 's/^/ /' echo