2019-05-28 22:54:37 +04:00
|
|
|
#!/bin/sh
|
|
|
|
|
set -e
|
2019-05-28 00:00:09 +04:00
|
|
|
|
2019-05-27 14:06:56 +04:00
|
|
|
vendors/opam-repository-tools/rewrite-local-opam-repository.sh
|
|
|
|
|
opam repo add ligo-opam-repository ./vendors/ligo-opam-repository-local-generated
|
2019-05-28 00:00:09 +04:00
|
|
|
opam update ligo-opam-repository
|
