stanfordoval/cvc4-http-server:latest

Integration & delivery

API management

Machine learning & AI

Manifest digest

sha256:b443b05fb9a36289e4e0ae6eba903d461311459aec58ecb2e4cb90d279b0057e

OS/ARCH

linux/amd64

Compressed size

198.3 MB

Last pushed

about 7 years by stanfordoval

Type

Image

Manifest digest

sha256:b443b05fb9a36289e4e0ae6eba903d461311459aec58ecb2e4cb90d279b0057e

Image Layers

1ADD file ... in / 25.45 MB

2/bin/sh -c [ -z "$(apt-get34.54 KB

3/bin/sh -c set -xe &&848 B

4/bin/sh -c mkdir -p /run/systemd162 B

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

6/bin/sh -c apt-get update -q19.17 MB

7/bin/sh -c apt-get install -y151.38 MB

8/bin/sh -c git clone https://github.com/stanford-oval/cvc4-http-server64.2 KB

9WORKDIR /cvc4-http-server0 B

10/bin/sh -c meson build --prefix=/usr/local292.39 KB

11/bin/sh -c ninja -C build1.38 MB

12/bin/sh -c ninja -C build550.56 KB

13ENV PORT=84000 B

14ENTRYPOINT ["/usr/local/bin/cvc4-http-server"]0 B

Command

ADD file:c477cb0e95c56b51e0b7353f3805165393689902b82a41bbe77dbef4b31667e1 in /