Architecture specific change in rpms/idris.git

The package rpms/idris.git has added or updated architecture specific content in its
spec file (ExclusiveArch/ExcludeArch or %ifarch/%ifnarch) in commit(s):
https://src.fedoraproject.org/cgit/rpms/idris.git/commit/?id=eac7e434ef1b8f9...
https://src.fedoraproject.org/cgit/rpms/idris.git/commit/?id=abbe1b43c3c4a1d....

Change:
+ExcludeArch:    armv7hl
-ExcludeArch:    armv7hl

Thanks.

Full change:
============

commit a4da8818658b81d8b47d2d239bbbb1f0877e32b4
Author: Jens Petersen 
Date:   Fri Jun 29 13:59:20 2018 +0900

add libs and manual subpkgs; fix docs perms

- drop the datadir=libdir mishack
    - just put rts lib in libdir

diff --git a/idris.spec b/idris.spec
index ea3a094..e7a1aa3 100644
--- a/idris.spec
+++ b/idris.spec
@@ -102,8 +102,17 @@ Features include:
 * Hugs style interactive environment.

+%package libs
+Summary:        Idris libraries
+BuildArch:      noarch
+
+%description libs
+This package provides the Idris library and RTS.
+
+
 %package -n ghc-%{name}
 Summary:        Haskell %{name} library
+Requires:       idris-libs = %{version}-%{release}

%description -n ghc-%{name}
 This package provides the Haskell %{name} shared library.
@@ -124,6 +133,14 @@ Requires:       ghc-%{name}%{?_isa} = %{version}-%{release}
 This package provides the Haskell %{name} library development files.

+%package manual
+Summary:        The Idris manual
+BuildArch:      noarch
+
+%description manual
+This package provides the manual for the idris programming language.
+
+
 %prep
 %setup -q
 cabal-tweak-flag FFI True
@@ -131,8 +148,6 @@ cabal-tweak-flag GMP True

%build
-# libidris_rts.a is arch dependent
-cabal_configure_extra_options=--datadir=%{_libdir}
 export LD_LIBRARY_PATH=$PWD/dist/build
 %ghc_lib_build
 make user_doc_html
@@ -142,8 +157,12 @@ make user_doc_html
 export LD_LIBRARY_PATH=$PWD/dist/build
 %ghc_lib_install
 %ghc_fix_rpath %{pkgver}
-mv %{buildroot}%{_ghclicensedir}/{,ghc-}%{name}
-mv %{buildroot}{%{_libdir},%{_datadir}}/man
+mv %{buildroot}%{_ghclicensedir}/%{name}{,-libs}
+# https://github.com/idris-lang/Idris-dev/issues/4495
+mv %{buildroot}%{_datadir}/%{pkgver}/rts/libidris_rts.a %{buildroot}%{_libdir}
+
+# https://github.com/idris-lang/Idris-dev/issues/4497
+chmod +r -R %{buildroot}%{_datadir}/%{pkgver}/docs

%check
@@ -159,7 +178,7 @@ mv %{buildroot}{%{_libdir},%{_datadir}}/man

%files
-%doc CHANGELOG.md CONTRIBUTORS README.md docs/_build/html
+%doc CHANGELOG.md CONTRIBUTORS README.md
 %{_bindir}/%{name}
 %{_bindir}/idris-codegen-c
 %{_bindir}/idris-codegen-javascript
@@ -167,18 +186,29 @@ mv %{buildroot}{%{_libdir},%{_datadir}}/man
 %{_mandir}/man1/idris.1*

-%files -n ghc-%{name} -f ghc-%{name}.files
+%files libs
 %license LICENSE
-%{_libdir}/%{pkgver}
+%{_datadir}/%{pkgver}
+
+
+%files -n ghc-%{name} -f ghc-%{name}.files
+%attr(644, -, -) %{_libdir}/libidris_rts.a

