amaharaneko/guix-mirrors
1
1
Fork 0
mirror of https://codeberg.org/guix/guix.git synced 2025-10-02 02:15:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: python-pysmt: Add missing inputs.

Browse source 
* gnu/packages/python-xyz.scm (python-pysmt)[native-inputs]: Add
python-setuptools and python-wheel.

Change-Id: Ia2efffee11ed484768de1e85f087eda8fbd369d3
This commit is contained in:
Ricardo Wurmus 2025-01-12 21:39:07 +01:00
parent 8ef47ccb1b
commit e224ee0227
No known key found for this signature in database
GPG key ID: 197A5888235FACAC
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
gnu/packages/python-xyz.scm
View file

@ -35945,7 +35945,7 @@ SMT solvers and is built on top of the Z3 solver.")
(add-before 'check 'set-pysmt-solver
(lambda _
(setenv "PYSMT_SOLVER" "z3"))))))
(native-inputs (list python-pytest))
(native-inputs (list python-pytest python-setuptools python-wheel))
(propagated-inputs (list z3))
(home-page "https://github.com/pysmt/pysmt")
(synopsis