Sign inSign up

primeimages/ocaml:4.12-r1

Multi-platform
Languages & frameworks
Integration & delivery
Manifest digest

sha256:70e42ad9223b290c9f3a4a694d381a3bb43275fa99ec95713fd371799214fc0a

OS/ARCH

Compressed size

764.61 MB

Last pushed

over 5 years by stuffo

Type

Image

Manifest digest

sha256:70e42ad9223b290c9f3a4a694d381a3bb43275fa99ec95713fd371799214fc0a

Image Layers

Image Layers

1ADD file ... in / 2.68 MB
2CMD ["/bin/sh"]0 B
3/bin/sh -c echo '@edge https://dl-cdn.alpinelinux.org/alpine/edge/main'0 B
4/bin/sh -c echo '@edgecommunity https://dl-cdn.alpinelinux.org/alpine/edge/community'0 B
5/bin/sh -c echo '@testing https://dl-cdn.alpinelinux.org/alpine/edge/testing'0 B
6COPY file:c1e88b1450636dde18f5175cd5aae7b5ec494409083d7a15af371b8b58c4dd5b in /usr/bin/opam-2.0 0 B
7COPY file:ee10ab48b1330b88bce79be41fea5767c873dad1545e2de9994735a6e5427894 in /usr/bin/opam-2.1 0 B
8/bin/sh -c ln /usr/bin/opam-2.0 /usr/bin/opam0 B
9/bin/sh -c apk update &&0 B
10/bin/sh -c apk add build-base0 B
11/bin/sh -c addgroup -S -g0 B
12/bin/sh -c adduser -S -u0 B
13/bin/sh -c echo 'opam ALL=(ALL:ALL)0 B
14/bin/sh -c chmod 440 /etc/sudoers.d/opam0 B
15/bin/sh -c chown root:root /etc/sudoers.d/opam0 B
16/bin/sh -c sed -i.bak 's/^Defaults.*requiretty//g'0 B
17USER opam0 B
18WORKDIR /home/opam0 B
19/bin/sh -c mkdir .ssh0 B
20/bin/sh -c chmod 700 .ssh0 B
21/bin/sh -c echo 'wrap-build-commands: []'0 B
22/bin/sh -c echo 'wrap-install-commands: []'0 B
23/bin/sh -c echo 'wrap-remove-commands: []'0 B
24/bin/sh -c echo 'required-tools: []'0 B
25/bin/sh -c echo '#!/bin/sh' >0 B
26/bin/sh -c echo 'cp ~/.opamrc-nosandbox0 B
27/bin/sh -c echo 'echo ---0 B
28/bin/sh -c chmod a+x /home/opam/opam-sandbox-disable0 B
29/bin/sh -c sudo mv /home/opam/opam-sandbox-disable0 B
30/bin/sh -c echo 'wrap-build-commands: ["%{hooks}%/sandbox.sh"0 B
31/bin/sh -c echo 'wrap-install-commands: ["%{hooks}%/sandbox.sh"0 B
32/bin/sh -c echo 'wrap-remove-commands: ["%{hooks}%/sandbox.sh"0 B
33/bin/sh -c echo '#!/bin/sh' >0 B
34/bin/sh -c echo 'cp ~/.opamrc-sandbox0 B
35/bin/sh -c echo 'echo ---0 B
36/bin/sh -c chmod a+x /home/opam/opam-sandbox-enable0 B
37/bin/sh -c sudo mv /home/opam/opam-sandbox-enable0 B
38/bin/sh -c git config --global0 B
39/bin/sh -c git config --global0 B
40COPY --chown=opam:opamdir:b9b84d228d2374b04abf2e782ee3883b2e0c331e662d2d703d69fc6accbd3242 in /home/opam/opam-repository 0 B
41/bin/sh -c opam-sandbox-disable0 B
42/bin/sh -c opam init -k0 B
43/bin/sh -c rm -rf .opam/repo/default/.git0 B
44COPY file:894d9c7adeb76253dcd1b020ac4977b39f5f375a3036f638d3ed91ff134f8ac4 in /Dockerfile.opam 0 B
45221.13 MB
46ENV OPAMYES=1 OPAMDEPEXTYES=1 OPAMUNSAFEDEPEXTYES=10 B
47/bin/sh -c opam switch create0 B
48/bin/sh -c opam pin add0 B
49/bin/sh -c opam install -y0 B
50ENTRYPOINT ["opam" "exec" "--"]0 B
51CMD ["/bin/sh" "-c" "bash"]0 B
52COPY file:4b996dbcb2757c1f01ecf93c2b2bbf966b31f82879e8711a021fad03328e653e in /Dockerfile.ocaml 0 B
53180.15 MB
54RUN /bin/sh -c sudo apk360.65 MB
55ENV PATH=/home/opam/.opam/4.12/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin0 B

Command

ADD file:8ec69d882e7f29f0652d537557160e638168550f738d0d49f90a7ef96bf31787 in /