Merge branch 'ligolang-tezos-repo' into 'dev'

Ligolang tezos repo

See merge request ligolang/ligo!72
This commit is contained in:
Pierre-Emmanuel Wulfman 2019-09-13 13:20:40 +00:00
commit 80aab99a97
2 changed files with 7 additions and 2 deletions

View File

@ -2,5 +2,5 @@
set -e
# Install local dependencies
opam install -y --deps-only $(find src vendors -name \*.opam)
opam install -y --deps-only --with-test $(find src vendors -name \*.opam)
opam install -y $(find vendors -name \*.opam)

View File

@ -3,4 +3,9 @@ set -e
set -x
eval $(opam config env)
opam repo add tezos-opam-repository https://gitlab.com/nomadic-labs/tezos-opam-repository.git
# Remove the nomadic-labs tezos repo (from ligo switch only)
opam repository remove tezos-opam-repository
# Add ligolang tezos repo
opam repository add ligolang-tezos-opam-repository https://gitlab.com/ligolang/tezos-opam-repository.git