From ec1dffc2c13fbcef821504be9be469fc9ee42659 Mon Sep 17 00:00:00 2001 From: Zheng Junjie Date: Wed, 30 Oct 2024 23:03:25 +0800 Subject: gnu: boolector: Fix build. gnu/packages/maths.scm (boolector)[inputs]: Add gmp. Change-Id: I008360baed99d02d55bff76d683136ff505e2742 --- gnu/packages/maths.scm | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index a1c0f8e572..bb6c1648b5 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -7672,7 +7672,8 @@ (define-public boolector (substitute* (find-files "." "\\.c$") (("\"btor2parser/btor2parser\\.h\"") ""))))))) (inputs (list btor2tools - boost cryptominisat louvain-community sqlite)) + boost cryptominisat louvain-community sqlite + gmp)) (native-inputs (list googletest pkg-config python-wrapper)) (home-page "https://boolector.github.io") (synopsis "Bitvector-based theory solver") -- cgit v1.2.3