From d9756a048a65fbe25b1ea93b5ef3e943cbdff902 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Mon, 27 May 2019 10:53:33 +0200 Subject: [PATCH] move before merging repositories (part 2) --- .../rewrite-local-opam-repository.sh | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/vendors/opam-repository-tools/rewrite-local-opam-repository.sh b/vendors/opam-repository-tools/rewrite-local-opam-repository.sh index 97396e56f..10ab030d1 100755 --- a/vendors/opam-repository-tools/rewrite-local-opam-repository.sh +++ b/vendors/opam-repository-tools/rewrite-local-opam-repository.sh @@ -3,11 +3,11 @@ set -euET -o pipefail main(){ root_dir="$(pwd | sed -e 's/\\/\\\\/' | sed -e 's/&/\\\&/' | sed -e 's/~/\\~/')" rm -fr vendors/ligo-opam-repository-local - cp -a vendors/ligo-opam-repository vendors/ligo-opam-repository-local + mkdir vendors/ligo-opam-repository-local + cp -a index.tar.gz packages repo urls.txt vendors/ligo-opam-repository-local cd vendors/ligo-opam-repository-local git grep -z -l src: | grep -z 'opam$' | xargs -0 \ - sed -i -e 's~src: *"https://gitlab.com/ligolang/ligo/-/archive/master/ligo.tar.gz"~src: "file://'"$root_dir"'"~' \ - -e 's~src: *"https://gitlab.com/ligolang/ligo-utils/-/archive/master/ligo-utils.tar.gz"~src: "file://'"$root_dir"'/vendors/ligo-utils"~' \ - -e 's~src: *"https://gitlab.com/ligolang/tezos-modded/-/archive/master/tezos-modded.tar.gz"~src: "file://'"$root_dir"'/vendors/tezos-modded"~' + sed -i -e 's~src: *"https://gitlab.com/ligolang/ligo/-/archive/master/ligo.tar.gz"~src: "file://'"$root_dir"'"~' + # TODO: run the update.sh script adequately to regenerate the index.tar.gz etc. in the local repo } if main; then exit 0; else exit $?; fi