klee/llvm_built:50_O_ND_A

Manifest digest

sha256:506bfba5aee44ee793d5ee44e817c24289c30860a5afc670c598ea1ac6d3447d

OS/ARCH

linux/amd64

Compressed size

696.79 MB

Last pushed

about 8 years by kleedev

Type

Image

Manifest digest

sha256:506bfba5aee44ee793d5ee44e817c24289c30860a5afc670c598ea1ac6d3447d

Image Layers

1ADD file ... in / 41.12 MB

2/bin/sh -c set -xe &&853 B

3/bin/sh -c rm -rf /var/lib/apt/lists/*619 B

4/bin/sh -c sed -i 's/^#\s*$deb.*universe$$/\1/g'851 B

5/bin/sh -c mkdir -p /run/systemd168 B

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

7LABEL maintainer=Martin Nowack <[email protected]>0 B

8ENV DOCKER_BUILD=10 B

9ARG BASE=/tmp0 B

10ADD multi:19d03fb15835177eaf38575b78d9b04d2b24cd7a9bb95e9bb929d7e3e6d3971d in scripts/build/ 11.04 KB

11|1 BASE=/tmp /bin/sh -c scripts/build/dependencies-ubuntu.sh182 MB

12WORKDIR /tmp0 B

13LABEL maintainer=Martin Nowack <[email protected]>0 B

14ENV DOCKER_BUILD=10 B

15ARG BASE=/tmp0 B

16ARG DISABLE_ASSERTIONS0 B

17ARG ENABLE_OPTIMIZED0 B

18ARG ENABLE_DEBUG0 B

19ARG KEEP_BUILD0 B

20ARG KEEP_SRC0 B

21ARG KLEE_TRAVIS_BUILD0 B

22ARG LLVM_VERSION0 B

23ARG PACKAGED0 B

24ARG REQUIRES_RTTI0 B

25ARG SANITIZER_BUILD0 B

26ARG TRAVIS_OS_NAME0 B

27WORKDIR /tmp0 B

28ADD multi:b91dd5bdab9965c05ef337de2802c6d047e9b9d80b6813e861e66876c42d521e in scripts/build/ 11.08 KB

29|8 BASE=/tmp DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=1 KEEP_BUILD=0473.64 MB

Command

ADD file:d37ff24540ea7700d0fc053e1996b234428a88f3a324d7fcbd83d8ef95318040 in /