TakeV/guix
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

gnu: aris: Fix build.

Browse source 
* gnu/packages/maths.scm (aris)[arguments]: Pass '-fcommon' to CFLAGS.
This commit is contained in:
Guillaume Le Vaillant 2021-09-16 10:18:19 +02:00
parent c9f7770eee
commit bad54e6384
No known key found for this signature in database
GPG key ID: 6BE8208ADF21FE3F
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
gnu/packages/maths.scm
View file

@ -171,6 +171,8 @@ (define-public aris
(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