39 lines
1.0 KiB
RPMSpec
39 lines
1.0 KiB
RPMSpec
# SPDX-FileCopyrightText: (C) 2026 Institute of Software, Chinese Academy of Sciences (ISCAS)
|
|
# SPDX-FileCopyrightText: (C) 2026 openRuyi Project Contributors
|
|
# SPDX-FileContributor: Jvle <keke.oerv@isrc.iscas.ac.cn>
|
|
#
|
|
# SPDX-License-Identifier: MulanPSL-2.0
|
|
|
|
%global srcname claripy
|
|
|
|
Name: python-%{srcname}
|
|
Version: 9.2.193
|
|
Release: %autorelease
|
|
Summary: An abstraction layer for constraint solvers.
|
|
License: BSD-2-Clause
|
|
URL: https://github.com/angr/claripy
|
|
#!RemoteAsset
|
|
Source0: https://files.pythonhosted.org/packages/source/c/%{srcname}/%{srcname}-%{version}.tar.gz
|
|
BuildSystem: pyproject
|
|
|
|
BuildOption(install): -l %{srcname}
|
|
|
|
BuildRequires: pyproject-rpm-macros
|
|
BuildRequires: pkgconfig(python3)
|
|
BuildRequires: pkgconfig(z3)
|
|
|
|
Provides: python3-%{srcname}
|
|
%python_provide python3-%{srcname}
|
|
|
|
%description
|
|
Claripy is an abstracted constraint-solving wrapper.
|
|
|
|
%generate_buildrequires
|
|
%pyproject_buildrequires
|
|
|
|
%files -f %{pyproject_files}
|
|
%license LICENSE
|
|
%doc README.md
|
|
|
|
%changelog
|
|
%{?autochangelog} |