refresh to cabal-rpm-1.0.0: lib doc/prof subpkgs and bin static BRs
This commit is contained in:
parent
64d8785d63
commit
93c549754b
50
Agda.spec
50
Agda.spec
|
@ -1,4 +1,4 @@
|
||||||
# generated by cabal-rpm-0.13
|
# generated by cabal-rpm-1.0.0 --subpackage
|
||||||
# https://fedoraproject.org/wiki/Packaging:Haskell
|
# https://fedoraproject.org/wiki/Packaging:Haskell
|
||||||
|
|
||||||
%global pkg_name Agda
|
%global pkg_name Agda
|
||||||
|
@ -31,6 +31,12 @@ Source10: agda-mode-init.el
|
||||||
|
|
||||||
# Begin cabal-rpm deps:
|
# Begin cabal-rpm deps:
|
||||||
BuildRequires: ghc-Cabal-devel
|
BuildRequires: ghc-Cabal-devel
|
||||||
|
%if %{with haddock}
|
||||||
|
BuildRequires: ghc-doc
|
||||||
|
%endif
|
||||||
|
%if %{with ghc_prof}
|
||||||
|
BuildRequires: ghc-prof
|
||||||
|
%endif
|
||||||
BuildRequires: ghc-rpm-macros-extra
|
BuildRequires: ghc-rpm-macros-extra
|
||||||
BuildRequires: alex
|
BuildRequires: alex
|
||||||
BuildRequires: chrpath
|
BuildRequires: chrpath
|
||||||
|
@ -119,11 +125,8 @@ This package provides the Haskell %{name} shared library.
|
||||||
%package -n ghc-%{name}-devel
|
%package -n ghc-%{name}-devel
|
||||||
Summary: Haskell %{name} library development files
|
Summary: Haskell %{name} library development files
|
||||||
Provides: ghc-%{name}-static = %{version}-%{release}
|
Provides: ghc-%{name}-static = %{version}-%{release}
|
||||||
Provides: ghc-%{name}-doc = %{version}-%{release}
|
|
||||||
%if %{defined ghc_version}
|
%if %{defined ghc_version}
|
||||||
Requires: ghc-compiler = %{ghc_version}
|
Requires: ghc-compiler = %{ghc_version}
|
||||||
Requires(post): ghc-compiler = %{ghc_version}
|
|
||||||
Requires(postun): ghc-compiler = %{ghc_version}
|
|
||||||
%endif
|
%endif
|
||||||
Requires: ghc-%{name}%{?_isa} = %{version}-%{release}
|
Requires: ghc-%{name}%{?_isa} = %{version}-%{release}
|
||||||
Obsoletes: Agda < 2.3.1
|
Obsoletes: Agda < 2.3.1
|
||||||
|
@ -132,6 +135,25 @@ Obsoletes: Agda < 2.3.1
|
||||||
This package provides the Haskell %{name} library development files.
|
This package provides the Haskell %{name} library development files.
|
||||||
|
|
||||||
|
|
||||||
|
%if %{with haddock}
|
||||||
|
%package -n ghc-%{name}-doc
|
||||||
|
Summary: Haskell %{name} library documentation
|
||||||
|
|
||||||
|
%description -n ghc-%{name}-doc
|
||||||
|
This package provides the Haskell %{name} library documentation.
|
||||||
|
%endif
|
||||||
|
|
||||||
|
|
||||||
|
%if %{with ghc_prof}
|
||||||
|
%package -n ghc-%{name}-prof
|
||||||
|
Summary: Haskell %{name} profiling library
|
||||||
|
Requires: ghc-%{name}-devel%{?_isa} = %{version}-%{release}
|
||||||
|
|
||||||
|
%description -n ghc-%{name}-prof
|
||||||
|
This package provides the Haskell %{name} profiling library.
|
||||||
|
%endif
|
||||||
|
|
||||||
|
|
||||||
%global main_version %{version}
|
%global main_version %{version}
|
||||||
|
|
||||||
%if %{defined ghclibdir}
|
%if %{defined ghclibdir}
|
||||||
|
@ -211,14 +233,6 @@ rm %{buildroot}%{_bindir}/agda-mode
|
||||||
rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode
|
rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode
|
||||||
|
|
||||||
|
|
||||||
%post -n ghc-%{name}-devel
|
|
||||||
%ghc_pkg_recache
|
|
||||||
|
|
||||||
|
|
||||||
%postun -n ghc-%{name}-devel
|
|
||||||
%ghc_pkg_recache
|
|
||||||
|
|
||||||
|
|
||||||
%files
|
%files
|
||||||
# Begin cabal-rpm files:
|
# Begin cabal-rpm files:
|
||||||
%dir %{_emacs_sitelispdir}/agda
|
%dir %{_emacs_sitelispdir}/agda
|
||||||
|
@ -236,14 +250,22 @@ rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode
|
||||||
|
|
||||||
|
|
||||||
%files -n ghc-%{name} -f ghc-%{name}.files
|
%files -n ghc-%{name} -f ghc-%{name}.files
|
||||||
# Begin cabal-rpm files:
|
|
||||||
# End cabal-rpm files
|
|
||||||
%{_bindir}/agda
|
%{_bindir}/agda
|
||||||
|
|
||||||
|
|
||||||
%files -n ghc-%{name}-devel -f ghc-%{name}-devel.files
|
%files -n ghc-%{name}-devel -f ghc-%{name}-devel.files
|
||||||
|
|
||||||
|
|
||||||
|
%if %{with haddock}
|
||||||
|
%files -n ghc-%{name}-doc -f ghc-%{name}-doc.files
|
||||||
|
%endif
|
||||||
|
|
||||||
|
|
||||||
|
%if %{with ghc_prof}
|
||||||
|
%files -n ghc-%{name}-prof -f ghc-%{name}-prof.files
|
||||||
|
%endif
|
||||||
|
|
||||||
|
|
||||||
%changelog
|
%changelog
|
||||||
* Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.5.4.2-18
|
* Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.5.4.2-18
|
||||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
|
||||||
|
|
Loading…
Reference in New Issue