diff options
| author | Nicolas Graves <ngraves@ngraves.fr> | 2026-01-29 09:49:35 +0100 |
|---|---|---|
| committer | Andreas Enge <andreas@enge.fr> | 2026-02-07 12:28:52 +0100 |
| commit | c3922d1fdc391d060305fbf3f97f03ea515a40d2 (patch) | |
| tree | c633d72c47720f170d9b00d605abacce6c69fd1d /gnu/packages/maths.scm | |
| parent | f1df7d79d90fe2d1c0784e1cc715177361a4000b (diff) | |
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 <sharlatanus@gmail.com>
Diffstat (limited to 'gnu/packages/maths.scm')
| -rw-r--r-- | gnu/packages/maths.scm | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index bd744ae9399..b24eb541116 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 |