eldesh/smlsharp:3.3.0

Manifest digest

sha256:c84b22d3f198b00b463b1e30f509d83b97f646a21dd12137959f5d2d96e75716

OS/ARCH

linux/amd64

Compressed size

287.78 MB

Last pushed

over 5 years by eldesh

Type

Image

Manifest digest

sha256:c84b22d3f198b00b463b1e30f509d83b97f646a21dd12137959f5d2d96e75716

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 241 B

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

14USER smlsharp0 B

15ENV HOME=/smlsharp0 B

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

17CMD ["smlsharp"]0 B

Command

ADD file:8e23335223edd895dc07ab8564bf5f7e3058a9633b01f1ca297d913a8f021c03 in /