From c3922d1fdc391d060305fbf3f97f03ea515a40d2 Mon Sep 17 00:00:00 2001 From: Nicolas Graves Date: Thu, 29 Jan 2026 09:49:35 +0100 Subject: gnu: ocaml-z3: Drop custom imported-modules. * gnu/packages/maths.scm (ocaml-z3)[arguments] <#:imported-modules, #:modules>: Drop them. Change-Id: I30a53824a7cbc7026f119f5bdbdf5da4ec3d5b64 Signed-off-by: Sharlatan Hellseher --- gnu/packages/maths.scm | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) (limited to 'gnu') diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index bd744ae939..b24eb54111 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -8700,12 +8700,7 @@ theories} (SMT) solver. It provides a C/C++ API, as well as Python bindings.") (name "ocaml-z3") (build-system gnu-build-system) (arguments - `(#:imported-modules ((guix build python-build-system) - ,@%default-gnu-imported-modules) - #:modules (((guix build python-build-system) #:select (site-packages)) - (guix build gnu-build-system) - (guix build utils)) - #:tests? #f; no ml tests + `(#:tests? #f; no ml tests #:phases (modify-phases %standard-phases (add-before 'configure 'bootstrap -- cgit v1.3