build_fedora: install gmp, mpfr, mpc for gcc

ghdl · Jun 2, 2024 · 5a7fbe1 · 5a7fbe1
1 parent 479bd5f
commit 5a7fbe1
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/build_fedora.dockerfile b/build_fedora.dockerfile
@@ -44,4 +44,7 @@ RUN dnf --nodocs -y --allowerasing install \
     lbzip2 \
     texinfo \
     wget \
+    mpfr-devel \
+    gmp-devel \
+    libmpc-devel \
  && dnf clean all