2013-01-17 15:14:32 +00:00
|
|
|
Name: ocaml-tplib
|
2013-02-19 21:41:53 +00:00
|
|
|
Version: 1.3
|
2020-09-25 19:16:25 +00:00
|
|
|
Release: 55%{?dist}
|
2013-01-17 15:14:32 +00:00
|
|
|
Summary: Tropical Polyhedra Library
|
|
|
|
|
|
|
|
License: LGPLv2+
|
|
|
|
URL: https://gforge.inria.fr/projects/tplib
|
2013-02-19 21:41:53 +00:00
|
|
|
Source0: https://gforge.inria.fr/frs/download.php/32084/tplib-%{version}.tar.gz
|
2013-01-17 15:14:32 +00:00
|
|
|
# Man pages written by Jerry James using text from the sources; i.e., I
|
|
|
|
# contributed only the formatting. Thus, the license and copyright for these
|
|
|
|
# files is the same as for the sources.
|
|
|
|
Source1: compute_ext_rays.1
|
|
|
|
Source2: compute_ext_rays_polar.1
|
|
|
|
Source3: compute_halfspaces.1
|
2013-02-19 21:41:53 +00:00
|
|
|
Source4: compute_minimal_external_representations.1
|
|
|
|
Source5: compute_tangent_hypergraph.1
|
|
|
|
Source6: compute_tropical_complex.1
|
2014-09-19 21:16:15 +00:00
|
|
|
# Upstream patch to adapt to new ocamlbuild behavior. See
|
|
|
|
# https://github.com/ocaml/opam-repository/blob/master/packages/tplib/tplib.1.3/files/fix-makefile.diff
|
|
|
|
Patch0: %{name}-ocamlbuild.patch
|
2017-12-04 04:26:00 +00:00
|
|
|
# Adapt to current versions of mlgmpidl
|
|
|
|
Patch1: %{name}-mlgmpidl.patch
|
2013-01-17 15:14:32 +00:00
|
|
|
|
2017-12-04 04:26:00 +00:00
|
|
|
BuildRequires: mpfr-devel
|
2013-01-17 15:14:32 +00:00
|
|
|
BuildRequires: ocaml
|
2017-12-04 04:26:00 +00:00
|
|
|
BuildRequires: ocaml-ocamlbuild-devel
|
2013-01-17 15:14:32 +00:00
|
|
|
BuildRequires: ocaml-camlidl-devel
|
|
|
|
BuildRequires: ocaml-findlib-devel
|
2017-12-04 04:26:00 +00:00
|
|
|
BuildRequires: ocaml-mlgmpidl-devel
|
2017-11-22 22:24:23 +00:00
|
|
|
BuildRequires: ocaml-num-devel
|
2013-01-17 15:14:32 +00:00
|
|
|
BuildRequires: ocaml-ocamldoc
|
|
|
|
BuildRequires: ocaml-zarith-devel
|
|
|
|
|
|
|
|
# This is an internal symbol that winds up in Requires, but not Provides
|
2020-04-13 17:01:01 +00:00
|
|
|
%global __requires_exclude ocamlx?\\\(Numeric_plugin\\\)
|
2013-01-17 15:14:32 +00:00
|
|
|
|
|
|
|
# Don't advertise the numeric plugins
|
|
|
|
%global __provides_exclude plugin
|
|
|
|
|
|
|
|
%description
|
|
|
|
TPLib computes a description by means of vertices and rays of tropical
|
|
|
|
polyhedra defined by means of inequalities, and conversely.
|
|
|
|
|
|
|
|
It also provides a numerical abstract domain based on tropical
|
|
|
|
polyhedra, in order to infer min-/max- invariants over programs.
|
|
|
|
|
|
|
|
%package devel
|
|
|
|
Summary: Library files and headers for developing with TPLib
|
|
|
|
Requires: %{name}%{?_isa} = %{version}-%{release}
|
|
|
|
Provides: %{name}-static = %{version}-%{release}
|
|
|
|
|
|
|
|
%description devel
|
|
|
|
Library files and headers for developing applications that use TPLib.
|
|
|
|
|
|
|
|
%package tools
|
|
|
|
Summary: Tools that use TPLib
|
|
|
|
Requires: %{name}%{?_isa} = %{version}-%{release}
|
|
|
|
|
|
|
|
%description tools
|
|
|
|
Tools that use TPLib.
|
|
|
|
|
|
|
|
%prep
|
2013-02-19 21:41:53 +00:00
|
|
|
%setup -q -n tplib-%{version}
|
2014-09-19 21:16:15 +00:00
|
|
|
%patch0
|
2017-12-04 04:26:00 +00:00
|
|
|
%patch1
|
2013-01-17 15:14:32 +00:00
|
|
|
|
2013-09-16 17:59:29 +00:00
|
|
|
# Enable debuginfo generation
|
|
|
|
sed -i 's/@OCAMLBUILD@/& -cflag -g -lflag -g/' Makefile.in
|
|
|
|
|
2017-12-04 04:26:00 +00:00
|
|
|
# Use the PIC version of libasmrun
|
|
|
|
sed -i 's/-lasmrun/&_pic/g' Makefile.in configure
|
|
|
|
sed -i 's/libasmrun\.a/libasmrun_pic.a/' Makefile.in
|
|
|
|
|
|
|
|
# Build the bindings with -fPIC
|
|
|
|
sed -i 's,CFLAGS += -I\$(OCAML_HOME_DIR),& -fPIC,' Makefile.in
|
|
|
|
|
2013-01-17 15:14:32 +00:00
|
|
|
%build
|
|
|
|
%configure
|
|
|
|
# Don't use %%{?_smp_mflags}; it leads to build failures
|
|
|
|
make
|
|
|
|
|
|
|
|
%install
|
|
|
|
export OCAMLFIND_DESTDIR=%{buildroot}%{_libdir}/ocaml
|
|
|
|
mkdir -p $OCAMLFIND_DESTDIR
|
|
|
|
mkdir -p %{buildroot}%{_includedir}
|
|
|
|
make install bindir=%{buildroot}%{_bindir} libdir=%{buildroot}%{_libdir} \
|
|
|
|
includedir=%{buildroot}%{_includedir}
|
|
|
|
|
|
|
|
mkdir -p %{buildroot}%{_mandir}/man1
|
2013-02-19 21:41:53 +00:00
|
|
|
cp -p %{SOURCE1} %{SOURCE2} %{SOURCE3} %{SOURCE4} %{SOURCE5} %{SOURCE6} \
|
|
|
|
%{buildroot}%{_mandir}/man1
|
2013-01-17 15:14:32 +00:00
|
|
|
|
|
|
|
%check
|
2020-01-02 17:25:55 +00:00
|
|
|
# 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}
|
2013-01-17 15:14:32 +00:00
|
|
|
make test
|
|
|
|
_build/tests/test_tplib_double
|
|
|
|
_build/tests/test_tplib_rational
|
2020-01-02 17:25:55 +00:00
|
|
|
%endif
|
2013-01-17 15:14:32 +00:00
|
|
|
|
|
|
|
%files
|
2014-09-19 21:16:15 +00:00
|
|
|
%doc README
|
|
|
|
%license LICENSE
|
2013-01-17 15:14:32 +00:00
|
|
|
%{_libdir}/ocaml/tplib/
|
|
|
|
%exclude %{_libdir}/ocaml/tplib/*.a
|
|
|
|
%exclude %{_libdir}/ocaml/tplib/*.cmxa
|
|
|
|
%exclude %{_libdir}/ocaml/tplib/*.mli
|
|
|
|
|
|
|
|
%files devel
|
|
|
|
%{_includedir}/tplib_*.h
|
|
|
|
%{_libdir}/*.a
|
|
|
|
%{_libdir}/ocaml/tplib/*.a
|
|
|
|
%{_libdir}/ocaml/tplib/*.cmxa
|
|
|
|
%{_libdir}/ocaml/tplib/*.mli
|
|
|
|
|
|
|
|
%files tools
|
|
|
|
%{_bindir}/*
|
|
|
|
%doc %{_mandir}/man1/*
|
|
|
|
|
|
|
|
%changelog
|
2020-09-25 19:16:25 +00:00
|
|
|
* Fri Sep 25 2020 Jerry James <loganjerry@gmail.com> - 1.3-55
|
|
|
|
- Rebuild for ocaml-zarith 1.10
|
|
|
|
|
2020-09-01 19:33:19 +00:00
|
|
|
* Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 1.3-54
|
|
|
|
- OCaml 4.11.1 rebuild
|
|
|
|
|
2020-08-21 11:19:50 +00:00
|
|
|
* Fri Aug 21 2020 Richard W.M. Jones <rjones@redhat.com> - 1.3-53
|
|
|
|
- OCaml 4.11.0 rebuild
|
|
|
|
|
2020-08-01 06:45:09 +00:00
|
|
|
* 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
|
|
|
|
|
2020-07-28 12:20:39 +00:00
|
|
|
* Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-51
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
|
|
|
|
|
2020-05-04 23:01:02 +00:00
|
|
|
* Mon May 04 2020 Richard W.M. Jones <rjones@redhat.com> - 1.3-50
|
|
|
|
- OCaml 4.11.0+dev2-2020-04-22 rebuild
|
|
|
|
|
2020-04-21 18:49:11 +00:00
|
|
|
* Tue Apr 21 2020 Richard W.M. Jones <rjones@redhat.com> - 1.3-49
|
|
|
|
- OCaml 4.11.0 pre-release attempt 2
|
|
|
|
|
2020-04-17 21:05:15 +00:00
|
|
|
* Fri Apr 17 2020 Richard W.M. Jones <rjones@redhat.com> - 1.3-48
|
|
|
|
- OCaml 4.11.0 pre-release
|
|
|
|
|
2020-04-13 17:01:01 +00:00
|
|
|
* Mon Apr 13 2020 Jerry James <loganjerry@gmail.com> - 1.3-47
|
|
|
|
- Exclude ocamlx(Numeric_plugin) from Requires
|
|
|
|
|
2020-04-02 22:08:17 +00:00
|
|
|
* Thu Apr 02 2020 Richard W.M. Jones <rjones@redhat.com> - 1.3-46
|
|
|
|
- Update all OCaml dependencies for RPM 4.16.
|
|
|
|
|
2020-02-26 16:25:14 +00:00
|
|
|
* Wed Feb 26 2020 Richard W.M. Jones <rjones@redhat.com> - 1.3-45
|
|
|
|
- OCaml 4.10.0 final.
|
|
|
|
|
2020-01-29 19:47:54 +00:00
|
|
|
* Wed Jan 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-44
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
|
|
|
|
|
2020-01-19 16:14:27 +00:00
|
|
|
* Sun Jan 19 2020 Richard W.M. Jones <rjones@redhat.com> - 1.3-43
|
|
|
|
- OCaml 4.10.0+beta1 rebuild.
|
|
|
|
|
2019-12-06 16:02:15 +00:00
|
|
|
* Fri Dec 06 2019 Richard W.M. Jones <rjones@redhat.com> - 1.3-42
|
|
|
|
- OCaml 4.09.0 (final) rebuild.
|
|
|
|
|
2019-10-11 14:46:44 +00:00
|
|
|
* Fri Oct 11 2019 Jerry James <loganjerry@gmail.com> - 1.3-41
|
|
|
|
- Rebuild for mpfr 4
|
|
|
|
|
2019-09-06 15:13:06 +00:00
|
|
|
* Tue Sep 3 2019 Jerry James <loganjerry@gmail.com> - 1.3-40
|
|
|
|
- Rebuild for ocaml-zarith 1.9
|
|
|
|
|
2019-08-16 17:17:29 +00:00
|
|
|
* Fri Aug 16 2019 Richard W.M. Jones <rjones@redhat.com> - 1.3-39
|
|
|
|
- OCaml 4.08.1 (final) rebuild.
|
|
|
|
|
2019-08-01 07:54:29 +00:00
|
|
|
* Thu Aug 01 2019 Richard W.M. Jones <rjones@redhat.com> - 1.3-38
|
|
|
|
- OCaml 4.08.1 (rc2) rebuild.
|
|
|
|
|
2019-07-25 23:02:07 +00:00
|
|
|
* Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-37
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
|
|
|
|
|
2019-07-04 19:17:16 +00:00
|
|
|
* Thu Jul 4 2019 Jerry James <loganjerry@gmail.com> - 1.3-36
|
|
|
|
- Rebuild for ocaml 4.08.0
|
|
|
|
|
2019-02-01 16:58:41 +00:00
|
|
|
* Fri Feb 01 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-35
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
|
|
|
|
|
2018-07-13 14:49:07 +00:00
|
|
|
* Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-34
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
|
|
|
|
|
2018-07-11 19:02:56 +00:00
|
|
|
* Wed Jul 11 2018 Richard W.M. Jones <rjones@redhat.com> - 1.3-33
|
|
|
|
- OCaml 4.07.0 (final) rebuild.
|
|
|
|
|
2018-06-20 20:47:10 +00:00
|
|
|
* Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 1.3-32
|
|
|
|
- OCaml 4.07.0-rc1 rebuild.
|
|
|
|
|
2018-02-08 08:59:38 +00:00
|
|
|
* Thu Feb 08 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-31
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
|
|
|
|
|
2017-11-18 00:46:40 +00:00
|
|
|
* Sat Nov 18 2017 Richard W.M. Jones <rjones@redhat.com> - 1.3-30
|
|
|
|
- OCaml 4.06.0 rebuild.
|
|
|
|
|
2017-08-09 10:07:27 +00:00
|
|
|
* Wed Aug 09 2017 Richard W.M. Jones <rjones@redhat.com> - 1.3-29
|
|
|
|
- OCaml 4.05.0 rebuild.
|
|
|
|
|
2017-08-03 04:20:01 +00:00
|
|
|
* Thu Aug 03 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-28
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
|
|
|
|
|
2017-07-27 01:31:53 +00:00
|
|
|
* Thu Jul 27 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-27
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
|
|
|
|
|
2017-06-27 12:52:04 +00:00
|
|
|
* Tue Jun 27 2017 Richard W.M. Jones <rjones@redhat.com> - 1.3-26
|
|
|
|
- OCaml 4.04.2 rebuild.
|
|
|
|
|
2017-05-13 12:19:50 +00:00
|
|
|
* Sat May 13 2017 Richard W.M. Jones <rjones@redhat.com> - 1.3-25
|
|
|
|
- OCaml 4.04.1 rebuild.
|
|
|
|
|
2017-02-11 00:36:06 +00:00
|
|
|
* Sat Feb 11 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-24
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
|
|
|
|
|
2016-11-09 18:01:14 +00:00
|
|
|
* Wed Nov 09 2016 Dan Horák <dan@danny.cz> - 1.3-23
|
|
|
|
- rebuild for s390x codegen bug
|
|
|
|
|
2016-11-07 21:39:05 +00:00
|
|
|
* Mon Nov 07 2016 Richard W.M. Jones <rjones@redhat.com> - 1.3-22
|
|
|
|
- Rebuild for OCaml 4.04.0.
|
2016-11-07 21:44:04 +00:00
|
|
|
- Add explicit dependency on ocamlbuild.
|
2016-11-07 21:39:05 +00:00
|
|
|
|
2016-02-04 11:11:07 +00:00
|
|
|
* Thu Feb 04 2016 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-21
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
|
|
|
|
|
2015-11-26 02:42:59 +00:00
|
|
|
* Wed Nov 25 2015 Jerry James <loganjerry@gmail.com> - 1.3-20
|
|
|
|
- Rebuild for ocaml-zarith 1.4.1
|
|
|
|
|
2015-07-28 23:18:34 +00:00
|
|
|
* Tue Jul 28 2015 Richard W.M. Jones <rjones@redhat.com> - 1.3-19
|
|
|
|
- OCaml 4.02.3 rebuild.
|
|
|
|
|
2015-06-24 23:33:34 +00:00
|
|
|
* Wed Jun 24 2015 Richard W.M. Jones <rjones@redhat.com> - 1.3-18
|
|
|
|
- ocaml-4.02.2 final rebuild.
|
|
|
|
|
2015-06-18 14:55:54 +00:00
|
|
|
* Thu Jun 18 2015 Richard W.M. Jones <rjones@redhat.com> - 1.3-17
|
|
|
|
- ocaml-4.02.2 rebuild.
|
|
|
|
|
2015-06-17 23:37:00 +00:00
|
|
|
* Wed Jun 17 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.3-16
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
|
|
|
|
|
2015-02-18 19:42:38 +00:00
|
|
|
* Wed Feb 18 2015 Richard W.M. Jones <rjones@redhat.com> - 1.3-15
|
|
|
|
- ocaml-4.02.1 rebuild.
|
|
|
|
|
2014-10-14 16:32:18 +00:00
|
|
|
* Tue Oct 14 2014 Jerry James <loganjerry@gmail.com> - 1.3-14
|
|
|
|
- Rebuild for ocaml-zarith 1.3
|
|
|
|
|
2014-09-19 21:16:15 +00:00
|
|
|
* Fri Sep 19 2014 Jerry James <loganjerry@gmail.com> - 1.3-13
|
|
|
|
- Add -ocamlbuild patch to fix build with ocaml 4.02.0
|
|
|
|
- Fix license handling
|
|
|
|
|
2014-08-24 13:55:44 +00:00
|
|
|
* Sun Aug 24 2014 Richard W.M. Jones <rjones@redhat.com> - 1.3-12
|
|
|
|
- Bump release and rebuild.
|
|
|
|
|
2014-08-23 23:24:50 +00:00
|
|
|
* Sat Aug 23 2014 Richard W.M. Jones <rjones@redhat.com> - 1.3-11
|
|
|
|
- ocaml-4.02.0+rc1 rebuild.
|
|
|
|
|
2014-08-17 13:09:55 +00:00
|
|
|
* Sun Aug 17 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.3-10
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
|
|
|
|
|
2014-08-02 18:05:31 +00:00
|
|
|
* Sat Aug 02 2014 Richard W.M. Jones <rjones@redhat.com> - 1.3-9
|
|
|
|
- ocaml-4.02.0-0.8.git10e45753.fc22 rebuild.
|
|
|
|
|
2014-07-25 11:19:31 +00:00
|
|
|
* Fri Jul 25 2014 Richard W.M. Jones <rjones@redhat.com> - 1.3-8
|
|
|
|
- OCaml 4.02.0 beta rebuild.
|
|
|
|
|
2014-06-07 15:51:31 +00:00
|
|
|
* Sat Jun 07 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.3-7
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
|
|
|
|
|
2014-04-18 20:12:49 +00:00
|
|
|
* Fri Apr 18 2014 Jerry James <loganjerry@gmail.com> - 1.3-6
|
|
|
|
- Remove ocaml_arches macro (bz 1087794)
|
|
|
|
- Drop unnecessary gmp-devel BR
|
|
|
|
|
2013-09-16 17:59:29 +00:00
|
|
|
* Mon Sep 16 2013 Jerry James <loganjerry@gmail.com> - 1.3-5
|
|
|
|
- Rebuild for OCaml 4.01.0
|
|
|
|
- Enable debuginfo
|
|
|
|
|
2013-08-03 15:04:21 +00:00
|
|
|
* Sat Aug 03 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.3-4
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
|
|
|
|
|
2013-06-21 16:31:11 +00:00
|
|
|
* Fri Jun 21 2013 Jerry James <loganjerry@gmail.com> - 1.3-3
|
|
|
|
- Rebuild for ocaml-zarith 1.2.1
|
|
|
|
|
2013-05-23 15:44:57 +00:00
|
|
|
* Thu May 23 2013 Jerry James <loganjerry@gmail.com> - 1.3-2
|
|
|
|
- Rebuild for ocaml-zarith 1.2
|
|
|
|
|
2013-02-19 21:41:53 +00:00
|
|
|
* Tue Feb 19 2013 Jerry James <loganjerry@gmail.com> - 1.3-1
|
|
|
|
- New upstream release
|
|
|
|
- Upstream dropped MLGMPIDL support in favor of MLGMP, which we don't ship
|
|
|
|
|
2013-02-14 09:04:42 +00:00
|
|
|
* Thu Feb 14 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.2-3
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
|
|
|
|
|
2013-01-17 15:14:32 +00:00
|
|
|
* Wed Jan 16 2013 Jerry James <loganjerry@gmail.com> - 1.2-2
|
|
|
|
- Add man pages
|
|
|
|
- Don't Provide the numeric plugins
|
|
|
|
- Make -devel also Provide -static
|
|
|
|
|
|
|
|
* Wed Oct 31 2012 Jerry James <loganjerry@gmail.com> - 1.2-1
|
|
|
|
- Initial RPM
|