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=bbd628512f76...
https://src.fedoraproject.org/cgit/rpms/idris.git/commit/?id=abbe1b43c3c4...
https://src.fedoraproject.org/cgit/rpms/idris.git/commit/?id=599997e63306....
Change:
+ExcludeArch: armv7hl
-ExcludeArch: armv7hl
-ExcludeArch: armv7hl
+ExcludeArch: armv7hl
Thanks.
Full change:
============
commit f09da61a96096a666e22cc724f4ec435e215af2b
Author: Jens Petersen <petersen(a)redhat.com>
Date: Sat Jun 30 14:57:17 2018 +0900
BR python2-sphinx and install manual in buildroot
diff --git a/idris.spec b/idris.spec
index e7a1aa3..d8dce32 100644
--- a/idris.spec
+++ b/idris.spec
@@ -12,7 +12,7 @@
Name: %{pkg_name}
Version: 1.3.0
-Release: 3%{?dist}
+Release: 4%{?dist}
Summary: Functional Programming Language with Dependent Types
License: BSD
@@ -74,7 +74,8 @@ BuildRequires: ghc-tasty-rerun-devel
%endif
# End cabal-rpm deps
BuildRequires: gc-devel
-BuildRequires: python-sphinx
+# needs sphinx-build
+BuildRequires: python2-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
@@ -164,6 +165,9 @@ 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
+mkdir -p %{buildroot}%{_docdir}/idris-manual
+cp -r docs/_build/html/* %{buildroot}%{_docdir}/idris-manual/
+
%check
%cabal_test
@@ -199,10 +203,14 @@ chmod +r -R %{buildroot}%{_datadir}/%{pkgver}/docs
%files manual
-%doc docs/_build/html
+%{_docdir}/idris-manual
%changelog
+* Sat Jun 30 2018 Jens Petersen <petersen(a)redhat.com> - 1.3.0-4
+- BR python2-sphinx for sphinx-build (#1594765)
+- install the manual in the buildroot
+
* 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
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
commit bbd628512f763fb82cc4bca25a6020a47e0c6f7e
Author: Jens Petersen <petersen(a)redhat.com>
Date: Tue Oct 4 19:47:04 2016 +0900
FTBFS with ghc-7.10, and newer version requires too many new deps
diff --git a/.gitignore b/.gitignore
deleted file mode 100644
index a31d965..0000000
--- a/.gitignore
+++ /dev/null
@@ -1,3 +0,0 @@
-/idris-0.9.8.tar.gz
-/idris-0.9.9.tar.gz
-/idris-0.9.9.1.tar.gz
diff --git a/dead.package b/dead.package
new file mode 100644
index 0000000..ef03707
--- /dev/null
+++ b/dead.package
@@ -0,0 +1 @@
+FTBFS with ghc-7.10, and newer version requires too many new deps
diff --git a/idris-ASTBuilding-ghc78.patch b/idris-ASTBuilding-ghc78.patch
deleted file mode 100644
index d7f39cf..0000000
--- a/idris-ASTBuilding-ghc78.patch
+++ /dev/null
@@ -1,11 +0,0 @@
---- idris-0.9.9.1/src/IRTS/Java/ASTBuilding.hs~ 2013-09-20 00:27:13.000000000 +0200
-+++ idris-0.9.9.1/src/IRTS/Java/ASTBuilding.hs 2015-02-06 14:42:26.225556867 +0100
-@@ -60,7 +60,7 @@
-
- (@!) :: Exp -> Int -> ArrayIndex
- (@!) target pos =
-- ArrayIndex target (Lit $ Int (toInteger pos))
-+ ArrayIndex target [Lit $ Int (toInteger pos)]
-
- (@:=) :: Either ArrayIndex Ident -> Exp -> BlockStmt
- (@:=) (Right lhs) rhs =
diff --git a/idris-rts-opt-fprintf.patch b/idris-rts-opt-fprintf.patch
deleted file mode 100644
index 5262153..0000000
--- a/idris-rts-opt-fprintf.patch
+++ /dev/null
@@ -1,11 +0,0 @@
---- idris-0.9.9.1/rts/idris_opts.c~ 2013-09-20 00:27:13.000000000 +0200
-+++ idris-0.9.9.1/rts/idris_opts.c 2015-02-06 15:48:21.986185276 +0100
-@@ -17,7 +17,7 @@
- "\n";
-
- void print_usage(FILE * s) {
-- fprintf(s, usage);
-+ fprintf(s, "%s", usage);
- }
-
- int read_size(char * str) {
diff --git a/idris.spec b/idris.spec
deleted file mode 100644
index 7fc81b4..0000000
--- a/idris.spec
+++ /dev/null
@@ -1,155 +0,0 @@
-#
https://fedoraproject.org/wiki/Packaging:Haskell
-
-Name: idris
-Version: 0.9.9.1
-Release: 8%{?dist}
-Summary: Functional Programming Language with Dependent Types
-
-License: BSD
-Url:
https://hackage.haskell.org/package/%{name}
-Source0:
https://hackage.haskell.org/package/%{name}-%{version}/%{name}-%{version}...
-Patch0: idris-ASTBuilding-ghc78.patch
-Patch1: idris-rts-opt-fprintf.patch
-
-ExcludeArch: armv7hl
-BuildRequires: ghc-Cabal-devel
-BuildRequires: ghc-rpm-macros
-# Begin cabal-rpm deps:
-BuildRequires: ghc-ansi-terminal-devel
-BuildRequires: ghc-binary-devel
-BuildRequires: ghc-bytestring-devel
-BuildRequires: ghc-containers-devel
-BuildRequires: ghc-directory-devel
-BuildRequires: ghc-filepath-devel
-BuildRequires: ghc-haskeline-devel
-BuildRequires: ghc-language-java-devel
-BuildRequires: ghc-libffi-devel
-BuildRequires: ghc-mtl-devel
-BuildRequires: ghc-parsec-devel
-BuildRequires: ghc-pretty-devel
-BuildRequires: ghc-process-devel
-BuildRequires: ghc-split-devel
-BuildRequires: ghc-text-devel
-BuildRequires: ghc-time-devel
-BuildRequires: ghc-transformers-devel
-BuildRequires: ghc-unix-devel
-BuildRequires: ghc-vector-binary-instances-devel
-BuildRequires: ghc-vector-devel
-# 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
-behavior 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 dependent types with dependent pattern matching
-* where clauses, with rule, simple case expressions, pattern matching let and
- lambda bindings
-* Type classes, monad comprehensions
-* do notation, idiom brackets, syntactic conveniences for lists, tuples,
- dependent pairs
-* Totality checking
-* Coinductive types
-* Indentation significant syntax, extensible syntax
-* Tactic based theorem proving (influenced by Coq)
-* Cumulative universes
-* Simple foreign function interface (to C)
-* Hugs style interactive environment.
-
-
-%prep
-%setup -q
-%patch0 -p1 -b .orig
-%patch1 -p1 -b .orig
-
-cabal-tweak-flag LLVM False
-
-
-%build
-# libidris_rts.a is arch dependent
-cabal_configure_extra_options=--datadir=%{_libdir}
-%ghc_bin_build
-
-
-%install
-%ghc_bin_install
-
-
-%files
-%license LICENSE
-%doc tutorial
-%attr(755,root,root) %{_bindir}/%{name}
-%{_libdir}/%{name}-%{version}
-
-
-%changelog
-* 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
deleted file mode 100644
index ff3d420..0000000
--- a/sources
+++ /dev/null
@@ -1 +0,0 @@
-5d980e2cd61f5b08cbbabad5f6397c71 idris-0.9.9.1.tar.gz
commit 2ba4787b366b2b5fdf6aa6c5d7662ab659f4ac66
Author: Jens Petersen <petersen(a)redhat.com>
Date: Wed Sep 28 12:49:55 2016 +0900
use %license
diff --git a/idris.spec b/idris.spec
index 8603c78..7fc81b4 100644
--- a/idris.spec
+++ b/idris.spec
@@ -84,7 +84,8 @@ cabal_configure_extra_options=--datadir=%{_libdir}
%files
-%doc LICENSE tutorial
+%license LICENSE
+%doc tutorial
%attr(755,root,root) %{_bindir}/%{name}
%{_libdir}/%{name}-%{version}
commit b9ee13a47aa713ee4993bc3b2b19ff59e0f966d1
Author: Jens Petersen <petersen(a)redhat.com>
Date: Thu Jul 28 16:46:24 2016 +0900
require gmp-devel (#1360168)
diff --git a/idris.spec b/idris.spec
index dd1be44..8603c78 100644
--- a/idris.spec
+++ b/idris.spec
@@ -2,7 +2,7 @@
Name: idris
Version: 0.9.9.1
-Release: 7%{?dist}
+Release: 8%{?dist}
Summary: Functional Programming Language with Dependent Types
License: BSD
@@ -40,6 +40,7 @@ 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.
@@ -89,6 +90,9 @@ cabal_configure_extra_options=--datadir=%{_libdir}
%changelog
+* 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
commit 625b0c4281808111306d581c455cf2f1eb1530f0
Author: Dennis Gilmore <dennis(a)ausil.us>
Date: Thu Feb 4 00:25:40 2016 +0000
- Rebuilt for
https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
diff --git a/idris.spec b/idris.spec
index 75cb0e2..dd1be44 100644
--- a/idris.spec
+++ b/idris.spec
@@ -2,7 +2,7 @@
Name: idris
Version: 0.9.9.1
-Release: 6%{?dist}
+Release: 7%{?dist}
Summary: Functional Programming Language with Dependent Types
License: BSD
@@ -89,6 +89,9 @@ cabal_configure_extra_options=--datadir=%{_libdir}
%changelog
+* 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
commit 41a2d5e2f1ddd898e7a5747e9a727d32eb198503
Author: Dennis Gilmore <dennis(a)ausil.us>
Date: Wed Jun 17 11:16:02 2015 +0000
- Rebuilt for
https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
diff --git a/idris.spec b/idris.spec
index 0df0ae1..75cb0e2 100644
--- a/idris.spec
+++ b/idris.spec
@@ -2,7 +2,7 @@
Name: idris
Version: 0.9.9.1
-Release: 5%{?dist}
+Release: 6%{?dist}
Summary: Functional Programming Language with Dependent Types
License: BSD
@@ -89,6 +89,9 @@ cabal_configure_extra_options=--datadir=%{_libdir}
%changelog
+* 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
commit e4c15ac2abbfba5232fb3ec2be8ef64a5ecd9abd
Author: Jens Petersen <petersen(a)redhat.com>
Date: Mon Apr 6 11:37:05 2015 +0530
rebuild
diff --git a/idris.spec b/idris.spec
index 2450365..0df0ae1 100644
--- a/idris.spec
+++ b/idris.spec
@@ -2,7 +2,7 @@
Name: idris
Version: 0.9.9.1
-Release: 4%{?dist}
+Release: 5%{?dist}
Summary: Functional Programming Language with Dependent Types
License: BSD
@@ -89,6 +89,9 @@ cabal_configure_extra_options=--datadir=%{_libdir}
%changelog
+* 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
commit 599997e63306d017da5999af818fa015d6785127
Author: Jens Petersen <petersen(a)redhat.com>
Date: Fri Feb 6 20:58:26 2015 +0100
exclude armv7hl: "evacuate(static): strange closure type"
../dist/build/idris/idris --build base.ipkg
idris: internal error: evacuate(static): strange closure type 63788
(GHC version 7.8.4 for arm_unknown_linux)
Please report this as a GHC bug:
http://www.haskell.org/ghc/reportabug
https://ghc.haskell.org/trac/ghc/ticket/10029
diff --git a/idris.spec b/idris.spec
index 6c5060e..2450365 100644
--- a/idris.spec
+++ b/idris.spec
@@ -11,6 +11,7 @@ Source0:
https://hackage.haskell.org/package/%{name}-%{version}/%{name}-%
Patch0: idris-ASTBuilding-ghc78.patch
Patch1: idris-rts-opt-fprintf.patch
+ExcludeArch: armv7hl
BuildRequires: ghc-Cabal-devel
BuildRequires: ghc-rpm-macros
# Begin cabal-rpm deps:
@@ -91,6 +92,7 @@ cabal_configure_extra_options=--datadir=%{_libdir}
* 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
commit f26fa8cd96a7cf534043a983732730978e11cf4f
Author: Jens Petersen <petersen(a)redhat.com>
Date: Fri Feb 6 15:50:33 2015 +0100
fix fprinf Wall for missing format string
gcc -fPIC -O2 -Wall -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2
-fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches
-m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -c -o idris_opts.o
idris_opts.c
idris_opts.c: In function 'print_usage':
idris_opts.c:20:16: error: format not a string literal and no format arguments
[-Werror=format-security]
fprintf(s, usage);
^
diff --git a/idris-rts-opt-fprintf.patch b/idris-rts-opt-fprintf.patch
new file mode 100644
index 0000000..5262153
--- /dev/null
+++ b/idris-rts-opt-fprintf.patch
@@ -0,0 +1,11 @@
+--- idris-0.9.9.1/rts/idris_opts.c~ 2013-09-20 00:27:13.000000000 +0200
++++ idris-0.9.9.1/rts/idris_opts.c 2015-02-06 15:48:21.986185276 +0100
+@@ -17,7 +17,7 @@
+ "\n";
+
+ void print_usage(FILE * s) {
+- fprintf(s, usage);
++ fprintf(s, "%s", usage);
+ }
+
+ int read_size(char * str) {
diff --git a/idris.spec b/idris.spec
index d4ca41f..6c5060e 100644
--- a/idris.spec
+++ b/idris.spec
@@ -9,6 +9,7 @@ License: BSD
Url:
https://hackage.haskell.org/package/%{name}
Source0:
https://hackage.haskell.org/package/%{name}-%{version}/%{name}-%{version}...
Patch0: idris-ASTBuilding-ghc78.patch
+Patch1: idris-rts-opt-fprintf.patch
BuildRequires: ghc-Cabal-devel
BuildRequires: ghc-rpm-macros
@@ -65,6 +66,7 @@ closely related to Epigram and Agda. There is a tutorial at
%prep
%setup -q
%patch0 -p1 -b .orig
+%patch1 -p1 -b .orig
cabal-tweak-flag LLVM False
commit 3c56b054215fd697926957132402af1c7ae82e70
Author: Jens Petersen <petersen(a)redhat.com>
Date: Fri Feb 6 14:45:02 2015 +0100
fix build with ghc78
[36 of 63] Compiling IRTS.Java.ASTBuilding ( src/IRTS/Java/ASTBuilding.hs,
dist/build/idris/idris-tmp/IRTS/Java/ASTBuilding.dyn_o )
src/IRTS/Java/ASTBuilding.hs:63:22:
Couldn't match expected type `[Exp]' with actual type `Exp'
In the second argument of `ArrayIndex', namely
`(Lit $ Int (toInteger pos))'
In the expression: ArrayIndex target (Lit $ Int (toInteger pos))
In an equation for `@!':
(@!) target pos = ArrayIndex target (Lit $ Int (toInteger pos))
diff --git a/idris-ASTBuilding-ghc78.patch b/idris-ASTBuilding-ghc78.patch
new file mode 100644
index 0000000..d7f39cf
--- /dev/null
+++ b/idris-ASTBuilding-ghc78.patch
@@ -0,0 +1,11 @@
+--- idris-0.9.9.1/src/IRTS/Java/ASTBuilding.hs~ 2013-09-20 00:27:13.000000000 +0200
++++ idris-0.9.9.1/src/IRTS/Java/ASTBuilding.hs 2015-02-06 14:42:26.225556867 +0100
+@@ -60,7 +60,7 @@
+
+ (@!) :: Exp -> Int -> ArrayIndex
+ (@!) target pos =
+- ArrayIndex target (Lit $ Int (toInteger pos))
++ ArrayIndex target [Lit $ Int (toInteger pos)]
+
+ (@:=) :: Either ArrayIndex Ident -> Exp -> BlockStmt
+ (@:=) (Right lhs) rhs =
diff --git a/idris.spec b/idris.spec
index bab993a..d4ca41f 100644
--- a/idris.spec
+++ b/idris.spec
@@ -8,6 +8,7 @@ Summary: Functional Programming Language with Dependent Types
License: BSD
Url:
https://hackage.haskell.org/package/%{name}
Source0:
https://hackage.haskell.org/package/%{name}-%{version}/%{name}-%{version}...
+Patch0: idris-ASTBuilding-ghc78.patch
BuildRequires: ghc-Cabal-devel
BuildRequires: ghc-rpm-macros
@@ -63,6 +64,7 @@ closely related to Epigram and Agda. There is a tutorial at
%prep
%setup -q
+%patch0 -p1 -b .orig
cabal-tweak-flag LLVM False
@@ -86,6 +88,7 @@ cabal_configure_extra_options=--datadir=%{_libdir}
%changelog
* Wed Jan 28 2015 Jens Petersen <petersen(a)redhat.com> - 0.9.9.1-4
- cblrpm refresh
+- fix build with ghc78
* 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
commit bb12393698f5110ba6594bbdf1f6dd7bd452aa7d
Author: Jens Petersen <petersen(a)redhat.com>
Date: Wed Jan 28 23:47:23 2015 +0900
cblrpm refresh
diff --git a/idris.spec b/idris.spec
index ea606f9..bab993a 100644
--- a/idris.spec
+++ b/idris.spec
@@ -2,12 +2,12 @@
Name: idris
Version: 0.9.9.1
-Release: 3%{?dist}
+Release: 4%{?dist}
Summary: Functional Programming Language with Dependent Types
License: BSD
-URL:
http://hackage.haskell.org/package/%{name}
-Source0:
http://hackage.haskell.org/packages/archive/%{name}/%{version}/%{name}-%{...
+Url:
https://hackage.haskell.org/package/%{name}
+Source0:
https://hackage.haskell.org/package/%{name}-%{version}/%{name}-%{version}...
BuildRequires: ghc-Cabal-devel
BuildRequires: ghc-rpm-macros
@@ -16,7 +16,7 @@ BuildRequires: ghc-ansi-terminal-devel
BuildRequires: ghc-binary-devel
BuildRequires: ghc-bytestring-devel
BuildRequires: ghc-containers-devel
-BuildRequires: ghc-directory-devel >= 1.2
+BuildRequires: ghc-directory-devel
BuildRequires: ghc-filepath-devel
BuildRequires: ghc-haskeline-devel
BuildRequires: ghc-language-java-devel
@@ -30,8 +30,8 @@ BuildRequires: ghc-text-devel
BuildRequires: ghc-time-devel
BuildRequires: ghc-transformers-devel
BuildRequires: ghc-unix-devel
-BuildRequires: ghc-vector-devel
BuildRequires: ghc-vector-binary-instances-devel
+BuildRequires: ghc-vector-devel
# End cabal-rpm deps
BuildRequires: gc-devel
## idris compiles to C and then uses gcc linking to the static rts library
@@ -46,19 +46,19 @@ behavior 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 dependent types with dependent pattern matching
-- where clauses, with rule, simple case expressions,
- pattern matching let and lambda bindings
-- Type classes, monad comprehensions
-- do notation, idiom brackets, syntactic conveniences for lists, tuples,
+* Full dependent types with dependent pattern matching
+* where clauses, with rule, simple case expressions, pattern matching let and
+ lambda bindings
+* Type classes, monad comprehensions
+* do notation, idiom brackets, syntactic conveniences for lists, tuples,
dependent pairs
-- Totality checking
-- Coinductive types
-- Indentation significant syntax, extensible syntax
-- Tactic based theorem proving (influenced by Coq)
-- Cumulative universes
-- Simple foreign function interface (to C)
-- Hugs style interactive environment.
+* Totality checking
+* Coinductive types
+* Indentation significant syntax, extensible syntax
+* Tactic based theorem proving (influenced by Coq)
+* Cumulative universes
+* Simple foreign function interface (to C)
+* Hugs style interactive environment.
%prep
@@ -84,6 +84,9 @@ cabal_configure_extra_options=--datadir=%{_libdir}
%changelog
+* Wed Jan 28 2015 Jens Petersen <petersen(a)redhat.com> - 0.9.9.1-4
+- cblrpm refresh
+
* 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
commit 77e3c499621871bd8bc254d72b9a2347f3f79d05
Author: Peter Robinson <pbrobinson(a)fedoraproject.org>
Date: Sat Aug 16 21:16:37 2014 +0000
- Rebuilt for
https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
diff --git a/idris.spec b/idris.spec
index 48b0a65..ea606f9 100644
--- a/idris.spec
+++ b/idris.spec
@@ -2,7 +2,7 @@
Name: idris
Version: 0.9.9.1
-Release: 2%{?dist}
+Release: 3%{?dist}
Summary: Functional Programming Language with Dependent Types
License: BSD
@@ -84,6 +84,9 @@ cabal_configure_extra_options=--datadir=%{_libdir}
%changelog
+* 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
commit 7b330f6e1d939f57ce164d80a3a5785ffadd80d2
Author: Dennis Gilmore <dennis(a)ausil.us>
Date: Sat Jun 7 17:03:33 2014 -0500
- Rebuilt for
https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
diff --git a/idris.spec b/idris.spec
index c7f5722..48b0a65 100644
--- a/idris.spec
+++ b/idris.spec
@@ -2,7 +2,7 @@
Name: idris
Version: 0.9.9.1
-Release: 1%{?dist}
+Release: 2%{?dist}
Summary: Functional Programming Language with Dependent Types
License: BSD
@@ -84,6 +84,9 @@ cabal_configure_extra_options=--datadir=%{_libdir}
%changelog
+* 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
commit a50bf258f32be354e9a6b34fbaf55996d5134a38
Author: Jens Petersen <petersen(a)redhat.com>
Date: Sat Oct 5 00:37:06 2013 +0900
update to 0.9.9.1
diff --git a/.gitignore b/.gitignore
index 4735e5e..a31d965 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
/idris-0.9.8.tar.gz
/idris-0.9.9.tar.gz
+/idris-0.9.9.1.tar.gz
diff --git a/idris.spec b/idris.spec
index efe3645..c7f5722 100644
--- a/idris.spec
+++ b/idris.spec
@@ -1,7 +1,7 @@
#
https://fedoraproject.org/wiki/Packaging:Haskell
Name: idris
-Version: 0.9.9
+Version: 0.9.9.1
Release: 1%{?dist}
Summary: Functional Programming Language with Dependent Types
@@ -12,10 +12,11 @@ Source0:
http://hackage.haskell.org/packages/archive/%{name}/%{version}/%
BuildRequires: ghc-Cabal-devel
BuildRequires: ghc-rpm-macros
# Begin cabal-rpm deps:
+BuildRequires: ghc-ansi-terminal-devel
BuildRequires: ghc-binary-devel
BuildRequires: ghc-bytestring-devel
BuildRequires: ghc-containers-devel
-BuildRequires: ghc-directory-devel
+BuildRequires: ghc-directory-devel >= 1.2
BuildRequires: ghc-filepath-devel
BuildRequires: ghc-haskeline-devel
BuildRequires: ghc-language-java-devel
@@ -26,6 +27,7 @@ BuildRequires: ghc-pretty-devel
BuildRequires: ghc-process-devel
BuildRequires: ghc-split-devel
BuildRequires: ghc-text-devel
+BuildRequires: ghc-time-devel
BuildRequires: ghc-transformers-devel
BuildRequires: ghc-unix-devel
BuildRequires: ghc-vector-devel
@@ -82,6 +84,10 @@ cabal_configure_extra_options=--datadir=%{_libdir}
%changelog
+* 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/
diff --git a/sources b/sources
index e309ef3..ff3d420 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-4d601dd413e7454700ca0d4e8e783f79 idris-0.9.9.tar.gz
+5d980e2cd61f5b08cbbabad5f6397c71 idris-0.9.9.1.tar.gz
commit eb97a3c1838a6cc2526d266b21156e5c7010a419
Author: Jens Petersen <petersen(a)redhat.com>
Date: Fri Oct 4 18:11:42 2013 +0900
build requires gc-devel
diff --git a/idris.spec b/idris.spec
index 74717b1..efe3645 100644
--- a/idris.spec
+++ b/idris.spec
@@ -31,6 +31,7 @@ BuildRequires: ghc-unix-devel
BuildRequires: ghc-vector-devel
BuildRequires: ghc-vector-binary-instances-devel
# 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
@@ -85,6 +86,8 @@ cabal_configure_extra_options=--datadir=%{_libdir}
- 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
commit 34215f40929cc42986615f14a3dab8a000d5a25b
Author: Jens Petersen <petersen(a)redhat.com>
Date: Fri Oct 4 16:46:58 2013 +0900
update to 0.9.9
new dep on vector-binary-instances
disable LLVM backend for now
diff --git a/.gitignore b/.gitignore
index 805e05b..4735e5e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
/idris-0.9.8.tar.gz
+/idris-0.9.9.tar.gz
diff --git a/idris.spec b/idris.spec
index d756b6f..74717b1 100644
--- a/idris.spec
+++ b/idris.spec
@@ -1,8 +1,8 @@
#
https://fedoraproject.org/wiki/Packaging:Haskell
Name: idris
-Version: 0.9.8
-Release: 4%{?dist}
+Version: 0.9.9
+Release: 1%{?dist}
Summary: Functional Programming Language with Dependent Types
License: BSD
@@ -28,6 +28,8 @@ BuildRequires: ghc-split-devel
BuildRequires: ghc-text-devel
BuildRequires: ghc-transformers-devel
BuildRequires: ghc-unix-devel
+BuildRequires: ghc-vector-devel
+BuildRequires: ghc-vector-binary-instances-devel
# End cabal-rpm deps
## 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)
@@ -59,6 +61,8 @@ closely related to Epigram and Agda. There is a tutorial at
%prep
%setup -q
+cabal-tweak-flag LLVM False
+
%build
# libidris_rts.a is arch dependent
@@ -77,6 +81,11 @@ cabal_configure_extra_options=--datadir=%{_libdir}
%changelog
+* 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
+
* 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
diff --git a/sources b/sources
index 20d4eab..e309ef3 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-95773eae515cfc2f9af191f8fed7d289 idris-0.9.8.tar.gz
+4d601dd413e7454700ca0d4e8e783f79 idris-0.9.9.tar.gz
commit 46ffd3de821bb5edea998adf60cf519901250534
Author: Dennis Gilmore <dennis(a)ausil.us>
Date: Sat Aug 3 14:23:11 2013 -0500
- Rebuilt for
https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
diff --git a/idris.spec b/idris.spec
index 8c795c1..d756b6f 100644
--- a/idris.spec
+++ b/idris.spec
@@ -2,7 +2,7 @@
Name: idris
Version: 0.9.8
-Release: 3%{?dist}
+Release: 4%{?dist}
Summary: Functional Programming Language with Dependent Types
License: BSD
@@ -77,6 +77,9 @@ cabal_configure_extra_options=--datadir=%{_libdir}
%changelog
+* 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)
commit f37b1c724362def37af8f0d1d0b601b683c42fa5
Author: Jens Petersen <petersen(a)redhat.com>
Date: Wed Jul 17 10:05:06 2013 +0900
import (#947819)
diff --git a/.gitignore b/.gitignore
index e69de29..805e05b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -0,0 +1 @@
+/idris-0.9.8.tar.gz
diff --git a/idris.spec b/idris.spec
new file mode 100644
index 0000000..8c795c1
--- /dev/null
+++ b/idris.spec
@@ -0,0 +1,104 @@
+#
https://fedoraproject.org/wiki/Packaging:Haskell
+
+Name: idris
+Version: 0.9.8
+Release: 3%{?dist}
+Summary: Functional Programming Language with Dependent Types
+
+License: BSD
+URL:
http://hackage.haskell.org/package/%{name}
+Source0:
http://hackage.haskell.org/packages/archive/%{name}/%{version}/%{name}-%{...
+
+BuildRequires: ghc-Cabal-devel
+BuildRequires: ghc-rpm-macros
+# Begin cabal-rpm deps:
+BuildRequires: ghc-binary-devel
+BuildRequires: ghc-bytestring-devel
+BuildRequires: ghc-containers-devel
+BuildRequires: ghc-directory-devel
+BuildRequires: ghc-filepath-devel
+BuildRequires: ghc-haskeline-devel
+BuildRequires: ghc-language-java-devel
+BuildRequires: ghc-libffi-devel
+BuildRequires: ghc-mtl-devel
+BuildRequires: ghc-parsec-devel
+BuildRequires: ghc-pretty-devel
+BuildRequires: ghc-process-devel
+BuildRequires: ghc-split-devel
+BuildRequires: ghc-text-devel
+BuildRequires: ghc-transformers-devel
+BuildRequires: ghc-unix-devel
+# End cabal-rpm deps
+## 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
+
+%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
+behavior 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 dependent types with dependent pattern matching
+- where clauses, with rule, simple case expressions,
+ pattern matching let and lambda bindings
+- Type classes, monad comprehensions
+- do notation, idiom brackets, syntactic conveniences for lists, tuples,
+ dependent pairs
+- Totality checking
+- Coinductive types
+- Indentation significant syntax, extensible syntax
+- Tactic based theorem proving (influenced by Coq)
+- Cumulative universes
+- Simple foreign function interface (to C)
+- Hugs style interactive environment.
+
+
+%prep
+%setup -q
+
+
+%build
+# libidris_rts.a is arch dependent
+cabal_configure_extra_options=--datadir=%{_libdir}
+%ghc_bin_build
+
+
+%install
+%ghc_bin_install
+
+
+%files
+%doc LICENSE tutorial
+%attr(755,root,root) %{_bindir}/%{name}
+%{_libdir}/%{name}-%{version}
+
+
+%changelog
+* 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
index e69de29..20d4eab 100644
--- a/sources
+++ b/sources
@@ -0,0 +1 @@
+95773eae515cfc2f9af191f8fed7d289 idris-0.9.8.tar.gz