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=eac7e434ef1b...
https://src.fedoraproject.org/cgit/rpms/idris.git/commit/?id=abbe1b43c3c4....
Change:
+ExcludeArch: armv7hl
-ExcludeArch: armv7hl
Thanks.
Full change:
============
commit a4da8818658b81d8b47d2d239bbbb1f0877e32b4
Author: Jens Petersen <petersen(a)redhat.com>
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 <petersen(a)redhat.com> - 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 <petersen(a)redhat.com> - 1.3.0-2
- builds on armv7hl without prof lib
commit b22fcec0c31e9782dc64253e69e0f1673247aba8
Author: Jens Petersen <petersen(a)redhat.com>
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 <petersen(a)redhat.com> - 1.3.0-3
+- build with libffi and gmp
+- build the manual with python-sphinx
+
* Tue Jun 26 2018 Jens Petersen <petersen(a)redhat.com> - 1.3.0-2
- builds on armv7hl without prof lib
commit abbe1b43c3c4a1df5deae51bce43d0bc75bbf236
Author: Jens Petersen <petersen(a)redhat.com>
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/%{name}
Source0:
https://hackage.haskell.org/package/%{pkgver}/%{pkgver}.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 <petersen(a)redhat.com> - 1.3.0-2
+- builds on armv7hl without prof lib
+
* Mon Jun 25 2018 Jens Petersen <petersen(a)redhat.com> - 1.3.0-1
- update to 1.3.0
commit eac7e434ef1b8f9352304f515b1ee15c4c912914
Author: Jens Petersen <petersen(a)redhat.com>
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/%{name}
+Source0:
https://hackage.haskell.org/package/%{pkgver}/%{pkgver}.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 <petersen(a)redhat.com> - 1.3.0-1
+- update to 1.3.0
+
+* Thu Jul 28 2016 Jens Petersen <petersen(a)redhat.com> - 0.9.9.1-8
+- require gmp-devel (#1360168)
+
+* Thu Feb 04 2016 Fedora Release Engineering <releng(a)fedoraproject.org> -
0.9.9.1-7
+- Rebuilt for
https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
+
+* Wed Jun 17 2015 Fedora Release Engineering <rel-eng(a)lists.fedoraproject.org> -
0.9.9.1-6
+- Rebuilt for
https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
+
+* Mon Apr 6 2015 Jens Petersen <petersen(a)redhat.com> - 0.9.9.1-5
+- rebuild
+
+* Wed Jan 28 2015 Jens Petersen <petersen(a)redhat.com> - 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 <rel-eng(a)lists.fedoraproject.org> -
0.9.9.1-3
+- Rebuilt for
https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
+
+* Sat Jun 07 2014 Fedora Release Engineering <rel-eng(a)lists.fedoraproject.org> -
0.9.9.1-2
+- Rebuilt for
https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
+
+* Sat Oct 5 2013 Jens Petersen <petersen(a)redhat.com> - 0.9.9.1-1
+- update to 0.9.9.1
+- depends on ansi-terminal and time
+
+* Fri Oct 4 2013 Jens Petersen <petersen(a)redhat.com> - 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 <rel-eng(a)lists.fedoraproject.org> -
0.9.8-4
+- Rebuilt for
https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
+
+* Tue Jul 9 2013 Jens Petersen <petersen(a)redhat.com> - 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 <petersen(a)redhat.com> - 0.9.8-2
+- install idris devel data files under libdir (#947819)
+
+* Mon Jul 1 2013 Jens Petersen <petersen(a)redhat.com> - 0.9.8-1
+- update to 0.9.8
+-
http://idris-lang.org/archives/272
+
+* Sat Apr 6 2013 Jens Petersen <petersen(a)redhat.com> - 0.9.7-2
+- requires gcc
+
+* Wed Apr 3 2013 Jens Petersen <petersen(a)redhat.com> - 0.9.7-1
+- spec file regenerated with cabal-rpm-0.8.0
+
+* Sat Feb 25 2012 Jens Petersen <petersen(a)redhat.com> - 0.9.1-1
+- update to 0.9.1
+
+* Fri Jan 27 2012 Jens Petersen <petersen(a)redhat.com> - 0.9.0-1
+- BSD license
+
+* Fri Jan 27 2012 Fedora Haskell SIG <haskell-devel(a)lists.fedoraproject.org>
+- 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