[0/2] gcc-plugins: disable plugins when gmp.h is unavailable

Message ID	20240312-gcc-plugins-gmp-v1-0-c5e082437b9e@linutronix.de (mailing list archive)
Headers	show Received: from galois.linutronix.de (Galois.linutronix.de [193.142.43.55]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id C7F036FB9; Tue, 12 Mar 2024 15:03:33 +0000 (UTC) From: =?utf-8?q?Thomas_Wei=C3=9Fschuh?= <thomas.weissschuh@linutronix.de> Subject: [PATCH 0/2] gcc-plugins: disable plugins when gmp.h is unavailable Date: Tue, 12 Mar 2024 16:03:28 +0100 Message-Id: <20240312-gcc-plugins-gmp-v1-0-c5e082437b9e@linutronix.de> Precedence: bulk MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 8bit To: Kees Cook <keescook@chromium.org>, Masahiro Yamada <masahiroy@kernel.org> Cc: linux-hardening@vger.kernel.org, linux-kernel@vger.kernel.org, linux-kbuild@vger.kernel.org, =?utf-8?q?Thomas_Wei=C3=9Fschuh?= <thomas.weissschuh@linutronix.de>
Series	gcc-plugins: disable plugins when gmp.h is unavailable \| expand [0/2] gcc-plugins: disable plugins when gmp.h is unavailable [1/2] kbuild: add host-cc-option helper [2/2] gcc-plugins: disable plugins when gmp.h is unavailable

Message ID

20240312-gcc-plugins-gmp-v1-0-c5e082437b9e@linutronix.de (mailing list archive)

Headers

From: =?utf-8?q?Thomas_Wei=C3=9Fschuh?= <thomas.weissschuh@linutronix.de>
Subject: [PATCH 0/2] gcc-plugins: disable plugins when gmp.h is unavailable
Date: Tue, 12 Mar 2024 16:03:28 +0100
Message-Id: <20240312-gcc-plugins-gmp-v1-0-c5e082437b9e@linutronix.de>
Precedence: bulk
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: 8bit
To: Kees Cook <keescook@chromium.org>,
 Masahiro Yamada <masahiroy@kernel.org>
Cc: linux-hardening@vger.kernel.org, linux-kernel@vger.kernel.org,
  linux-kbuild@vger.kernel.org,
 =?utf-8?q?Thomas_Wei=C3=9Fschuh?= <thomas.weissschuh@linutronix.de>

Series

gcc-plugins: disable plugins when gmp.h is unavailable | expand

Message

Thomas Weißschuh March 12, 2024, 3:03 p.m. UTC

Without gmp.h the plugin build fails.

Signed-off-by: Thomas Weißschuh <thomas.weissschuh@linutronix.de>
---
Thomas Weißschuh (2):
      kbuild: add host-cc-option helper
      gcc-plugins: disable plugins when gmp.h is unavailable

 scripts/Kconfig.include     | 4 ++++
 scripts/gcc-plugins/Kconfig | 1 +
 2 files changed, 5 insertions(+)
---
base-commit: 855684c7d938c2442f07eabc154e7532b4c1fbf9
change-id: 20240312-gcc-plugins-gmp-efab1a8d05c0

Best regards,