jjames pushed to libsemigroups (master). "Do not ship the eigen3 headers in -devel."

Notification time stamped 2020-08-31 23:16:26 UTC

From 31c7977a9926a3f9e13cf0215397014acef0657d Mon Sep 17 00:00:00 2001
From: Jerry James 
Date: Aug 31 2020 23:16:12 +0000
Subject: Do not ship the eigen3 headers in -devel.

---

diff --git a/libsemigroups.spec b/libsemigroups.spec
index 227b77e..a986847 100644
--- a/libsemigroups.spec
+++ b/libsemigroups.spec
@@ -1,6 +1,6 @@
 Name:           libsemigroups
 Version:        1.3.1
-Release:        1%{?dist}
+Release:        2%{?dist}
 Summary:        C++ library for semigroups and monoids

License:        GPLv3+
@@ -83,6 +83,7 @@ Libsemigroups also has some advantages over Semigroupe 2.01:
 %package devel
 Summary:        Headers files for developing with %{name}
 Requires:       %{name}%{?_isa} = %{version}-%{release}
+Requires:       eigen3-devel%{?_isa}
 Requires:       fmt-devel%{?_isa}

%description devel
@@ -145,13 +146,22 @@ cd -
 %make_install
 rm -f %{buildroot}%{_libdir}/*.la

+fixtimestamp() {
+  touch -r $1.orig $1
+  rm -f $1.orig
+}
+
+# Do not bundle the eigen3 headers
+rm -fr %{buildroot}%{_includedir}/libsemigroups/Eigen
+sed -i.orig 's,<Eigen/,<eigen3/Eigen/,g' \
+    %{buildroot}%{_includedir}/libsemigroups/obvinf.hpp
+fixtimestamp %{buildroot}%{_includedir}/libsemigroups/obvinf.hpp
+
 # Do not bundle the fmt headers
 rm -fr %{buildroot}%{_includedir}/libsemigroups/fmt
 sed -i.orig 's,"(fmt/[[:alnum:]]*.h)",<\1>,g' \
     %{buildroot}%{_includedir}/libsemigroups/report.hpp
-touch -r %{buildroot}%{_includedir}/libsemigroups/report.hpp.orig \
-    %{buildroot}%{_includedir}/libsemigroups/report.hpp
-rm %{buildroot}%{_includedir}/libsemigroups/report.hpp.orig
+fixtimestamp %{buildroot}%{_includedir}/libsemigroups/report.hpp

%check
 LD_LIBRARY_PATH=$PWD/.libs make check
@@ -172,6 +182,9 @@ LD_LIBRARY_PATH=$PWD/.libs make check
 %license LICENSE

%changelog
+* Mon Aug 31 2020 Jerry James  - 1.3.1-2
+- Do not ship the eigen3 headers in -devel
+
 * Mon Aug 31 2020 Jerry James  - 1.3.1-1
 - Version 1.3.1
 - Add -autoconf patch

https://src.fedoraproject.org/rpms/libsemigroups/c/31c7977a9926a3f9e13cf0215...