From 68e2fdd451368ea47c748f2535985535c7bc6cab Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Mon, 27 May 2019 13:18:24 +0200 Subject: [PATCH] Deocker: launch the rewrite-repo script --- docker/Dockerfile | 1 + 1 file changed, 1 insertion(+) diff --git a/docker/Dockerfile b/docker/Dockerfile index 40aac54b3..7363753bc 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -6,6 +6,7 @@ USER root # Setup a custom opam repository where ligo is published RUN git clone https://gitlab.com/ligolang/ligo.git +RUN (cd ligo; vendors/opam-repository-tools/rewrite-local-opam-repository.sh) RUN opam repo add ligo-opam-repository ./ligo/vendors/ligo-opam-repository-local-generated/ RUN opam update ligo-opam-repository