build_debian: install gmp, mpfr, mpc (tentatively)

ghdl · Jun 1, 2024 · ae294ef · ae294ef
1 parent 58594cd
commit ae294ef
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/build_debian.dockerfile b/build_debian.dockerfile
@@ -50,5 +50,8 @@ RUN apt-get update -qq \
     lbzip2 \
     texinfo \
     wget \
+    libgmp-dev \
+    libmpfr-dev \
+    libmpc-dev \
  && apt-get autoclean && apt-get clean && apt-get -y autoremove \
  && rm -rf /var/lib/apt/lists/*