refresh to cabal-rpm-2.0.2

Agda.spec

@@ -1,4 +1,4 @@
-# generated by cabal-rpm-1.0.1 --subpackage
+# generated by cabal-rpm-2.0.2 --subpackage
 # https://fedoraproject.org/wiki/Packaging:Haskell
 
 # https://gitlab.haskell.org/ghc/ghc/issues/17030 panic
@@ -19,7 +19,7 @@
 Name:           %{pkg_name}
 Version:        2.6.0.1
 # can only be reset when all subpkgs bumped
-Release:        20%{?dist}
+Release:        21%{?dist}
 Summary:        A dependently typed functional programming language and proof assistant
 
 License:        MIT and BSD
@@ -76,16 +76,15 @@ BuildRequires:  ghc-unordered-containers-prof
 #BuildRequires:  ghc-uri-encode-prof
 BuildRequires:  ghc-zlib-prof
 BuildRequires:  alex
-BuildRequires:  chrpath
 BuildRequires:  happy
 Requires:       %{name}-common = %{version}-%{release}
-# End cabal-rpm deps
-BuildRequires:  emacs(bin)
-# EdisonCore needs
+# for missing dep 'EdisonCore':
 BuildRequires:  ghc-QuickCheck-prof
-# uri-encode needs
+# for missing dep 'uri-encode':
 BuildRequires:  ghc-network-uri-prof
 BuildRequires:  ghc-utf8-string-prof
+# End cabal-rpm deps
+BuildRequires:  emacs(bin)
 # https://bugzilla.redhat.com/show_bug.cgi?id=991929
 ExcludeArch:    %{arm}
 
@@ -132,7 +131,6 @@ Provides:       ghc-%{name}-static%{?_isa} = %{version}-%{release}
 Requires:       ghc-compiler = %{ghc_version}
 %endif
 Requires:       ghc-%{name}%{?_isa} = %{version}-%{release}
-Obsoletes:      Agda < 2.3.1
 
 %description -n ghc-%{name}-devel
 This package provides the Haskell %{name} library development files.
@@ -141,6 +139,7 @@ This package provides the Haskell %{name} library development files.
 %if %{with haddock}
 %package -n ghc-%{name}-doc
 Summary:        Haskell %{name} library documentation
+BuildArch:      noarch
 
 %description -n ghc-%{name}-doc
 This package provides the Haskell %{name} library documentation.
@@ -151,6 +150,7 @@ This package provides the Haskell %{name} library documentation.
 %package -n ghc-%{name}-prof
 Summary:        Haskell %{name} profiling library
 Requires:       ghc-%{name}-devel%{?_isa} = %{version}-%{release}
+Supplements:    (ghc-%{name}-devel and ghc-prof)
 
 %description -n ghc-%{name}-prof
 This package provides the Haskell %{name} profiling library.
@@ -203,11 +203,6 @@ cd -
 %ghc_lib_build
 # End cabal-rpm build
 
-# el6 macro does not add "." to load-path
-%if %{defined el6}
-%define _emacs_bytecompile /usr/bin/emacs -batch --no-init-file --no-site-file --eval '(progn (setq load-path (cons "." load-path)))' -f batch-byte-compile
-%endif
-
 cd src/data/emacs-mode
 for i in %elisp_files; do
   %{_emacs_bytecompile} $i
@@ -239,6 +234,16 @@ rm %{buildroot}%{_bindir}/agda-mode
 rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode
 
 
+%if 0%{?fedora} < 31 || 0%{?rhel} < 8
+%post -n ghc-%{name}-devel
+%ghc_pkg_recache
+
+
+%postun -n ghc-%{name}-devel
+%ghc_pkg_recache
+%endif
+
+
 %files
 # Begin cabal-rpm files:
 %dir %{_emacs_sitelispdir}/agda
@@ -264,6 +269,7 @@ rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode
 
 %if %{with haddock}
 %files -n ghc-%{name}-doc -f ghc-%{name}-doc.files
+%license LICENSE
 %endif
 
 
@@ -273,6 +279,9 @@ rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode
 
 
 %changelog
+* Thu Feb 20 2020 Jens Petersen <petersen@redhat.com> - 2.6.0.1-21
+- refresh to cabal-rpm-2.0.2
+
 * Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.0.1-20
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild