Compare commits
No commits in common. "rawhide" and "f29" have entirely different histories.
@ -1,6 +1,6 @@
|
|||||||
Name: ocaml-tplib
|
Name: ocaml-tplib
|
||||||
Version: 1.3
|
Version: 1.3
|
||||||
Release: 61%{?dist}
|
Release: 34%{?dist}
|
||||||
Summary: Tropical Polyhedra Library
|
Summary: Tropical Polyhedra Library
|
||||||
|
|
||||||
License: LGPLv2+
|
License: LGPLv2+
|
||||||
@ -21,7 +21,6 @@ Patch0: %{name}-ocamlbuild.patch
|
|||||||
# Adapt to current versions of mlgmpidl
|
# Adapt to current versions of mlgmpidl
|
||||||
Patch1: %{name}-mlgmpidl.patch
|
Patch1: %{name}-mlgmpidl.patch
|
||||||
|
|
||||||
BuildRequires: make
|
|
||||||
BuildRequires: mpfr-devel
|
BuildRequires: mpfr-devel
|
||||||
BuildRequires: ocaml
|
BuildRequires: ocaml
|
||||||
BuildRequires: ocaml-ocamlbuild-devel
|
BuildRequires: ocaml-ocamlbuild-devel
|
||||||
@ -33,7 +32,7 @@ BuildRequires: ocaml-ocamldoc
|
|||||||
BuildRequires: ocaml-zarith-devel
|
BuildRequires: ocaml-zarith-devel
|
||||||
|
|
||||||
# This is an internal symbol that winds up in Requires, but not Provides
|
# This is an internal symbol that winds up in Requires, but not Provides
|
||||||
%global __requires_exclude ocamlx?\\\(Numeric_plugin\\\)
|
%global __requires_exclude ocaml\\\(Numeric_plugin\\\)
|
||||||
|
|
||||||
# Don't advertise the numeric plugins
|
# Don't advertise the numeric plugins
|
||||||
%global __provides_exclude plugin
|
%global __provides_exclude plugin
|
||||||
@ -92,16 +91,9 @@ cp -p %{SOURCE1} %{SOURCE2} %{SOURCE3} %{SOURCE4} %{SOURCE5} %{SOURCE6} \
|
|||||||
%{buildroot}%{_mandir}/man1
|
%{buildroot}%{_mandir}/man1
|
||||||
|
|
||||||
%check
|
%check
|
||||||
# Disable tests on ppc64le for now. With ocaml 4.09.0, errors like this occur
|
|
||||||
# when linking the tests:
|
|
||||||
# _build/src/bindings/libtplib_double.a(tplib_double_callback.obj.o): in function `camlStdlib__arg__assoc3_118':
|
|
||||||
# (.text+0xe9258): relocation truncated to fit: R_PPC64_TOC16_DS against `.toc'+101d0
|
|
||||||
# (.text+0xe9298): relocation truncated to fit: R_PPC64_TOC16_DS against `.toc'+ffe8
|
|
||||||
%ifnarch %{power64}
|
|
||||||
make test
|
make test
|
||||||
_build/tests/test_tplib_double
|
_build/tests/test_tplib_double
|
||||||
_build/tests/test_tplib_rational
|
_build/tests/test_tplib_rational
|
||||||
%endif
|
|
||||||
|
|
||||||
%files
|
%files
|
||||||
%doc README
|
%doc README
|
||||||
@ -123,88 +115,6 @@ _build/tests/test_tplib_rational
|
|||||||
%doc %{_mandir}/man1/*
|
%doc %{_mandir}/man1/*
|
||||||
|
|
||||||
%changelog
|
%changelog
|
||||||
* Mon Mar 15 2021 Richard W.M. Jones <rjones@redhat.com> - 1.3-61
|
|
||||||
- Bump and rebuild for updated ocaml-findlib.
|
|
||||||
|
|
||||||
* Wed Mar 3 2021 Jerry James <loganjerry@gmail.com> - 1.3-60
|
|
||||||
- Rebuild for ocaml-zarith 1.12
|
|
||||||
|
|
||||||
* Mon Mar 1 17:06:22 GMT 2021 Richard W.M. Jones <rjones@redhat.com> - 1.3-59
|
|
||||||
- OCaml 4.12.0 build
|
|
||||||
|
|
||||||
* Wed Feb 17 2021 Jerry James <loganjerry@gmail.com> - 1.3-58
|
|
||||||
- Bump and rebuild for updated ocaml Dynlink dependency
|
|
||||||
|
|
||||||
* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-57
|
|
||||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
|
|
||||||
|
|
||||||
* Mon Nov 23 2020 Jerry James <loganjerry@gmail.com> - 1.3-56
|
|
||||||
- Rebuild for ocaml-zarith 1.11
|
|
||||||
|
|
||||||
* Fri Sep 25 2020 Jerry James <loganjerry@gmail.com> - 1.3-55
|
|
||||||
- Rebuild for ocaml-zarith 1.10
|
|
||||||
|
|
||||||
* Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 1.3-54
|
|
||||||
- OCaml 4.11.1 rebuild
|
|
||||||
|
|
||||||
* Fri Aug 21 2020 Richard W.M. Jones <rjones@redhat.com> - 1.3-53
|
|
||||||
- OCaml 4.11.0 rebuild
|
|
||||||
|
|
||||||
* Sat Aug 01 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-52
|
|
||||||
- Second attempt - Rebuilt for
|
|
||||||
https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
|
|
||||||
|
|
||||||
* Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-51
|
|
||||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
|
|
||||||
|
|
||||||
* Mon May 04 2020 Richard W.M. Jones <rjones@redhat.com> - 1.3-50
|
|
||||||
- OCaml 4.11.0+dev2-2020-04-22 rebuild
|
|
||||||
|
|
||||||
* Tue Apr 21 2020 Richard W.M. Jones <rjones@redhat.com> - 1.3-49
|
|
||||||
- OCaml 4.11.0 pre-release attempt 2
|
|
||||||
|
|
||||||
* Fri Apr 17 2020 Richard W.M. Jones <rjones@redhat.com> - 1.3-48
|
|
||||||
- OCaml 4.11.0 pre-release
|
|
||||||
|
|
||||||
* Mon Apr 13 2020 Jerry James <loganjerry@gmail.com> - 1.3-47
|
|
||||||
- Exclude ocamlx(Numeric_plugin) from Requires
|
|
||||||
|
|
||||||
* Thu Apr 02 2020 Richard W.M. Jones <rjones@redhat.com> - 1.3-46
|
|
||||||
- Update all OCaml dependencies for RPM 4.16.
|
|
||||||
|
|
||||||
* Wed Feb 26 2020 Richard W.M. Jones <rjones@redhat.com> - 1.3-45
|
|
||||||
- OCaml 4.10.0 final.
|
|
||||||
|
|
||||||
* Wed Jan 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-44
|
|
||||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
|
|
||||||
|
|
||||||
* Sun Jan 19 2020 Richard W.M. Jones <rjones@redhat.com> - 1.3-43
|
|
||||||
- OCaml 4.10.0+beta1 rebuild.
|
|
||||||
|
|
||||||
* Fri Dec 06 2019 Richard W.M. Jones <rjones@redhat.com> - 1.3-42
|
|
||||||
- OCaml 4.09.0 (final) rebuild.
|
|
||||||
|
|
||||||
* Fri Oct 11 2019 Jerry James <loganjerry@gmail.com> - 1.3-41
|
|
||||||
- Rebuild for mpfr 4
|
|
||||||
|
|
||||||
* Tue Sep 3 2019 Jerry James <loganjerry@gmail.com> - 1.3-40
|
|
||||||
- Rebuild for ocaml-zarith 1.9
|
|
||||||
|
|
||||||
* Fri Aug 16 2019 Richard W.M. Jones <rjones@redhat.com> - 1.3-39
|
|
||||||
- OCaml 4.08.1 (final) rebuild.
|
|
||||||
|
|
||||||
* Thu Aug 01 2019 Richard W.M. Jones <rjones@redhat.com> - 1.3-38
|
|
||||||
- OCaml 4.08.1 (rc2) rebuild.
|
|
||||||
|
|
||||||
* Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-37
|
|
||||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
|
|
||||||
|
|
||||||
* Thu Jul 4 2019 Jerry James <loganjerry@gmail.com> - 1.3-36
|
|
||||||
- Rebuild for ocaml 4.08.0
|
|
||||||
|
|
||||||
* Fri Feb 01 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-35
|
|
||||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
|
|
||||||
|
|
||||||
* Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-34
|
* Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-34
|
||||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user