From 2689f80c703ae2cad4a7a74f6254b6b6463ea219 Mon Sep 17 00:00:00 2001 From: "liang.he@intel.com" Date: Wed, 21 Jan 2026 12:51:01 +0800 Subject: [PATCH] [devcontainer] install ocmal stuff For gc proposal spec test --- .devcontainer/Dockerfile | 17 ++++++++--------- .devcontainer/finalize.sh | 6 ++++++ 2 files changed, 14 insertions(+), 9 deletions(-) diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile index 85fd90ad8a..b81561a56f 100644 --- a/.devcontainer/Dockerfile +++ b/.devcontainer/Dockerfile @@ -12,15 +12,14 @@ ENV TZ=Asia/Shanghai RUN apt-get update \ && apt-get upgrade -y -RUN apt-get install -y apt-transport-https apt-utils build-essential \ - ca-certificates ccache clang-format-14 curl file g++-multilib git gnupg \ - libgcc-12-dev lib32gcc-12-dev libzstd-dev lsb-release \ - ninja-build ocaml ocamlbuild \ - python3-venv python3-pip \ - software-properties-common tree tzdata \ - unzip valgrind vim wget zip --no-install-recommends \ - && apt-get clean -y \ - && rm -rf /var/lib/apt/lists/* +RUN apt-get update \ + && apt-get install -y apt-transport-https apt-utils build-essential \ + ca-certificates ccache clang-format-14 curl file g++-multilib git gnupg \ + libgcc-12-dev lib32gcc-12-dev libzstd-dev lsb-release \ + ninja-build ocaml ocamlbuild opam \ + python3-venv python3-pip \ + software-properties-common tree tzdata \ + unzip valgrind vim wget zip --no-install-recommends WORKDIR /opt diff --git a/.devcontainer/finalize.sh b/.devcontainer/finalize.sh index 4dd7f5306c..a7d877b82e 100644 --- a/.devcontainer/finalize.sh +++ b/.devcontainer/finalize.sh @@ -3,10 +3,16 @@ echo "Running finalize script..." # # Python Package Installation # +echo "--- Installing Python Dependencies\n" # Upgrade pip first python3 -m pip install --no-cache-dir --break-system-packages --upgrade pip # Install required packages pip3 install --no-cache-dir --break-system-packages -r .devcontainer/requirements.txt +echo "--- Installing Ocaml stuff\n" +opam init --yes --shell-setup +eval $(opam env --switch=default) +opam install --yes dune menhir + echo "Finalize script completed. ✅"