eldesh/smlsharp:3.7.0

Manifest digest

sha256:5d61f58c427482da0707a21a69df13a4fa5d25c5b9655efe71cc4b75d05492a8

OS/ARCH

linux/amd64

Compressed size

281.48 MB

Last pushed

over 5 years by eldesh

Type

Image

Manifest digest

sha256:5d61f58c427482da0707a21a69df13a4fa5d25c5b9655efe71cc4b75d05492a8

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=9.0.0 MAKEFLAGS=-j4 MYTH_VER=1.00211.52 MB

14USER smlsharp0 B

15ENV HOME=/smlsharp0 B

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

17CMD ["smlsharp"]0 B

Command

ADD file:8e23335223edd895dc07ab8564bf5f7e3058a9633b01f1ca297d913a8f021c03 in /