diff --git a/.gitignore b/.gitignore index 7a73e11..e7039de 100644 --- a/.gitignore +++ b/.gitignore @@ -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 diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index 0066267..155911c 100644 --- a/Agda-stdlib.spec +++ b/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 - 0.9-2 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild + +* Thu Apr 16 2015 Jens Petersen - 0.9-1 +- update to 0.9 +- include ffi lib in main package + +* Fri Aug 15 2014 Fedora Release Engineering - 0.7-5 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild + +* Fri Jun 06 2014 Fedora Release Engineering - 0.7-4 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild + +* Wed Feb 5 2014 Jens Petersen - 0.7-3 +- no ghc-rpm-macros-extra on F19 + +* Mon Feb 3 2014 Jens Petersen - 0.7-2 +- only build on arch's where Agda builds + +* Tue Jun 25 2013 Jens Petersen - 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 - 0.6-4 +- move stdlib files to datadir +- subpackage html docs + +* Wed Jul 11 2012 Jens Petersen - 0.6-3 +- subpackage agda-lib-ffi for MAlonzo backend + +* Wed Jul 11 2012 Jens Petersen - 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 - 0.6-1 +- update to 0.6 + +* Sat Jun 4 2011 Fedora Haskell SIG +- initial packaging for Fedora automatically generated by cabal2spec-0.23 diff --git a/changelog b/changelog deleted file mode 100644 index 14c48b6..0000000 --- a/changelog +++ /dev/null @@ -1,138 +0,0 @@ -* Mon Feb 20 2023 Jens Petersen - 1.7.1-5 -- rebuild - -* Wed Jan 18 2023 Fedora Release Engineering - 1.7.1-4 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild - -* Wed Jul 20 2022 Fedora Release Engineering - 1.7.1-3 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild - -* Tue Jun 21 2022 Jens Petersen - 1.7.1-2 -- rebuild against Agda-2.6.2.2 - -* Wed Mar 9 2022 Jens Petersen - 1.7.1-1 -- https://github.com/agda/agda-stdlib/blob/v1.7.1/CHANGELOG.md - -* Wed Jan 19 2022 Fedora Release Engineering - 1.7-2 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild - -* Mon Aug 9 2021 Jens Petersen - 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 - 1.3-6 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild - -* Mon Jan 25 2021 Fedora Release Engineering - 1.3-5 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild - -* Mon Aug 24 2020 Jens Petersen - 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 - 1.3-3 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild - -* Mon Jul 20 2020 Jens Petersen - 1.3-2 -- make package noarch - -* Sat Jun 27 2020 Jens Petersen - 1.3-1 -- https://github.com/agda/agda-stdlib/blob/v1.3/CHANGELOG.md - -* Tue May 26 2020 Jens Petersen - 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 - 1.1-2 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild - -* Sat Aug 17 2019 Jens Petersen - 1.1-1 -- update to 1.1 - -* Wed Jul 24 2019 Fedora Release Engineering - 0.17-2 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild - -* Mon Feb 25 2019 Jens Petersen - 0.17-1 -- update to 0.17 - -* Thu Jan 31 2019 Fedora Release Engineering - 0.15-5 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild - -* Tue Aug 28 2018 Jens Petersen - 0.15-4 -- keep README*.agdai -- require ghc-Agda - -* Wed Aug 22 2018 Jens Petersen - 0.15-3 -- install library files correctly under src/ - -* Thu Jul 12 2018 Fedora Release Engineering - 0.15-2 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild - -* Sun Jul 1 2018 Jens Petersen - 0.15-1 -- update to 0.15 for Agda-2.5.3 - -* Wed Feb 07 2018 Fedora Release Engineering - 0.13-4 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild - -* Wed Aug 02 2017 Fedora Release Engineering - 0.13-3 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild - -* Wed Jul 26 2017 Fedora Release Engineering - 0.13-2 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild - -* Sun Mar 12 2017 Jens Petersen - 0.13-1 -- update to 0.13 -- install standard-library.agda-lib package file - -* Fri Feb 10 2017 Fedora Release Engineering - 0.11-2 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild - -* Mon Oct 24 2016 Jens Petersen - 0.11-3 -- update to 0.11 - -* Wed Feb 03 2016 Fedora Release Engineering - 0.9-3 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild - -* Tue Jun 16 2015 Fedora Release Engineering - 0.9-2 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild - -* Thu Apr 16 2015 Jens Petersen - 0.9-1 -- update to 0.9 -- include ffi lib in main package - -* Fri Aug 15 2014 Fedora Release Engineering - 0.7-5 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild - -* Fri Jun 06 2014 Fedora Release Engineering - 0.7-4 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild - -* Wed Feb 5 2014 Jens Petersen - 0.7-3 -- no ghc-rpm-macros-extra on F19 - -* Mon Feb 3 2014 Jens Petersen - 0.7-2 -- only build on arch's where Agda builds - -* Tue Jun 25 2013 Jens Petersen - 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 - 0.6-4 -- move stdlib files to datadir -- subpackage html docs - -* Wed Jul 11 2012 Jens Petersen - 0.6-3 -- subpackage agda-lib-ffi for MAlonzo backend - -* Wed Jul 11 2012 Jens Petersen - 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 - 0.6-1 -- update to 0.6 - -* Sat Jun 4 2011 Fedora Haskell SIG -- initial packaging for Fedora automatically generated by cabal2spec-0.23 diff --git a/sources b/sources index 2e6286c..45251ea 100644 --- a/sources +++ b/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