[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
06/09: gnu: aris: Build with '-O2'.
|
From: |
guix-commits |
|
Subject: |
06/09: gnu: aris: Build with '-O2'. |
|
Date: |
Thu, 25 Nov 2021 09:29:23 -0500 (EST) |
civodul pushed a commit to branch core-updates-frozen
in repository guix.
commit 51637d57fa2114e347fdc55fa37eb82b981d3ed7
Author: Ludovic Courtès <ludo@gnu.org>
AuthorDate: Thu Nov 25 15:15:20 2021 +0100
gnu: aris: Build with '-O2'.
* gnu/packages/maths.scm (aris)[arguments]: Pass "-O2 -g".
---
gnu/packages/maths.scm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 962974d..cd1534f 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -172,7 +172,7 @@
("libxml2" ,libxml2)))
(native-inputs `(("pkg-config" ,pkg-config)))
(arguments
- `(#:configure-flags '("CFLAGS=-fcommon")))
+ `(#:configure-flags '("CFLAGS=-O2 -g -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
- branch core-updates-frozen updated (c9208be -> 612e38b), guix-commits, 2021/11/25
- 02/09: gnu: iftop: Build with '-O2'., guix-commits, 2021/11/25
- 04/09: gnu: gpredict: Build with '-O2'., guix-commits, 2021/11/25
- 01/09: gnu: lib2geom: Skip faulty test on i686., guix-commits, 2021/11/25
- 03/09: gnu: vinagre: Build with '-O2'., guix-commits, 2021/11/25
- 08/09: gnu: w-scan: Build with '-O2'., guix-commits, 2021/11/25
- 07/09: gnu: transcode: Build with '-O2'., guix-commits, 2021/11/25
- 09/09: gnu: uim-gtk: Build with '-O2'., guix-commits, 2021/11/25
- 06/09: gnu: aris: Build with '-O2'.,
guix-commits <=
- 05/09: gnu: geeqie: Build with '-O2'., guix-commits, 2021/11/25