Sign inSign up

primeimages/ocaml:4.12-r1

Multi-platform
Languages & frameworks
Integration & delivery
Manifest digest

sha256:875abae9f5f39a36794b972cb5ba794a36380add66ef905742c6e319a9785c7a

OS/ARCH

Compressed size

783.61 MB

Last pushed

over 5 years by stuffo

Type

Image

Manifest digest

sha256:875abae9f5f39a36794b972cb5ba794a36380add66ef905742c6e319a9785c7a

Image Layers

Image Layers

1ADD file ... in / 2.59 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:65ec48d41b8b1a7fbbf22d40e3812694905d9bbf7f20943d6a533ceb575e63a9 in /usr/bin/opam-2.0 0 B
7COPY file:f9f2f748a682eec84ea4f4d8c4cf4108af33bf54db0689f4ceede4f717e7d8bf 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:2d394c6aeed882f01f9fe3546b95877da810b908d15178ba2a0056ac401b560b 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 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:54343f5734519d36db32a50529cc71ba9a1907fd61b623189e1840136e25778e in /Dockerfile.ocaml 0 B
53182.95 MB
54RUN /bin/sh -c sudo apk377.08 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:ca9d8b5d1cc2f2186983fc6b9507da6ada5eb92f2b518c06af1128d5396c6f34 in /