ligo/scripts/opam-unpin.sh

#! /bin/sh

set -e

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

. "$script_dir"/opam-remove.sh

opam pin remove $packages

### Temporary HACK

## Should be in sync with `opam-pin.sh`
opam pin remove --no-action leveldb

### End of temporary HACK
Opam: fix some dependencies and add some `scripts/opam-*.sh`. Installation: `./scripts/opam-pin.sh && opam install tezos-node tezos-client` Upgrade installed packages after a `git pull` (opam2 only): `./scripts/opam-upgrade.sh` Remove and cleanup every from the opam repo: `./scripts/opam-unpin.sh` 2017-12-06 22:51:49 +04:00			`#! /bin/sh`

			`set -e`

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

			`. "$script_dir"/opam-remove.sh`

			`opam pin remove $packages`

Opam: pin external `dev` packages This is temporary, we should either: release new version and stop using development version; or import sources in the tezos-repo (and compile them with jbuilder, especially sodium (or part of it) if it is not maintened anymore. 2017-12-06 22:51:54 +04:00			`### Temporary HACK`

Opam: remove `tezos-deps.opam` All dependencies are now inlined in the various opam packages. 2017-12-06 22:52:00 +04:00			## Should be in sync with `opam-pin.sh`
Change compiler's requested version 2018-01-18 19:18:55 +04:00			`opam pin remove --no-action leveldb`
Opam: pin external `dev` packages This is temporary, we should either: release new version and stop using development version; or import sources in the tezos-repo (and compile them with jbuilder, especially sodium (or part of it) if it is not maintened anymore. 2017-12-06 22:51:54 +04:00
			`### End of temporary HACK`