eldesh/smlsharp:3.2.0

Manifest digest

sha256:2dfa873b2b008a01d2265d7bf52a2af2ffbdef353bd22d0df58bc18ff973c183

OS/ARCH

linux/amd64

Compressed size

291.1 MB

Last pushed

over 5 years by eldesh

Type

Image

Manifest digest

sha256:2dfa873b2b008a01d2265d7bf52a2af2ffbdef353bd22d0df58bc18ff973c183

Image Layers

1ADD file ... in / 69.96 MB

2LABEL name=CentOS Base Image0 B

3CMD ["/bin/bash"]0 B

4ARG MAKEFLAGS=-j40 B

5ARG CMAKE_VER=3.5.00 B

6ARG LLVM_VER=9.0.00 B

7ARG MYTH_VER=1.000 B

8ARG SMLSHARP_VER=3.7.10 B

9ARG Z3_VER=4.8.70 B

10LABEL name=smlsharp version=3 description=A0 B

11WORKDIR /smlsharp97 B

12COPY file:00f6cc6c2e46ef23239c77579e6db5d8ec3737e101454cd2accacc69a037bd3b in /smlsharp/entrypoint.sh 240 B

13|6 CMAKE_VER=3.5.0 LLVM_VER=3.7.1 MAKEFLAGS=-j4 MYTH_VER=1.00221.14 MB

14USER smlsharp0 B

15ENV HOME=/smlsharp0 B

16ENTRYPOINT ["/smlsharp/entrypoint.sh"]0 B

17CMD ["smlsharp"]0 B

Command

ADD file:8e23335223edd895dc07ab8564bf5f7e3058a9633b01f1ca297d913a8f021c03 in /