mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-11 21:50:52 +00:00
Code Activity

Fix build errors in setup.py and pyproject.toml

Browse source 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot] 2025-06-25 23:43:02 +00:00
parent 59f3801ae4
commit f7e89fcbeb
2 changed files with 6 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/api/python/pyproject.toml
View file

@ -7,7 +7,7 @@ name = "z3-solver"
description = "an efficient SMT solver library" description = "an efficient SMT solver library"
readme = "README.txt" readme = "README.txt"
requires-python = ">=3.8" requires-python = ">=3.8"
license = "MIT" license = {text = "MIT"}
authors = [ authors = [
{name = "The Z3 Theorem Prover Project"} {name = "The Z3 Theorem Prover Project"}
] ]

6
src/api/python/setup.py
View file

@ -9,7 +9,11 @@ import glob
from setuptools import setup from setuptools import setup
from setuptools.command.build import build as _build from setuptools.command.build import build as _build
from setuptools.command.sdist import sdist as _sdist from setuptools.command.sdist import sdist as _sdist
from setuptools.command.bdist_wheel import bdist_wheel as _bdist_wheel try:
from wheel.bdist_wheel import bdist_wheel as _bdist_wheel
except ImportError:
# wheel package not available, provide a dummy class
from setuptools.command.build import build as _bdist_wheel
from setuptools.command.develop import develop as _develop from setuptools.command.develop import develop as _develop
class LibError(Exception): class LibError(Exception):