binghelisp/hol-dev:base

Multi-platform

Languages & frameworks

Developer tools

Index digest

sha256:50fb1bed0805bda739298a3532020b0ea5451b1585905e4086234b65db8bc3e0

OS/ARCH

Compressed size

549.63 MB

Last pushed

12 months by binghelisp

Type

Image

Manifest digest

sha256:48cec664cdd3eb6a64263ccad21b6258c6a0ae43100221947366931b9bff8613

Image Layers

Image Layers

1# debian.sh --arch 'i386' out/48.44 MB

2LABEL org.opencontainers.image.authors=Chun Tian (binghe) <[email protected]>0 B

3ARG TARGETPLATFORM=linux/3860 B

4ARG BUILDPLATFORM=linux/amd640 B

5ARG POLY_VERSION=master0 B

6RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master171 B

7WORKDIR /ML92 B

8VOLUME [/ML]0 B

9ENV DEBIAN_FRONTEND=noninteractive0 B

10ENV LD_LIBRARY_PATH=/usr/local/lib:/ML/polyml/lib0 B

11ENV PATH=/ML/polyml/bin:/ML/HOL/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin0 B

12RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master15.79 MB

13RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master195.78 MB

14RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master68.62 MB

15RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master129.87 MB

16RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master47.17 MB

17RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master32 B

18COPY mosml-gcc-13.patch /ML # buildkit377 B

19RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master2.45 MB

20RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master2.22 KB

21RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master4.71 MB

22RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master164 B

23RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master7.71 MB

24RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master172.19 KB

25RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master5.33 MB

26RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master2.58 MB

27RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master152 B

28RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master32 B

29RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master32 B

30RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master32 B

31RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master13.67 MB

32RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master1.48 MB

33RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master595.41 KB

34RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master158 B

35RUN |3 TARGETPLATFORM=linux/386 BUILDPLATFORM=linux/amd64 POLY_VERSION=master5.28 MB

36ENV LANG=en_US.UTF-80 B

37ENV LANGUAGE=en_US:en0 B

38ENV LC_ALL=en_US.UTF-80 B

Command

# debian.sh --arch 'i386' out/ 'trixie' '@1757289600'