Make -doc be archful (bz 1792740).
This commit is contained in:
parent
d382fe7d06
commit
64652afb6e
10
z3.spec
10
z3.spec
|
@ -51,7 +51,8 @@ Header files for build applications that use z3.
|
|||
|
||||
%package doc
|
||||
Summary: API documentation for Z3
|
||||
BuildArch: noarch
|
||||
# FIXME: this should be noarch, but we end up with different numbers of inheritance
|
||||
# graphs on different architectures. Why?
|
||||
|
||||
%description doc
|
||||
API documentation for Z3.
|
||||
|
@ -84,10 +85,6 @@ Files for building ocaml applications that use z3.
|
|||
Summary: Python 3 interface to z3
|
||||
Requires: %{name}-libs%{?_isa} = %{version}-%{release}
|
||||
|
||||
# This can be removed once Fedora 29 reaches EOL
|
||||
Obsoletes: python2-%{name} < 4.8
|
||||
Provides: python2-%{name} = 4.8
|
||||
|
||||
%description -n python3-%{name}
|
||||
Python 3 interface to z3.
|
||||
|
||||
|
@ -221,6 +218,9 @@ mv %{buildroot}%{_prefix}/lib/lib%{name}java.so %{buildroot}%{_libdir}/%{name}
|
|||
%{python3_sitearch}/%{name}/
|
||||
|
||||
%changelog
|
||||
* Tue Jan 21 2020 Jerry James <loganjerry@gmail.com> - 4.8.7-4
|
||||
- Make -doc be archful (bz 1792740)
|
||||
|
||||
* Sun Jan 19 2020 Richard W.M. Jones <rjones@redhat.com> - 4.8.7-4
|
||||
- OCaml 4.10.0+beta1 rebuild.
|
||||
|
||||
|
|
Loading…
Reference in New Issue