binghelisp/hol-dev:ci-6ea4e31-expk

Languages & frameworks

Developer tools

Index digest

sha256:478d27f3f2e53eff1abf3c888ee2e12be4b8e45fb3011166563e4eb23851c4a6

OS/ARCH

linux/amd64

Compressed size

2.7 GB

Last pushed

about 1 year by binghelisp

Type

Image

Manifest digest

sha256:f5ea699ba145710a1e6d7961c2da30d96195a00e3f521cd565922d6f379cc2ef

Image Layers

Image Layers

1# debian.sh --arch 'amd64' out/46.99 MB

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

3ARG TARGETPLATFORM=linux/amd640 B

4ARG BUILDPLATFORM=linux/amd640 B

5ARG POLY_VERSION=master0 B

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

7WORKDIR /ML91 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/amd64 BUILDPLATFORM=linux/amd64 POLY_VERSION=master15.55 MB

13RUN |3 TARGETPLATFORM=linux/amd64 BUILDPLATFORM=linux/amd64 POLY_VERSION=master190.26 MB

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

15RUN |3 TARGETPLATFORM=linux/amd64 BUILDPLATFORM=linux/amd64 POLY_VERSION=master139.55 MB

16RUN |3 TARGETPLATFORM=linux/amd64 BUILDPLATFORM=linux/amd64 POLY_VERSION=master43.58 MB

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

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

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

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

21RUN |3 TARGETPLATFORM=linux/amd64 BUILDPLATFORM=linux/amd64 POLY_VERSION=master5 MB

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

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

24RUN |3 TARGETPLATFORM=linux/amd64 BUILDPLATFORM=linux/amd64 POLY_VERSION=master171.94 KB

25RUN |3 TARGETPLATFORM=linux/amd64 BUILDPLATFORM=linux/amd64 POLY_VERSION=master6.75 MB

26RUN |3 TARGETPLATFORM=linux/amd64 BUILDPLATFORM=linux/amd64 POLY_VERSION=master3.64 MB

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

28RUN |3 TARGETPLATFORM=linux/amd64 BUILDPLATFORM=linux/amd64 POLY_VERSION=master23.23 MB

29RUN |3 TARGETPLATFORM=linux/amd64 BUILDPLATFORM=linux/amd64 POLY_VERSION=master23.19 MB

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

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

32RUN |3 TARGETPLATFORM=linux/amd64 BUILDPLATFORM=linux/amd64 POLY_VERSION=master3.92 MB

33RUN |3 TARGETPLATFORM=linux/amd64 BUILDPLATFORM=linux/amd64 POLY_VERSION=master2.14 MB

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

35RUN |3 TARGETPLATFORM=linux/amd64 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

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

40ARG TARGETPLATFORM=linux/amd640 B

41ARG BUILDPLATFORM=linux/amd640 B

42RUN |2 TARGETPLATFORM=linux/amd64 BUILDPLATFORM=linux/amd64 /bin/sh173 B

43WORKDIR /ML32 B

44RUN |2 TARGETPLATFORM=linux/amd64 BUILDPLATFORM=linux/amd64 /bin/sh14.74 MB

45RUN |2 TARGETPLATFORM=linux/amd64 BUILDPLATFORM=linux/amd64 /bin/sh14.75 MB

46RUN |2 TARGETPLATFORM=linux/amd64 BUILDPLATFORM=linux/amd64 /bin/sh46.62 MB

47RUN |2 TARGETPLATFORM=linux/amd64 BUILDPLATFORM=linux/amd64 /bin/sh32 B

48ARG Z3_VERSION=4.13.00 B

49RUN |3 TARGETPLATFORM=linux/amd64 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.047.18 MB

50RUN |3 TARGETPLATFORM=linux/amd64 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.032 B

51RUN |3 TARGETPLATFORM=linux/amd64 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.03.11 MB

52RUN |3 TARGETPLATFORM=linux/amd64 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.032 B

53ARG CVC5_VERSION=1.1.20 B

54RUN |4 TARGETPLATFORM=linux/amd64 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.025.72 MB

55ARG SMV_VERSION=2.0.00 B

56RUN |5 TARGETPLATFORM=linux/amd64 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.0116 B

57RUN |5 TARGETPLATFORM=linux/amd64 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.05.95 MB

58RUN |5 TARGETPLATFORM=linux/amd64 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.032 B

59ENV HOL4_SMV_EXECUTABLE=/ML/solvers/NuRV0 B

60RUN |5 TARGETPLATFORM=linux/amd64 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.012.79 KB

61RUN |5 TARGETPLATFORM=linux/amd64 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.0260.7 MB

62RUN |5 TARGETPLATFORM=linux/amd64 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.0284.67 MB

63RUN |5 TARGETPLATFORM=linux/amd64 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.01.07 GB

64RUN |5 TARGETPLATFORM=linux/amd64 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.032 B

65ARG PANDOC_VERSION=3.7.0.20 B

66RUN |6 TARGETPLATFORM=linux/amd64 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.032.66 MB

67RUN |6 TARGETPLATFORM=linux/amd64 BUILDPLATFORM=linux/amd64 Z3_VERSION=4.13.032 B

68ARG TARGETPLATFORM=linux/amd640 B

69ARG BUILDPLATFORM=linux/amd640 B

70ARG BUILDOPTS=--expk -j4 -t0 B

71ARG SML=poly0 B

72WORKDIR /ML/HOL111 B

73COPY . . # buildkit44.69 MB

74ARG Z3_VERSION=4.13.00 B

75ARG CVC_VERSION=50 B

76ARG YICES_VERSION0 B

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

78ENV HOL4_Z3_EXECUTABLE=/ML/z3-4.13.0/bin/z30 B

79RUN |7 TARGETPLATFORM=linux/amd64 BUILDPLATFORM=linux/amd64 BUILDOPTS=--expk32 B

80ENV HOL4_CVC_EXECUTABLE=/ML/cvc5-Linux0 B

81RUN |7 TARGETPLATFORM=linux/amd64 BUILDPLATFORM=linux/amd64 BUILDOPTS=--expk32 B

82ENV HOL4_YICES_EXECUTABLE=0 B

83RUN |7 TARGETPLATFORM=linux/amd64 BUILDPLATFORM=linux/amd64 BUILDOPTS=--expk32 B

84RUN |7 TARGETPLATFORM=linux/amd64 BUILDPLATFORM=linux/amd64 BUILDOPTS=--expk32 B

85RUN |7 TARGETPLATFORM=linux/amd64 BUILDPLATFORM=linux/amd64 BUILDOPTS=--expk6.81 MB

86RUN |7 TARGETPLATFORM=linux/amd64 BUILDPLATFORM=linux/amd64 BUILDOPTS=--expk256.61 MB

87RUN |7 TARGETPLATFORM=linux/amd64 BUILDPLATFORM=linux/amd64 BUILDOPTS=--expk30.08 MB

88CMD ["/ML/HOL/bin/hol"]0 B

Command

# debian.sh --arch 'amd64' out/ 'trixie' '@1753056000'