me
/
guix
Archived
1
0
Fork 0
Code

gnu: aris: Build with '-O2'. 

* gnu/packages/maths.scm (aris)[arguments]: Pass "-O2 -g".
master
Ludovic Courtès 2021-11-25 15:15:20 +01:00
parent 02492e8a9b
commit 51637d57fa
No known key found for this signature in database
GPG Key ID: 090B11993D9AEBB5
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gnu/packages/maths.scm
View File

@ -172,7 +172,7 @@
("libxml2" ,libxml2))) ("libxml2" ,libxml2)))
(native-inputs `(("pkg-config" ,pkg-config))) (native-inputs `(("pkg-config" ,pkg-config)))
(arguments (arguments
`(#:configure-flags '("CFLAGS=-fcommon"))) `(#:configure-flags '("CFLAGS=-O2 -g -fcommon")))
(synopsis "Natural deduction first-order logic interface") (synopsis "Natural deduction first-order logic interface")
(description "Aris is a program for performing logical proofs. It supports (description "Aris is a program for performing logical proofs. It supports
propositional and predicate logic, as well as Boolean algebra and propositional and predicate logic, as well as Boolean algebra and