Skip to content

Commit 5ad24c7

Browse files
authored
updates the docker image (#1432)
the new image uses the base image's compiler
1 parent f85e06c commit 5ad24c7

File tree

1 file changed

+4
-12
lines changed

1 file changed

+4
-12
lines changed

docker/debian/testing/Dockerfile

Lines changed: 4 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -1,19 +1,11 @@
1-
FROM ocaml/opam2:debian-testing
1+
FROM ocaml/opam:debian
22

33
WORKDIR /home/opam
44

5-
RUN sudo apt-get update --yes && sudo apt-get install wget --yes \
6-
&& wget https://radare.mikelloc.com/get/4.5.0-git/radare2_4.5.0-git_amd64.deb \
7-
&& sudo dpkg -i radare2_4.5.0-git_amd64.deb \
8-
&& opam switch 4.09 \
9-
&& eval "$(opam env)" \
10-
&& opam remote set-url default https://opam.ocaml.org \
11-
&& opam repo add bap git://github.com/BinaryAnalysisPlatform/opam-repository#testing --all \
5+
RUN opam remote set-url default https://opam.ocaml.org \
6+
&& opam repo add bap-testing git+https://github.com/BinaryAnalysisPlatform/opam-repository#testing --all \
127
&& opam update \
138
&& opam depext --install bap --yes -j 1 \
14-
&& opam clean -acrs \
15-
&& rm -rf /home/opam/.opam/4.0[2-8,10] \
16-
&& rm -rf /home/opam/.opam/4.09/.opam-switch/sources/* \
17-
&& rm -rf /home/opam/opam-repository
9+
&& opam clean -acrs
1810

1911
ENTRYPOINT ["opam", "config", "exec", "--"]

0 commit comments

Comments
 (0)