From 90a5ca11022ad0dd113b72b112add510aaab0f15 Mon Sep 17 00:00:00 2001
From: Sharlatan Hellseher <sharlatanus@gmail.com>
Date: Wed, 23 Jul 2025 14:25:23 +0100
Subject: [PATCH] gnu: aiger: Fix build with gcc@14.

* gnu/packages/maths.scm (aiger) [arguments] <make-flags>: Provide skip
"implicit-function-declaration" warning.

Change-Id: I5352d85b40e6aef61f8bf1da59b50664d824b53b
---
 gnu/packages/maths.scm | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 771b454e307a8ed694e39711e04f105c46e80b15..b0f5b2e2c424ea1346a80226cfa368d447b5557c 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -9845,6 +9845,9 @@ optimized algorithms and implementation.")
     (build-system gnu-build-system)
     (arguments
      (list #:tests? #f                  ; no check target
+           #:make-flags
+           #~(list (string-append "CFLAGS=-g -O2"
+                                  " -Wno-error=implicit-function-declaration"))
            #:phases
            #~(modify-phases %standard-phases
                (add-after 'unpack 'patch-source