From e224ee0227e9cb83000ec10232949a1922dfba18 Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus Date: Sun, 12 Jan 2025 21:39:07 +0100 Subject: [PATCH] gnu: python-pysmt: Add missing inputs. * gnu/packages/python-xyz.scm (python-pysmt)[native-inputs]: Add python-setuptools and python-wheel. Change-Id: Ia2efffee11ed484768de1e85f087eda8fbd369d3 --- gnu/packages/python-xyz.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index eb5fec9470ec88a74354215778f9c275627f6435..d06e4e2b83c18912b6b6ca9a5a606ec0909d3fc1 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -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