Dockerfile 1.5 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243
  1. # Copyright (C) 2019 Intel Corporation. All rights reserved.
  2. # SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
  3. # hadolint global ignore=DL3008,DL3009
  4. ARG VARIANT=debian-12
  5. FROM mcr.microsoft.com/devcontainers/cpp:${VARIANT}
  6. ARG DEBIAN_FRONTEND=noninteractive
  7. ENV TZ=Asia/Shanghai
  8. RUN apt-get update \
  9. && apt-get upgrade -y
  10. RUN apt-get install -y apt-transport-https apt-utils build-essential \
  11. ca-certificates ccache clang-format-14 curl file g++-multilib git gnupg \
  12. libgcc-12-dev lib32gcc-12-dev libzstd-dev lsb-release \
  13. ninja-build ocaml ocamlbuild \
  14. python3-venv python3-pip \
  15. software-properties-common tree tzdata \
  16. unzip valgrind vim wget zip --no-install-recommends \
  17. && apt-get clean -y \
  18. && rm -rf /var/lib/apt/lists/*
  19. WORKDIR /opt
  20. ARG WASI_SDK_VER=25
  21. RUN wget -c --progress=dot:giga https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-${WASI_SDK_VER}/wasi-sdk-${WASI_SDK_VER}.0-x86_64-linux.tar.gz -P /tmp \
  22. && tar xf /tmp/wasi-sdk-${WASI_SDK_VER}.0-x86_64-linux.tar.gz -C /opt \
  23. && ln -sf /opt/wasi-sdk-${WASI_SDK_VER}.0-x86_64-linux /opt/wasi-sdk
  24. ARG WABT_VER=1.0.37
  25. RUN wget -c --progress=dot:giga https://github.com/WebAssembly/wabt/releases/download/${WABT_VER}/wabt-${WABT_VER}-ubuntu-20.04.tar.gz -P /tmp \
  26. && tar xf /tmp/wabt-${WABT_VER}-ubuntu-20.04.tar.gz -C /opt \
  27. && ln -sf /opt/wabt-${WABT_VER} /opt/wabt
  28. # set path
  29. # clean up
  30. RUN apt-get autoremove -y \
  31. && apt-get clean -y \
  32. && rm -rf /var/lib/apt/lists/* \
  33. && rm -rf /tmp/*