%files -n ghc-%{name}-devel -f ghc-%{name}-devel.files

+%files manual
+%doc docs/_build/html
+
+
 %changelog
 * Tue Jun 26 2018 Jens Petersen  - 1.3.0-3
 - build with libffi and gmp
 - build the manual with python-sphinx
+- noarch subpackages for manual and libs
+- make lib docs readable
+- install libidris_rts.a in libdir

* Tue Jun 26 2018 Jens Petersen  - 1.3.0-2
 - builds on armv7hl without prof lib

commit b22fcec0c31e9782dc64253e69e0f1673247aba8
Author: Jens Petersen 
Date:   Tue Jun 26 18:29:48 2018 +0900

build with FFI and GMP, and manual with sphinx

diff --git a/idris.spec b/idris.spec
index 38c31fc..ea3a094 100644
--- a/idris.spec
+++ b/idris.spec
@@ -12,7 +12,7 @@

Name:           %{pkg_name}
 Version:        1.3.0
-Release:        2%{?dist}
+Release:        3%{?dist}
 Summary:        Functional Programming Language with Dependent Types

License:        BSD
@@ -44,6 +44,7 @@ BuildRequires:  ghc-fingertree-devel
 BuildRequires:  ghc-fsnotify-devel
 BuildRequires:  ghc-haskeline-devel
 BuildRequires:  ghc-ieee754-devel
+BuildRequires:  ghc-libffi-devel
 BuildRequires:  ghc-megaparsec-devel
 BuildRequires:  ghc-mtl-devel
 BuildRequires:  ghc-network-devel
@@ -64,6 +65,7 @@ BuildRequires:  ghc-utf8-string-devel
 BuildRequires:  ghc-vector-binary-instances-devel
 BuildRequires:  ghc-vector-devel
 BuildRequires:  ghc-zip-archive-devel
+BuildRequires:  gmp-devel
 %if %{with tests}
 BuildRequires:  ghc-tagged-devel
 BuildRequires:  ghc-tasty-devel
@@ -72,6 +74,7 @@ BuildRequires:  ghc-tasty-rerun-devel
 %endif
 # End cabal-rpm deps
 BuildRequires:  gc-devel
+BuildRequires:  python-sphinx
 ## idris compiles to C and then uses gcc linking to the static rts library
 ## to generate executables (so devel files are included in the main package)
 Requires:       gcc
@@ -123,6 +126,8 @@ This package provides the Haskell %{name} library development files.

%prep
 %setup -q
+cabal-tweak-flag FFI True
+cabal-tweak-flag GMP True

%build
@@ -130,6 +135,7 @@ This package provides the Haskell %{name} library development files.
 cabal_configure_extra_options=--datadir=%{_libdir}
 export LD_LIBRARY_PATH=$PWD/dist/build
 %ghc_lib_build
+make user_doc_html

%install
@@ -153,7 +159,7 @@ mv %{buildroot}{%{_libdir},%{_datadir}}/man

%files
-%doc CHANGELOG.md CONTRIBUTORS README.md docs
+%doc CHANGELOG.md CONTRIBUTORS README.md docs/_build/html
 %{_bindir}/%{name}
 %{_bindir}/idris-codegen-c
 %{_bindir}/idris-codegen-javascript
@@ -170,6 +176,10 @@ mv %{buildroot}{%{_libdir},%{_datadir}}/man

%changelog
+* Tue Jun 26 2018 Jens Petersen  - 1.3.0-3
+- build with libffi and gmp
+- build the manual with python-sphinx
+
 * Tue Jun 26 2018 Jens Petersen  - 1.3.0-2
 - builds on armv7hl without prof lib

commit abbe1b43c3c4a1df5deae51bce43d0bc75bbf236
Author: Jens Petersen 
Date:   Tue Jun 26 13:02:46 2018 +0900

it builds on armv7hl in koji without_prof

