johannesheissler/gap-server:1.1-graphicayley1.5.0

Languages & frameworks

Web servers

Manifest digest

sha256:47a13b0c14eb88c6e4e701b09e56e573cc5008b531586f430a3f59656ec932c2

OS/ARCH

linux/arm64/v8

Compressed size

1.51 GB

Last pushed

Type

Image

Manifest digest

sha256:47a13b0c14eb88c6e4e701b09e56e573cc5008b531586f430a3f59656ec932c2

Image Layers

1ADD file ... in / 3.19 MB

2CMD ["/bin/sh"]0 B

3RUN /bin/sh -c apk add106.98 MB

4COPY GAP-Server Files /files/ #3.31 KB

5RUN /bin/sh -c python3 -m7.07 MB

6RUN /bin/sh -c /python_venv/bin/pip install5.76 MB

7WORKDIR /gap93 B

8RUN /bin/sh -c wget https://github.com/gap-system/gap/releases/download/v4.13.0/gap-4.13.0.tar.gz514.38 MB

9RUN /bin/sh -c tar -xzf515.82 MB

10RUN /bin/sh -c rm gap-4.13.0.tar.gz147 B

11WORKDIR /gap/gap-4.13.032 B

12RUN /bin/sh -c ./configure #26.96 KB

13RUN /bin/sh -c make #16 MB

14WORKDIR /gap/gap-4.13.0/pkg32 B

15RUN /bin/sh -c bash ../bin/BuildPackages.sh359.82 MB

16ENV GAP_PATH=/gap/gap-4.13.0/gap0 B

17EXPOSE map[63910/tcp:{}]0 B

18CMD ["/python_venv/bin/python" "/files/GAPRunner.py"]0 B

19COPY GAP-Server Files/ /files/ #3.8 KB

20COPY GAP-Server Files/ /files/ #19.73 MB

Command

ADD file:d0764a717d1e9d0aff3fa84779b11bfa0afe4430dcb6b46d965b209167639ba0 in /