## START: Set by rpmautospec
## (rpmautospec version 0.7.3)
## RPMAUTOSPEC: autorelease, autochangelog
%define autorelease(e:s:pb:n) %{?-p:0.}%{lua:
    release_number = 4;
    base_release_number = tonumber(rpm.expand("%{?-b*}%{!?-b:1}"));
    print(release_number + base_release_number - 1);
}%{?-e:.%{-e*}}%{?-s:.%{-s*}}%{!?-n:%{?dist}}
## END: Set by rpmautospec

Name:           breakid
Version:        3.1.2
Release:        %autorelease
Summary:        Symmetry detecting and breaking library

License:        MIT
URL:            https://github.com/meelgroup/breakid
VCS:            git:%{url}.git
Source:         %{url}/archive/%{version}/%{name}-%{version}.tar.gz
# Do not change Fedora build flags
Patch:          %{name}-compiler-flags.patch
# Unbundle bliss, including updating from 0.73 to 0.77
Patch:          %{name}-unbundle-bliss.patch

# See https://fedoraproject.org/wiki/Changes/EncourageI686LeafRemoval
ExcludeArch:    %{ix86}

BuildRequires:  bliss-devel
BuildRequires:  cmake
BuildRequires:  cmake(argparse)
BuildRequires:  gcc-c++
BuildRequires:  help2man

%description
BreakID is a symmetry detecting and breaking library for SAT solvers.
It is based on Jo Devriendt's BreakID code.  It has been re-licensed by
the original author to be MIT.  All modifications by Mate Soos.

%package        devel
Summary:        Development files for breakid
Requires:       %{name}%{?_isa} = %{version}-%{release}
Requires:       bliss-devel%{?_isa}

%description    devel
Header files and library links for developing applications that use
breakid.

%prep
%autosetup -p1

# Make sure the bundled bliss cannot be used
rm -fr src/bliss

# Unbundle argparse
rm src/argparse.hpp
ln -s %{_includedir}/argparse/argparse.hpp src/argparse.hpp

# Fix end of line encoding
sed -i.orig 's/\r//' README.md
touch -r README.md.orig README.md
rm README.md.orig

%build
%cmake
%cmake_build

%install
%cmake_install

mkdir -p %{buildroot}%{_mandir}/man1
cd %{_vpath_builddir}
help2man -N --version-string=%{version} ./breakid \
  -n 'Symmetry detection and breaking' \
  -o %{buildroot}%{_mandir}/man1/breakid.1
cd -

%check
%ctest

%files
%doc README.md
%license LICENSE
%{_bindir}/breakid
%{_libdir}/libbreakid.so.3*
%{_mandir}/man1/breakid.1*

%files devel
%{_includedir}/%{name}/
%{_libdir}/cmake/%{name}/
%{_libdir}/libbreakid.so

%changelog
## START: Generated by rpmautospec
* Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 3.1.2-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild

* Tue Jul 16 2024 Jerry James <loganjerry@gmail.com> - 3.1.2-3
- Minor spec file simplifications

* Thu Mar 21 2024 Jerry James <loganjerry@gmail.com> - 3.1.2-2
- Stop building for 32-bit x86
- Improve man page description

* Wed Jan 31 2024 Jerry James <loganjerry@gmail.com> - 3.1.2-1
- Initial RPM
## END: Generated by rpmautospec