diff --git a/idris.spec b/idris.spec
index 935c342..38c31fc 100644
--- a/idris.spec
+++ b/idris.spec
@@ -6,16 +6,19 @@

%bcond_with tests

+%ifarch armv7hl
+%global without_prof 1
+%endif
+
 Name:           %{pkg_name}
 Version:        1.3.0
-Release:        1%{?dist}
+Release:        2%{?dist}
 Summary:        Functional Programming Language with Dependent Types

License:        BSD
 Url:            https://hackage.haskell.org/package/%%7Bname%7D
 Source0:        https://hackage.haskell.org/package/%%7Bpkgver%7D/%%7Bpkgver%7D.tar.gz

-ExcludeArch:    armv7hl
 BuildRequires:  ghc-Cabal-devel
 BuildRequires:  ghc-rpm-macros
 # Begin cabal-rpm deps:
@@ -167,6 +170,9 @@ mv %{buildroot}{%{_libdir},%{_datadir}}/man

%changelog
+* Tue Jun 26 2018 Jens Petersen  - 1.3.0-2
+- builds on armv7hl without prof lib
+
 * Mon Jun 25 2018 Jens Petersen  - 1.3.0-1
 - update to 1.3.0

commit eac7e434ef1b8f9352304f515b1ee15c4c912914
Author: Jens Petersen 
Date:   Tue Jun 26 12:59:29 2018 +0900

bring back idris with 1.3.0

