updates to the git+https in the dockerfiles (#1447)

the old git:// is no longer supported
BinaryAnalysisPlatform · Mar 17, 2022 · bc96799 · bc96799
1 parent 2f05849
commit bc96799
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git a/docker/alpine/Dockerfile b/docker/alpine/Dockerfile
@@ -5,7 +5,7 @@ WORKDIR /home/opam
 RUN opam switch 4.09 \
  && eval "$(opam env)" \
  && opam remote set-url default https://opam.ocaml.org \
- && opam repo add bap git://github.com/BinaryAnalysisPlatform/opam-repository#testing --all \
+ && opam repo add bap git+https://github.com/BinaryAnalysisPlatform/opam-repository#testing --all \
  && opam update \
  && opam depext --install bap --yes -j 1 \
  && opam clean -acrs \

diff --git a/docker/archlinux/Dockerfile b/docker/archlinux/Dockerfile
@@ -15,7 +15,7 @@ RUN sudo pacman -S --noconfirm m4 git unzip make curl wget \
   && echo "" | sudo sh install.sh \
   && opam init --comp=4.09.1 --disable-sandboxing --yes \
   && eval "$(opam env)" \
-  && opam repo add bap git://github.com/BinaryAnalysisPlatform/opam-repository#testing --all \
+  && opam repo add bap git+https://github.com/BinaryAnalysisPlatform/opam-repository#testing --all \
   && opam update \
   && opam install bap --yes -j 1 \
   && opam clean -acrs \

diff --git a/docker/fedora/Dockerfile b/docker/fedora/Dockerfile
@@ -5,7 +5,7 @@ WORKDIR /home/opam
 RUN opam switch 4.09 \
  && eval "$(opam env)" \
  && opam remote set-url default https://opam.ocaml.org \
- && opam repo add bap git://github.com/BinaryAnalysisPlatform/opam-repository#testing --all \
+ && opam repo add bap git+https://github.com/BinaryAnalysisPlatform/opam-repository#testing --all \
  && opam update \
  && opam depext --install bap --yes -j 1 \
  && opam clean -acrs \

diff --git a/docker/ubuntu/bionic/Dockerfile b/docker/ubuntu/bionic/Dockerfile
@@ -10,7 +10,7 @@ RUN sudo apt-get update  \
  && opam switch 4.09 \
  && eval "$(opam env)" \
  && opam remote set-url default https://opam.ocaml.org \
- && opam repo add bap git://github.com/BinaryAnalysisPlatform/opam-repository --all \
+ && opam repo add bap git+https://github.com/BinaryAnalysisPlatform/opam-repository --all \
  && opam update \
  && opam depext --install bap-extra --yes -j 1 \
  && opam clean -acrs \

diff --git a/docker/ubuntu/xenial/Dockerfile b/docker/ubuntu/xenial/Dockerfile
@@ -6,7 +6,7 @@ RUN sudo apt-get update && sudo apt-get install --yes python-pip \
  && opam switch 4.09 \
  && eval "$(opam env)" \
  && opam remote set-url default https://opam.ocaml.org \
- && opam repo add bap git://github.com/BinaryAnalysisPlatform/opam-repository --all \
+ && opam repo add bap git+https://github.com/BinaryAnalysisPlatform/opam-repository --all \
  && opam update \
  && opam depext --install bap --yes -j 1 \
  && opam clean -acrs \