From 51637d57fa2114e347fdc55fa37eb82b981d3ed7 Mon Sep 17 00:00:00 2001 From: Ludovic Courtès Date: Thu, 25 Nov 2021 15:15:20 +0100 Subject: 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(-) (limited to 'gnu/packages') 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 -- cgit 1.4.1