02/07: gnu: aris: Fix build.

[guix-commits]

glv pushed a commit to branch core-updates-frozen
in repository guix.

commit bad54e6384cce74ad5ed41ede6bcb2822aa6bdc8
Author: Guillaume Le Vaillant <glv@posteo.net>
AuthorDate: Thu Sep 16 10:18:19 2021 +0200

    gnu: aris: Fix build.
    
    * gnu/packages/maths.scm (aris)[arguments]: Pass '-fcommon' to CFLAGS.
---
 gnu/packages/maths.scm | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 3672048..043cbed 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -171,6 +171,8 @@
     (inputs `(("gtk+" ,gtk+)
               ("libxml2" ,libxml2)))
     (native-inputs `(("pkg-config" ,pkg-config)))
+    (arguments
+     `(#:configure-flags '("CFLAGS=-fcommon")))
     (synopsis "Natural deduction first-order logic interface")
     (description "Aris is a program for performing logical proofs.  It supports
 propositional and predicate logic, as well as Boolean algebra and