# There is currently no check script because upstream's tests have bitrotted. # Upstream has been informed of the situation. Name: sympol Version: 0.1.9 Release: 36%{?dist} Summary: Symmetric polyhedra tool # GPL-2.0-or-later: the code # MPL-2.0 AND BSD-3-Clause AND Apache-2.0: inlined eigen3 code # BSD-3-Clause: inlined permlib code # Knuth-CTAN: the Computer Modern fonts in the PDF manual License: GPL-2.0-or-later AND MPL-2.0 AND BSD-3-Clause AND Apache-2.0 AND Knuth-CTAN URL: http://www.math.uni-rostock.de/~rehn/software/sympol.html VCS: https://github.com/tremlin/SymPol Source0: %{vcs}/archive/v%{version}/%{name}-%{version}.tar.gz Source1: http://www.math.uni-rostock.de/~rehn/software/%{name}-manual-0.1.pdf # Adapt to changes in libstdc++ headers Patch0: %{name}-cpp.patch # Adapt to lrslib 073 Patch1: %{name}-lrslib073.patch # Adapt to bliss 0.76 Patch2: %{name}-bliss.patch # See https://fedoraproject.org/wiki/Changes/EncourageI686LeafRemoval ExcludeArch: %{ix86} BuildRequires: bliss-devel BuildRequires: boost-devel BuildRequires: cmake BuildRequires: cddlib-devel BuildRequires: eigen3-static BuildRequires: gcc-c++ BuildRequires: gmp-devel BuildRequires: lrslib-devel BuildRequires: make BuildRequires: permlib-devel Requires: %{name}-libs%{?_isa} = %{version}-%{release} %description SymPol is a C++ tool to work with symmetric polyhedra. It helps to compute restricted automorphisms (parts of the linear symmetry group) of polyhedra and performs polyhedral description conversion up to a given or computed symmetry group. %package libs Summary: Symmetric polyhedra library %description libs This package contains the SymPol library. %package devel Summary: Headers and libraries for developing SymPol applications Requires: %{name}-libs%{?_isa} = %{version}-%{release} Requires: boost-devel%{?_isa} Requires: eigen3-devel Requires: gmp-devel%{?_isa} Requires: permlib-devel %description devel This package contains the headers and library files needed to develop SymPol applications. %prep %autosetup -p0 -n SymPol-%{version} cp -p %{SOURCE1} . # Do not use the bundled cddlib, lrslib, or permlib rm -fr external/{cddlib-094f,lrslib-042c,permlib} sed -e "/(external/d" \ -e "s|-O3 -g|-I%{_includedir}/cddlib -I%{_includedir}/lrslib -DMA -DGMP -DBLISS_USE_GMP|" \ -i CMakeLists.txt # Eigen3 3.1.2 adds the need to link explicitly with -lpthread sed -i 's/{Boost_LIBRARIES}/& pthread/' sympol/CMakeLists.txt sed -i 's/{GMP_LIBRARIES}/& pthread/' test/CMakeLists.txt %build %cmake -DCMAKE_BUILD_TYPE=RelWithDebInfo %cmake_build %install %cmake_install # Fix some header files with broken includes cd %{buildroot}%{_includedir}/%{name} for f in *.h; do sed -r -e 's|(#include ").*/(.*")|\1\2|' -i.orig $f touch -r $f.orig $f rm -f $f.orig done %files %doc %{name}-manual-0.1.pdf %{_bindir}/%{name} %{_mandir}/man1/%{name}.1* %files libs %doc AUTHORS %license COPYING %{_libdir}/lib%{name}.so.0.1* %files devel %{_libdir}/lib%{name}.so %{_includedir}/%{name}/ %changelog * Wed Jun 19 2024 Jerry James - 0.1.9-36 - Rebuild for lrslib 7.3 * Sat Jan 27 2024 Fedora Release Engineering - 0.1.9-35 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Thu Jan 18 2024 Jonathan Wakely - 0.1.9-34 - Rebuilt for Boost 1.83 * Tue Jan 16 2024 Jerry James - 0.1.9-33 - Stop building for 32-bit x86 * Sat Jul 22 2023 Fedora Release Engineering - 0.1.9-33 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Mon Feb 20 2023 Jonathan Wakely - 0.1.9-32 - Rebuilt for Boost 1.81 * Sat Jan 21 2023 Fedora Release Engineering - 0.1.9-31 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Wed Dec 14 2022 Jerry James - 0.1.9-30 - Use more specific globs in %%files - Convert License tag to SPDX * Sat Jul 23 2022 Fedora Release Engineering - 0.1.9-30 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Wed May 04 2022 Thomas Rodgers - 0.1.9-29 - Rebuilt for Boost 1.78 * Sat Jan 22 2022 Fedora Release Engineering - 0.1.9-28 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Thu Oct 7 2021 Jerry James - 0.1.9-27 - Add -bliss patch for bliss 0.77 * Sat Aug 07 2021 Jonathan Wakely - 0.1.9-26 - Rebuilt for Boost 1.76 * Fri Jul 23 2021 Fedora Release Engineering - 0.1.9-25 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Wed Jan 27 2021 Fedora Release Engineering - 0.1.9-24 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Fri Jan 22 2021 Jonathan Wakely - 0.1.9-23 - Rebuilt for Boost 1.75 * Mon Dec 7 2020 Jerry James - 0.1.9-22 - Rebuild for bliss update * Wed Jul 29 2020 Fedora Release Engineering - 0.1.9-21 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Wed Jul 8 2020 Jerry James - 0.1.9-20 - Rebuild for lrslib 071 - Add -lrslib071 patch * Fri May 29 2020 Jonathan Wakely - 0.1.9-19 - Rebuilt for Boost 1.73 * Fri Jan 31 2020 Fedora Release Engineering - 0.1.9-18 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Sat Jul 27 2019 Fedora Release Engineering - 0.1.9-17 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Sun Feb 03 2019 Fedora Release Engineering - 0.1.9-16 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Tue Nov 20 2018 Jerry James - 0.1.9-15 - Rebuild for lrslib 070 * Sat Oct 13 2018 Jerry James - 0.1.9-14 - Rebuild for cddlib 0.94j * Sat Jul 14 2018 Fedora Release Engineering - 0.1.9-13 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Fri Feb 09 2018 Fedora Release Engineering - 0.1.9-12 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Thu Feb 1 2018 Jerry James - 0.1.9-11 - Rebuild for Boost 1.66 * Thu Sep 28 2017 Jerry James - 0.1.9-10 - Rebuild for cddlib * Thu Aug 03 2017 Fedora Release Engineering - 0.1.9-9 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild * Thu Jul 27 2017 Fedora Release Engineering - 0.1.9-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild * Wed Jul 19 2017 Jonathan Wakely - 0.1.9-7 - Rebuilt for s390x binutils bug * Tue Jul 04 2017 Jonathan Wakely - 0.1.9-6 - Rebuilt for Boost 1.64 * Sat Feb 11 2017 Fedora Release Engineering - 0.1.9-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild * Fri Jan 27 2017 Jonathan Wakely - 0.1.9-4 - Rebuilt for Boost 1.63 * Thu Dec 29 2016 Rich Mattes - 0.1.9-3 - Rebuild for eigen3-3.3.1 * Wed Jul 20 2016 Jerry James - 0.1.9-2 - Rebuild for permlib 0.2.9 * Fri May 27 2016 Jerry James - 0.1.9-1 - New upstream release * Tue May 17 2016 Jonathan Wakely - 0.1.8-28 - Rebuilt for linker errors in boost (#1331983) * Fri Feb 05 2016 Fedora Release Engineering - 0.1.8-27 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild * Sat Jan 16 2016 Jonathan Wakely - 0.1.8-26 - Rebuilt for Boost 1.60 * Fri Dec 4 2015 Jerry James - 0.1.8-25 - Rebuild for lrslib 061 * Sat Sep 19 2015 Jerry James - 0.1.8-24 - Rebuild for lrslib 060 * Thu Aug 27 2015 Jonathan Wakely - 0.1.8-23 - Rebuilt for Boost 1.59 * Wed Jul 29 2015 Fedora Release Engineering - 0.1.8-22 - Rebuilt for https://fedoraproject.org/wiki/Changes/F23Boost159 * Wed Jul 22 2015 David Tardon - 0.1.8-21 - rebuild for Boost 1.58 * Fri Jun 19 2015 Fedora Release Engineering - 0.1.8-20 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild * Sat May 02 2015 Kalev Lember - 0.1.8-19 - Rebuilt for GCC 5 C++11 ABI change * Wed Feb 04 2015 Petr Machata - 0.1.8-18 - Bump for rebuild. * Mon Feb 2 2015 Jerry James - 0.1.8-17 - Rebuild for lrslib 051 and eigen3 3.2.4 * Wed Jan 28 2015 Petr Machata - 0.1.8-16 - Rebuild for boost 1.57.0 * Thu Jan 15 2015 Jerry James - 0.1.8-15 - Rebuild for lrslib 050a and eigen3 3.2.3 * Mon Nov 10 2014 Jerry James - 0.1.8-14 - Rebuild for lrslib 050 * Mon Aug 18 2014 Fedora Release Engineering - 0.1.8-13 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild * Fri Aug 8 2014 Jerry James - 0.1.8-12 - Rebuild for eigen3-3.2.2 - Fix license handling * Sun Jun 08 2014 Fedora Release Engineering - 0.1.8-11 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild * Fri May 23 2014 Petr Machata - 0.1.8-10 - Rebuild for boost 1.55.0 * Mon Mar 10 2014 Jerry James - 0.1.8-9 - Rebuild for eigen3-3.2.1 * Sun Aug 04 2013 Fedora Release Engineering - 0.1.8-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild * Sat Jul 27 2013 pmachata@redhat.com - 0.1.8-7 - Rebuild for boost 1.54.0 * Sun Jul 21 2013 Rich Mattes - 0.1.8-6 - Rebuild for eigen3-3.1.3 * Wed Mar 6 2013 Jerry James - 0.1.8-5 - Rebuild for eigen3-3.1.2 * Sun Feb 10 2013 Denis Arnaud - 0.1.8-4 - Rebuild for Boost-1.53.0 * Sat Feb 09 2013 Denis Arnaud - 0.1.8-3 - Rebuild for Boost-1.53.0 * Wed Dec 5 2012 Jerry James - 0.1.8-2 - Add -DBLISS_USE_GMP to CFLAGS to avoid segfaults * Thu Sep 27 2012 Jerry James - 0.1.8-1 - New upstream release * Wed Sep 26 2012 Jerry James - 0.1.7-3 - Rebuild for permlib 0.2.7 * Mon Aug 20 2012 Jerry James - 0.1.7-2 - Move COPYING to the -libs subpackage * Mon Apr 30 2012 Jerry James - 0.1.7-1 - Initial RPM