summaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
diff options
context:
space:
mode:
authorGuillaume Le Vaillant <glv@posteo.net>2021-09-16 10:18:19 +0200
committerGuillaume Le Vaillant <glv@posteo.net>2021-09-16 10:18:19 +0200
commitbad54e6384cce74ad5ed41ede6bcb2822aa6bdc8 (patch)
treeb8856dea6ebba7a3708701bfbc1bfd2ac5258e43 /gnu/packages/maths.scm
parentc9f7770eeec3a7b493dcbf45c96a4528f2635604 (diff)
gnu: aris: Fix build.
* gnu/packages/maths.scm (aris)[arguments]: Pass '-fcommon' to CFLAGS.
Diffstat (limited to 'gnu/packages/maths.scm')
-rw-r--r--gnu/packages/maths.scm2
1 files changed, 2 insertions, 0 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 3672048ef2..043cbed96e 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