wangliu-iscas/guix-mirror
1
0
Fork 0
mirror of https://codeberg.org/guix/guix.git synced 2026-05-13 15:03:44 +00:00
Code Issues Packages Projects Releases Wiki Activity

gnu: ocaml-z3: Drop custom imported-modules.

Browse Source 
* gnu/packages/maths.scm (ocaml-z3)[arguments]
<#:imported-modules, #:modules>: Drop them.

Change-Id: I30a53824a7cbc7026f119f5bdbdf5da4ec3d5b64
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
This commit is contained in:
Nicolas Graves
2026-01-29 09:49:35 +01:00
committed by Andreas Enge
parent f1df7d79d9
commit c3922d1fdc
1 changed files with 1 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
gnu/packages/maths.scm
View File

@@ -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