diff options
| author | Guillaume Le Vaillant <glv@posteo.net> | 2021-09-16 10:18:19 +0200 |
|---|---|---|
| committer | Guillaume Le Vaillant <glv@posteo.net> | 2021-09-16 10:18:19 +0200 |
| commit | bad54e6384cce74ad5ed41ede6bcb2822aa6bdc8 (patch) | |
| tree | b8856dea6ebba7a3708701bfbc1bfd2ac5258e43 /gnu/packages/maths.scm | |
| parent | c9f7770eeec3a7b493dcbf45c96a4528f2635604 (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.scm | 2 |
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 |