diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2021-11-25 15:15:20 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2021-11-25 15:15:20 +0100 |
| commit | 51637d57fa2114e347fdc55fa37eb82b981d3ed7 (patch) | |
| tree | 64571e45730fb2b55af4b80f4822d627e86eec27 | |
| parent | 02492e8a9b71ec9f39951eecdd8b0c9ddf1619c8 (diff) | |
gnu: aris: Build with '-O2'.
* gnu/packages/maths.scm (aris)[arguments]: Pass "-O2 -g".
| -rw-r--r-- | gnu/packages/maths.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 962974dff8..cd1534f78d 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 |