Name:           python-idp-engine
Version:        0.12.0
Release:        %autorelease
# Fill in the actual package summary to submit package to Fedora
Summary:        IDP-Z3 is a reasoning engine for knowledge represented using the FO(.) (aka FO-dot) language.

# No license information obtained, it's up to the packager to fill it in
License:        ...
URL:            https://gitlab.com/krr/IDP-Z3
Source:         %{pypi_source idp_engine}

BuildArch:      noarch
BuildRequires:  python3-devel


# Fill in the actual package description to submit package to Fedora
%global _description %{expand:
This is package 'idp-engine' generated automatically by pyp2spec.}

%description %_description

%package -n     python3-idp-engine
Summary:        %{summary}

%description -n python3-idp-engine %_description

# For official Fedora packages, review which extras should be actually packaged
# See: https://docs.fedoraproject.org/en-US/packaging-guidelines/Python/#Extras
%pyproject_extras_subpkg -n python3-idp-engine benchmark-table


%prep
%autosetup -p1 -n idp_engine-%{version}


%generate_buildrequires
# Keep only those extras which you actually want to package or use during tests
%pyproject_buildrequires -x benchmark-table


%build
%pyproject_wheel


%install
%pyproject_install
# For official Fedora packages, including files with '*' +auto is not allowed
# Replace it with a list of relevant Python modules/globs and list extra files in %%files
%pyproject_save_files '*' +auto


%check
%_pyproject_check_import_allow_no_modules -t


%files -n python3-idp-engine -f %{pyproject_files}


%changelog
%autochangelog