Compare commits

...

29 Commits
f29 ... rawhide

Author SHA1 Message Date
Richard W.M. Jones 56f0b30345 Bump and rebuild for updated ocaml-findlib. 2021-03-15 15:45:43 +00:00
Jerry James 13d664ec46 Rebuild for ocaml-zarith 1.12. 2021-03-03 12:11:21 -07:00
Richard W.M. Jones 3a995b9be6 OCaml 4.12.0 build 2021-03-01 17:06:23 +00:00
Jerry James ef715e7ad3 Bump and rebuild for updated ocaml Dynlink dependency. 2021-02-17 21:55:04 -07:00
Fedora Release Engineering 9dc45b49e4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2021-01-26 22:09:18 +00:00
Jerry James 6313bc2939 Rebuild for ocaml-zarith 1.11. 2020-11-23 14:12:50 -07:00
Jerry James d9581084f4 Explicitly BR make. 2020-11-09 16:53:38 -07:00
Jerry James 83410ac2cb Rebuild for ocaml-zarith 1.10. 2020-09-25 13:16:25 -06:00
Richard W.M. Jones c49dddefb1 OCaml 4.11.1 rebuild 2020-09-01 20:33:19 +01:00
Richard W.M. Jones cb322b569e OCaml 4.11.0 rebuild 2020-08-21 12:19:50 +01:00
Fedora Release Engineering ca8a82d0b5 - Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2020-08-01 06:45:09 +00:00
Fedora Release Engineering c728fe35f0 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2020-07-28 12:20:39 +00:00
Richard W.M. Jones 6cfeea9be4 OCaml 4.11.0+dev2-2020-04-22 rebuild 2020-05-05 00:01:02 +01:00
Richard W.M. Jones d937709009 OCaml 4.11.0 pre-release attempt 2 2020-04-21 19:49:11 +01:00
Richard W.M. Jones 2895eee114 OCaml 4.11.0 pre-release 2020-04-17 22:05:15 +01:00
Jerry James 823def308a Exclude ocamlx(Numeric_plugin) from Requires. 2020-04-13 11:01:01 -06:00
Richard W.M. Jones 49914c20d5 Update all OCaml dependencies for RPM 4.16. 2020-04-02 23:08:17 +01:00
Richard W.M. Jones ba98b87ae2 OCaml 4.10.0 final. 2020-02-26 16:25:14 +00:00
Fedora Release Engineering 390a6058cc - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2020-01-29 19:47:54 +00:00
Richard W.M. Jones 073f643246 OCaml 4.10.0+beta1 rebuild. 2020-01-19 16:14:27 +00:00
Jerry James 73a6dc8ca0 Temporarily disable tests on ppc64le. 2020-01-02 10:25:55 -07:00
Richard W.M. Jones 1b533114f6 OCaml 4.09.0 (final) rebuild. 2019-12-06 16:02:15 +00:00
Jerry James e413852354 Rebuild for mpfr 4. 2019-10-11 08:46:44 -06:00
Jerry James 5f69608aae Rebuild for ocaml-zarith 1.9. 2019-09-06 09:13:06 -06:00
Richard W.M. Jones d4d9fa565a OCaml 4.08.1 (final) rebuild. 2019-08-16 18:17:29 +01:00
Richard W.M. Jones 89f77a207e OCaml 4.08.1 (rc2) rebuild. 2019-08-01 08:54:29 +01:00
Fedora Release Engineering 89fae6f006 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2019-07-25 23:02:07 +00:00
Jerry James 3ad4e6853f Rebuild for ocaml 4.08.0. 2019-07-04 13:17:16 -06:00
Fedora Release Engineering e4cb14a3ab - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2019-02-01 16:58:41 +00:00
1 changed files with 92 additions and 2 deletions

View File

@ -1,6 +1,6 @@
Name: ocaml-tplib
Version: 1.3
Release: 34%{?dist}
Release: 61%{?dist}
Summary: Tropical Polyhedra Library
License: LGPLv2+
@ -21,6 +21,7 @@ Patch0: %{name}-ocamlbuild.patch
# Adapt to current versions of mlgmpidl
Patch1: %{name}-mlgmpidl.patch
BuildRequires: make
BuildRequires: mpfr-devel
BuildRequires: ocaml
BuildRequires: ocaml-ocamlbuild-devel
@ -32,7 +33,7 @@ BuildRequires: ocaml-ocamldoc
BuildRequires: ocaml-zarith-devel
# This is an internal symbol that winds up in Requires, but not Provides
%global __requires_exclude ocaml\\\(Numeric_plugin\\\)
%global __requires_exclude ocamlx?\\\(Numeric_plugin\\\)
# Don't advertise the numeric plugins
%global __provides_exclude plugin
@ -91,9 +92,16 @@ cp -p %{SOURCE1} %{SOURCE2} %{SOURCE3} %{SOURCE4} %{SOURCE5} %{SOURCE6} \
%{buildroot}%{_mandir}/man1
%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
_build/tests/test_tplib_double
_build/tests/test_tplib_rational
%endif
%files
%doc README
@ -115,6 +123,88 @@ _build/tests/test_tplib_rational
%doc %{_mandir}/man1/*
%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
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild