add gcc-13 as dependency in dev environment and add aliases

2023-07-23 21:12:09 +09:00 · 2023-07-23 21:12:09 +09:00 · f259738602
commit f259738602
parent 0a97f0e3ae
1 changed files with 5 additions and 0 deletions
--- a/5
+++ b/5
@ -3,10 +3,15 @@ FROM debian:unstable-slim
 RUN apt update && apt install -y --no-install-recommends  \
  ca-certificates  \
  cmake  \
+  gcc-13  \
  gdb  \
  git  \
  g++-13  \
  make  \
  && apt -y clean && rm -rf /var/lib/apt/lists/*

+RUN  \
+  ln -s /usr/bin/gcc-13 /usr/bin/gcc &&  \
+  ln -s /usr/bin/g++-13 /usr/bin/g++
+
 WORKDIR /repo