From a3bca0ea593adfdeaf1041533aabf69350b9a5c5 Mon Sep 17 00:00:00 2001
From: Rolf Neugebauer <rn@rneugeba.io>
Date: Fri, 17 Aug 2018 14:53:13 +0100
Subject: [PATCH] kernel: Add more packages to Dockerfile.kconfig

These packages are needed to enable the GCC_PLUGINS
during 'make oldconfig' for 4.18.x kernels.

Signed-off-by: Rolf Neugebauer <rn@rneugeba.io>
---
 kernel/Dockerfile.kconfig | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/kernel/Dockerfile.kconfig b/kernel/Dockerfile.kconfig
index 4b46712f0..f1dbb0a5c 100644
--- a/kernel/Dockerfile.kconfig
+++ b/kernel/Dockerfile.kconfig
@@ -6,7 +6,10 @@ RUN apk add \
     curl \
     diffutils \
     flex \
+    gmp-dev \
     libarchive-tools \
+    mpc1-dev \
+    mpfr-dev \
     ncurses-dev \
     patch \
     xz