all deps are in Fedora again

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..8687b36
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,4 @@
+/idris-0.9.8.tar.gz
+/idris-0.9.9.tar.gz
+/idris-0.9.9.1.tar.gz
+/idris-1.3.0.tar.gz
diff --git a/dead.package b/dead.package
deleted file mode 100644
index ef03707..0000000
--- a/dead.package
+++ /dev/null
@@ -1 +0,0 @@
-FTBFS with ghc-7.10, and newer version requires too many new deps
diff --git a/idris.spec b/idris.spec
new file mode 100644
index 0000000..935c342
--- /dev/null
+++ b/idris.spec
@@ -0,0 +1,234 @@
+# generated by cabal-rpm-0.12.4
+# https://fedoraproject.org/wiki/Packaging:Haskell
+
+%global pkg_name idris
+%global pkgver %{pkg_name}-%{version}
+
+%bcond_with tests
+
+Name:           %{pkg_name}
+Version:        1.3.0
+Release:        1%{?dist}
+Summary:        Functional Programming Language with Dependent Types
+
+License:        BSD
+Url:            https://hackage.haskell.org/package/%%7Bname%7D
+Source0:        https://hackage.haskell.org/package/%%7Bpkgver%7D/%%7Bpkgver%7D.tar.gz
+
+ExcludeArch:    armv7hl
+BuildRequires:  ghc-Cabal-devel
+BuildRequires:  ghc-rpm-macros
+# Begin cabal-rpm deps:
+BuildRequires:  chrpath
+BuildRequires:  ghc-aeson-devel
+BuildRequires:  ghc-annotated-wl-pprint-devel
+BuildRequires:  ghc-ansi-terminal-devel
+BuildRequires:  ghc-ansi-wl-pprint-devel
+BuildRequires:  ghc-array-devel
+BuildRequires:  ghc-async-devel
+BuildRequires:  ghc-base64-bytestring-devel
+BuildRequires:  ghc-binary-devel
+BuildRequires:  ghc-blaze-html-devel
+BuildRequires:  ghc-blaze-markup-devel
+BuildRequires:  ghc-bytestring-devel
+BuildRequires:  ghc-cheapskate-devel
+BuildRequires:  ghc-code-page-devel
+BuildRequires:  ghc-containers-devel
+BuildRequires:  ghc-deepseq-devel
+BuildRequires:  ghc-directory-devel
+BuildRequires:  ghc-filepath-devel
+BuildRequires:  ghc-fingertree-devel
+BuildRequires:  ghc-fsnotify-devel
+BuildRequires:  ghc-haskeline-devel
+BuildRequires:  ghc-ieee754-devel
+BuildRequires:  ghc-megaparsec-devel
+BuildRequires:  ghc-mtl-devel
+BuildRequires:  ghc-network-devel
+BuildRequires:  ghc-optparse-applicative-devel
+BuildRequires:  ghc-pretty-devel
+BuildRequires:  ghc-process-devel
+BuildRequires:  ghc-regex-tdfa-devel
+BuildRequires:  ghc-safe-devel
+BuildRequires:  ghc-split-devel
+BuildRequires:  ghc-terminal-size-devel
+BuildRequires:  ghc-text-devel
+BuildRequires:  ghc-time-devel
+BuildRequires:  ghc-transformers-devel
+BuildRequires:  ghc-uniplate-devel
+BuildRequires:  ghc-unix-devel
+BuildRequires:  ghc-unordered-containers-devel
+BuildRequires:  ghc-utf8-string-devel
+BuildRequires:  ghc-vector-binary-instances-devel
+BuildRequires:  ghc-vector-devel
+BuildRequires:  ghc-zip-archive-devel
+%if %{with tests}
+BuildRequires:  ghc-tagged-devel
+BuildRequires:  ghc-tasty-devel
+BuildRequires:  ghc-tasty-golden-devel
+BuildRequires:  ghc-tasty-rerun-devel
+%endif
+# End cabal-rpm deps
+BuildRequires:  gc-devel
+## idris compiles to C and then uses gcc linking to the static rts library
+## to generate executables (so devel files are included in the main package)
+Requires:       gcc
+Requires:       gmp-devel
+
+%description
+Idris is a general purpose language with full dependent types. It is compiled,
+with eager evaluation. Dependent types allow types to be predicated on values,
+meaning that some aspects of a program's behaviour can be specified precisely
+in the type. The language is closely related to Epigram and Agda.
+There is a tutorial at http://www.idris-lang.org/documentation.
+Features include:
+
+* Full, first class, dependent types with dependent pattern matching
+* where clauses, with rule, case expressions, pattern matching let and
+  lambda bindings
+* Interfaces (similar to type classes), monad comprehensions
+* do notation, idiom brackets, syntactic conveniences for lists, tuples,
+  dependent pairs
+* Totality checking
+* Coinductive types
+* Indentation significant syntax, extensible syntax
+* Cumulative universes
+* Simple foreign function interface (to C)
+* Hugs style interactive environment.
+
+
+%package -n ghc-%{name}
+Summary:        Haskell %{name} library
+
+%description -n ghc-%{name}
+This package provides the Haskell %{name} shared library.
+
+
+%package -n ghc-%{name}-devel
+Summary:        Haskell %{name} library development files
+Provides:       ghc-%{name}-static = %{version}-%{release}
+Provides:       ghc-%{name}-doc = %{version}-%{release}
+%if %{defined ghc_version}
+Requires:       ghc-compiler = %{ghc_version}
+Requires(post): ghc-compiler = %{ghc_version}
+Requires(postun): ghc-compiler = %{ghc_version}
+%endif
+Requires:       ghc-%{name}%{?_isa} = %{version}-%{release}
+
+%description -n ghc-%{name}-devel
+This package provides the Haskell %{name} library development files.
+
+
+%prep
+%setup -q
+
+
+%build
+# libidris_rts.a is arch dependent
+cabal_configure_extra_options=--datadir=%{_libdir}
+export LD_LIBRARY_PATH=$PWD/dist/build
+%ghc_lib_build
+
+
+%install
+export LD_LIBRARY_PATH=$PWD/dist/build
+%ghc_lib_install
+%ghc_fix_rpath %{pkgver}
+mv %{buildroot}%{_ghclicensedir}/{,ghc-}%{name}
+mv %{buildroot}{%{_libdir},%{_datadir}}/man
+
+
+%check
+%cabal_test
+
+
+%post -n ghc-%{name}-devel
+%ghc_pkg_recache
+
+
+%postun -n ghc-%{name}-devel
+%ghc_pkg_recache
+
+
+%files
+%doc CHANGELOG.md CONTRIBUTORS README.md docs
+%{_bindir}/%{name}
+%{_bindir}/idris-codegen-c
+%{_bindir}/idris-codegen-javascript
+%{_bindir}/idris-codegen-node
+%{_mandir}/man1/idris.1*
+
+
+%files -n ghc-%{name} -f ghc-%{name}.files
+%license LICENSE
+%{_libdir}/%{pkgver}
+
+
+%files -n ghc-%{name}-devel -f ghc-%{name}-devel.files
+
+
+%changelog
+* Mon Jun 25 2018 Jens Petersen  - 1.3.0-1
+- update to 1.3.0
+
+* Thu Jul 28 2016 Jens Petersen  - 0.9.9.1-8
+- require gmp-devel (#1360168)
+
+* Thu Feb 04 2016 Fedora Release Engineering  - 0.9.9.1-7
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
+
+* Wed Jun 17 2015 Fedora Release Engineering  - 0.9.9.1-6
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
+
+* Mon Apr  6 2015 Jens Petersen  - 0.9.9.1-5
+- rebuild
+
+* Wed Jan 28 2015 Jens Petersen  - 0.9.9.1-4
+- cblrpm refresh
+- fix build with ghc78
+- temporarily exclude armv7hl until RTS issues resolved (#1190261)
+
+* Sat Aug 16 2014 Fedora Release Engineering  - 0.9.9.1-3
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
+
+* Sat Jun 07 2014 Fedora Release Engineering  - 0.9.9.1-2
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
+
+* Sat Oct  5 2013 Jens Petersen  - 0.9.9.1-1
+- update to 0.9.9.1
+- depends on ansi-terminal and time
+
+* Fri Oct  4 2013 Jens Petersen  - 0.9.9-1
+- update to 0.9.9
+  http://www.idris-lang.org/idris-0-9-9-released/
+- disable LLVM backend for now
+- depends on vector-binary-instances
+- buildrequires gc-devel
+
+* Sat Aug 03 2013 Fedora Release Engineering  - 0.9.8-4
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
+
+* Tue Jul  9 2013 Jens Petersen  - 0.9.8-3
+- use cabal_configure_extra_options to set datadir (#947819)
+- add a comment about the devel files in the main package (#947819)
+
+* Mon Jul  8 2013 Jens Petersen  - 0.9.8-2
+- install idris devel data files under libdir (#947819)
+
+* Mon Jul  1 2013 Jens Petersen  - 0.9.8-1
+- update to 0.9.8
+- http://idris-lang.org/archives/272
+
+* Sat Apr  6 2013 Jens Petersen  - 0.9.7-2
+- requires gcc
+
+* Wed Apr  3 2013 Jens Petersen  - 0.9.7-1
+- spec file regenerated with cabal-rpm-0.8.0
+
+* Sat Feb 25 2012 Jens Petersen  - 0.9.1-1
+- update to 0.9.1
+
+* Fri Jan 27 2012 Jens Petersen  - 0.9.0-1
+- BSD license
+
+* Fri Jan 27 2012 Fedora Haskell SIG 
+- spec file template generated by cabal2spec-0.25.4
diff --git a/sources b/sources
new file mode 100644
index 0000000..8aef4a7
--- /dev/null
+++ b/sources
@@ -0,0 +1 @@
+SHA512 (idris-1.3.0.tar.gz) = 2a5f66027914aa2a93fb45162f6be3f1662815081cd019a796a4e55cad8be61a9a8d85e6efdc2850081d12b86241cc678e9785d9773af0f2621fe22be9247db7