Compare commits
No commits in common. "rawhide" and "f23" have entirely different histories.
4 changed files with 108 additions and 182 deletions
13
.gitignore
vendored
13
.gitignore
vendored
|
|
@ -1,16 +1,3 @@
|
|||
/lib-0.7.tar.gz
|
||||
/agda-stdlib-0.9.tar.gz
|
||||
/filemanip-0.3.6.3.tar.gz
|
||||
/agda-stdlib-0.11.tar.gz
|
||||
/agda-stdlib-0.13.tar.gz
|
||||
/agda-stdlib-0.15.tar.gz
|
||||
/agda-stdlib-0.17.tar.gz
|
||||
/agda-stdlib-1.1.tar.gz
|
||||
/agda-stdlib-1.2.tar.gz
|
||||
/agda-stdlib-1.3.tar.gz
|
||||
/agda-stdlib-1.7.tar.gz
|
||||
/agda-stdlib-1.7.1.tar.gz
|
||||
/agda-stdlib-1.7.2.tar.gz
|
||||
/agda-stdlib-1.7.3.tar.gz
|
||||
/agda-stdlib-2.1.1.tar.gz
|
||||
/agda-stdlib-2.3.tar.gz
|
||||
|
|
|
|||
136
Agda-stdlib.spec
136
Agda-stdlib.spec
|
|
@ -1,25 +1,34 @@
|
|||
# https://fedoraproject.org/wiki/Packaging:Haskell
|
||||
# For Haskell Packaging Guidelines see:
|
||||
# - https://fedoraproject.org/wiki/Packaging:Haskell
|
||||
# - https://fedoraproject.org/wiki/PackagingDrafts/Haskell
|
||||
|
||||
%global Agda_version 2.8.0
|
||||
%global ffi_ver 0.0.2
|
||||
%global filemanip_ver 0.3.6.3
|
||||
|
||||
Name: Agda-stdlib
|
||||
Version: 2.3
|
||||
Release: %autorelease
|
||||
Version: 0.9
|
||||
Release: 2%{?dist}
|
||||
Summary: Agda standard libraries
|
||||
|
||||
Group: Development/Libraries
|
||||
License: MIT
|
||||
URL: https://wiki.portal.chalmers.se/agda/agda.php?n=Libraries.StandardLibrary
|
||||
Source0: https://github.com/agda/agda-stdlib/archive/v%{version}.tar.gz#/agda-stdlib-%{version}.tar.gz
|
||||
URL: http://wiki.portal.chalmers.se/agda/agda.php?n=Libraries.StandardLibrary
|
||||
# dl from https://github.com/agda/agda-stdlib/archive/v%{version}.tar.gz
|
||||
Source0: agda-stdlib-%{version}.tar.gz
|
||||
Source1: http://hackage.haskell.org/package/filemanip-%{filemanip_ver}/filemanip-%{filemanip_ver}.tar.gz
|
||||
BuildRequires: ghc-Cabal-devel
|
||||
BuildRequires: ghc-rpm-macros
|
||||
BuildRequires: ghc-filemanip-devel
|
||||
BuildRequires: Agda = %{Agda_version}
|
||||
# .agdai files are arch independent
|
||||
BuildArch: noarch
|
||||
Provides: agda-stdlib = %{version}-%{release}
|
||||
Requires: Agda = %{Agda_version}
|
||||
# Agda can't build on armv7hl and ix86 currently
|
||||
ExcludeArch: armv7hl %{ix86}
|
||||
%if 0%{?fedora} >= 20
|
||||
BuildRequires: ghc-rpm-macros-extra
|
||||
%else
|
||||
BuildRequires: ghc-rpm-macros
|
||||
%endif
|
||||
BuildRequires: Agda
|
||||
# needed for filemanip
|
||||
BuildRequires: ghc-unix-compat-devel
|
||||
# Agda needs ghci and is not building on arm currently
|
||||
ExclusiveArch: %{ghc_arches_with_ghci}
|
||||
ExcludeArch: armv7hl
|
||||
Obsoletes: ghc-agda-lib-ffi < 0.0.2-6, ghc-agda-lib-ffi-devel < 0.0.2-6
|
||||
|
||||
%description
|
||||
Agda standard libraries
|
||||
|
|
@ -34,41 +43,108 @@ This package provides the html documentation for the stdlibs
|
|||
generated by the Agda compiler program.
|
||||
|
||||
|
||||
%global debug_package %{nil}
|
||||
|
||||
|
||||
%prep
|
||||
%setup -q -n agda-stdlib-%{version}
|
||||
%setup -q -n agda-stdlib-%{version} -a1
|
||||
|
||||
|
||||
%build
|
||||
HOME=$PWD
|
||||
%define cabal_configure_options --user
|
||||
cd filemanip-%{filemanip_ver}
|
||||
%ghc_lib_build filemanip %{filemanip_ver}
|
||||
%ghc_lib_install filemanip %{filemanip_ver}
|
||||
./Setup register --inplace
|
||||
cd ..
|
||||
|
||||
%ghc_bin_build
|
||||
dist/build/GenerateEverything/GenerateEverything
|
||||
|
||||
%global agda agda --no-libraries -i. -isrc
|
||||
%{agda} Everything.agda
|
||||
cd ffi
|
||||
%ghc_lib_build agda-lib-ffi %{ffi_ver}
|
||||
cd ..
|
||||
agda -i. -isrc Everything.agda
|
||||
|
||||
%{agda} --html -idoc doc/README.agda
|
||||
agda --html -i. -isrc README.agda
|
||||
|
||||
|
||||
%install
|
||||
mkdir -p %{buildroot}%{_datadir}/%{name}
|
||||
cp -pr src _build %{buildroot}%{_datadir}/%{name}
|
||||
HOME=$PWD
|
||||
cd ffi
|
||||
%ghc_lib_install agda-lib-ffi %{ffi_ver}
|
||||
./Setup register --inplace
|
||||
mv *.files ..
|
||||
cd ..
|
||||
cat ghc-agda-lib-ffi*.files > haskell-ffi.files
|
||||
|
||||
install -p -m 0644 standard-library.agda-lib %{buildroot}%{_datadir}/%{name}/
|
||||
mkdir -p %{buildroot}%{_datadir}/%{name}
|
||||
cp -pr Everything.agda* src/* %{buildroot}%{_datadir}/%{name}
|
||||
|
||||
|
||||
%check
|
||||
LANG=C.utf8 %{agda} -idoc doc/README.agda
|
||||
agda -i. -isrc README.agda
|
||||
rm README.agdai README/*.agdai
|
||||
|
||||
|
||||
%files
|
||||
%license LICENCE
|
||||
%doc CHANGELOG.md README.md
|
||||
%post
|
||||
%ghc_pkg_recache
|
||||
|
||||
|
||||
%postun
|
||||
%ghc_pkg_recache
|
||||
|
||||
|
||||
%files -f haskell-ffi.files
|
||||
%doc CHANGELOG LICENCE README*
|
||||
%{_datadir}/%{name}
|
||||
|
||||
|
||||
%files docs
|
||||
%license LICENCE
|
||||
%doc CHANGELOG Everything* HACKING.md README*
|
||||
%doc html
|
||||
%doc LICENCE html
|
||||
|
||||
|
||||
%changelog
|
||||
%autochangelog
|
||||
* Tue Jun 16 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.9-2
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
|
||||
|
||||
* Thu Apr 16 2015 Jens Petersen <petersen@redhat.com> - 0.9-1
|
||||
- update to 0.9
|
||||
- include ffi lib in main package
|
||||
|
||||
* Fri Aug 15 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.7-5
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
|
||||
|
||||
* Fri Jun 06 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.7-4
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
|
||||
|
||||
* Wed Feb 5 2014 Jens Petersen <petersen@redhat.com> - 0.7-3
|
||||
- no ghc-rpm-macros-extra on F19
|
||||
|
||||
* Mon Feb 3 2014 Jens Petersen <petersen@redhat.com> - 0.7-2
|
||||
- only build on arch's where Agda builds
|
||||
|
||||
* Tue Jun 25 2013 Jens Petersen <petersen@redhat.com> - 0.7-1
|
||||
- update to 0.7 with agda-lib-ffi-0.0.2
|
||||
- use ghc-rpm-macros-extra
|
||||
- add ffi_ver macro for agda-lib-ffi version
|
||||
|
||||
* Thu Jul 12 2012 Jens Petersen <petersen@redhat.com> - 0.6-4
|
||||
- move stdlib files to datadir
|
||||
- subpackage html docs
|
||||
|
||||
* Wed Jul 11 2012 Jens Petersen <petersen@redhat.com> - 0.6-3
|
||||
- subpackage agda-lib-ffi for MAlonzo backend
|
||||
|
||||
* Wed Jul 11 2012 Jens Petersen <petersen@redhat.com> - 0.6-2
|
||||
- fix the manifest to include the libraries
|
||||
- add html
|
||||
- turn off debuginfo
|
||||
- remove README interface files
|
||||
|
||||
* Wed Jul 11 2012 Jens Petersen <petersen@redhat.com> - 0.6-1
|
||||
- update to 0.6
|
||||
|
||||
* Sat Jun 4 2011 Fedora Haskell SIG <haskell-devel@lists.fedoraproject.org>
|
||||
- initial packaging for Fedora automatically generated by cabal2spec-0.23
|
||||
|
|
|
|||
138
changelog
138
changelog
|
|
@ -1,138 +0,0 @@
|
|||
* Mon Feb 20 2023 Jens Petersen <petersen@redhat.com> - 1.7.1-5
|
||||
- rebuild
|
||||
|
||||
* Wed Jan 18 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.1-4
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
|
||||
|
||||
* Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.1-3
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
|
||||
|
||||
* Tue Jun 21 2022 Jens Petersen <petersen@redhat.com> - 1.7.1-2
|
||||
- rebuild against Agda-2.6.2.2
|
||||
|
||||
* Wed Mar 9 2022 Jens Petersen <petersen@redhat.com> - 1.7.1-1
|
||||
- https://github.com/agda/agda-stdlib/blob/v1.7.1/CHANGELOG.md
|
||||
|
||||
* Wed Jan 19 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.7-2
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
|
||||
|
||||
* Mon Aug 9 2021 Jens Petersen <petersen@redhat.com> - 1.7-1
|
||||
- https://github.com/agda/agda-stdlib/blob/v1.7/CHANGELOG.md
|
||||
- disable armv7hl: no Agda - runs out of memory
|
||||
|
||||
* Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-6
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
|
||||
|
||||
* Mon Jan 25 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-5
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
|
||||
|
||||
* Mon Aug 24 2020 Jens Petersen <petersen@redhat.com> - 1.3-4
|
||||
- Agda-2.6.1 puts .agdai files under _build/
|
||||
- move Everything and README modules to docs
|
||||
|
||||
* Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-3
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
|
||||
|
||||
* Mon Jul 20 2020 Jens Petersen <petersen@redhat.com> - 1.3-2
|
||||
- make package noarch
|
||||
|
||||
* Sat Jun 27 2020 Jens Petersen <petersen@redhat.com> - 1.3-1
|
||||
- https://github.com/agda/agda-stdlib/blob/v1.3/CHANGELOG.md
|
||||
|
||||
* Tue May 26 2020 Jens Petersen <petersen@redhat.com> - 1.2-1
|
||||
- update to 1.2
|
||||
- https://github.com/agda/agda-stdlib/blob/v1.2/CHANGELOG.md
|
||||
- requires Agda instead of ghc-Agda now
|
||||
|
||||
* Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.1-2
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
|
||||
|
||||
* Sat Aug 17 2019 Jens Petersen <petersen@redhat.com> - 1.1-1
|
||||
- update to 1.1
|
||||
|
||||
* Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.17-2
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
|
||||
|
||||
* Mon Feb 25 2019 Jens Petersen <petersen@redhat.com> - 0.17-1
|
||||
- update to 0.17
|
||||
|
||||
* Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.15-5
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
|
||||
|
||||
* Tue Aug 28 2018 Jens Petersen <petersen@redhat.com> - 0.15-4
|
||||
- keep README*.agdai
|
||||
- require ghc-Agda
|
||||
|
||||
* Wed Aug 22 2018 Jens Petersen <petersen@redhat.com> - 0.15-3
|
||||
- install library files correctly under src/
|
||||
|
||||
* Thu Jul 12 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.15-2
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
|
||||
|
||||
* Sun Jul 1 2018 Jens Petersen <petersen@redhat.com> - 0.15-1
|
||||
- update to 0.15 for Agda-2.5.3
|
||||
|
||||
* Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-4
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
|
||||
|
||||
* Wed Aug 02 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-3
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
|
||||
|
||||
* Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-2
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
|
||||
|
||||
* Sun Mar 12 2017 Jens Petersen <petersen@redhat.com> - 0.13-1
|
||||
- update to 0.13
|
||||
- install standard-library.agda-lib package file
|
||||
|
||||
* Fri Feb 10 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.11-2
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
|
||||
|
||||
* Mon Oct 24 2016 Jens Petersen <petersen@redhat.com> - 0.11-3
|
||||
- update to 0.11
|
||||
|
||||
* Wed Feb 03 2016 Fedora Release Engineering <releng@fedoraproject.org> - 0.9-3
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
|
||||
|
||||
* Tue Jun 16 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.9-2
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
|
||||
|
||||
* Thu Apr 16 2015 Jens Petersen <petersen@redhat.com> - 0.9-1
|
||||
- update to 0.9
|
||||
- include ffi lib in main package
|
||||
|
||||
* Fri Aug 15 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.7-5
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
|
||||
|
||||
* Fri Jun 06 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.7-4
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
|
||||
|
||||
* Wed Feb 5 2014 Jens Petersen <petersen@redhat.com> - 0.7-3
|
||||
- no ghc-rpm-macros-extra on F19
|
||||
|
||||
* Mon Feb 3 2014 Jens Petersen <petersen@redhat.com> - 0.7-2
|
||||
- only build on arch's where Agda builds
|
||||
|
||||
* Tue Jun 25 2013 Jens Petersen <petersen@redhat.com> - 0.7-1
|
||||
- update to 0.7 with agda-lib-ffi-0.0.2
|
||||
- use ghc-rpm-macros-extra
|
||||
- add ffi_ver macro for agda-lib-ffi version
|
||||
|
||||
* Thu Jul 12 2012 Jens Petersen <petersen@redhat.com> - 0.6-4
|
||||
- move stdlib files to datadir
|
||||
- subpackage html docs
|
||||
|
||||
* Wed Jul 11 2012 Jens Petersen <petersen@redhat.com> - 0.6-3
|
||||
- subpackage agda-lib-ffi for MAlonzo backend
|
||||
|
||||
* Wed Jul 11 2012 Jens Petersen <petersen@redhat.com> - 0.6-2
|
||||
- fix the manifest to include the libraries
|
||||
- add html
|
||||
- turn off debuginfo
|
||||
- remove README interface files
|
||||
|
||||
* Wed Jul 11 2012 Jens Petersen <petersen@redhat.com> - 0.6-1
|
||||
- update to 0.6
|
||||
|
||||
* Sat Jun 4 2011 Fedora Haskell SIG <haskell-devel@lists.fedoraproject.org>
|
||||
- initial packaging for Fedora automatically generated by cabal2spec-0.23
|
||||
3
sources
3
sources
|
|
@ -1 +1,2 @@
|
|||
SHA512 (agda-stdlib-2.3.tar.gz) = 02cad3a8d3cccc2f89f41b9486c9ab86f5784261f02425600b2a03a868cea02c2a21408f2cb588de361d76c167ffdf86a5511264b156ddd9d6e01593de687182
|
||||
d22adf380b33b401e786132a4bfc8597 agda-stdlib-0.9.tar.gz
|
||||
04d23467ce2e7ac0bc9c01c4e0ebd06c filemanip-0.3.6.3.tar.gz
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue