# NOTE: The version of this package is tied to the alt-ergo version. # Currently, alt-ergo-free is on version 2.3.x, which requires version 0.4.x # of this package. DO NOT UPDATE to a newer version until a newer alt-ergo-free # is also available. # OCaml packages not built on i686 since OCaml 5 / Fedora 39. ExcludeArch: %{ix86} %ifnarch %{ocaml_native_compiler} %global debug_package %{nil} %endif Name: ocaml-ocplib-simplex Epoch: 1 Version: 0.4.1 Release: 6%{?dist} Summary: Simplex algorithm for solving systems of linear inequalities License: LGPL-2.1-only WITH OCaml-LGPL-linking-exception URL: https://github.com/OCamlPro/ocplib-simplex Source0: %{url}/archive/v%{version}/ocplib-simplex-%{version}.tar.gz # Upstream patch to fix the tests Patch0: %{name}-tests.patch # Upstream patch to fix DESTDIR Patch1: %{name}-destdir.patch # Update configure.in for autoconf 2.71 Patch2: %{name}-autoconf.patch BuildRequires: autoconf BuildRequires: make BuildRequires: ocaml >= 4.01.0 BuildRequires: ocaml-findlib BuildRequires: ocaml-num-devel BuildRequires: ocaml-rpm-macros %description This package contains a library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities and optimizing linear objective functions. %package devel Summary: Development files for %{name} Requires: %{name}%{?_isa} = 1:%{version}-%{release} %description devel The %{name}-devel package contains libraries and signature files for developing applications that use %{name}. %prep %autosetup -p0 -n ocplib-simplex-%{version} autoconf # Upstream's attempt to set OCAMLFIND_DESTDIR interferes with ours sed -i '/OCAMLFIND_DESTDIR/d' Makefile.in %build %configure %ifarch %{ocaml_native_compiler} %make_build opt %else %make_build byte %endif %install export OCAMLFIND_DESTDIR=%{buildroot}%{ocamldir} mkdir -p $OCAMLFIND_DESTDIR %make_install rm -fr %{buildroot}%{_prefix}%{_prefix} %ocaml_files %ifarch %{ocaml_native_compiler} # The tests assume the availability of ocamlopt %check make local-tests %endif %files -f .ofiles %doc README.md %license LICENSE %files devel -f .ofiles-devel %doc extra/simplex_invariants.txt %changelog * Mon Jan 29 2024 Fedora Release Engineering - 1:0.4.1-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Thu Jan 25 2024 Fedora Release Engineering - 1:0.4.1-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Sun Jan 21 2024 Fedora Release Engineering - 1:0.4.1-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Tue Jan 2 2024 Jerry James - 1:0.4.1-3 - Reenable the tests * Mon Dec 18 2023 Jerry James - 1:0.4.1-2 - Fix devel package dependency on the main package * Mon Dec 18 2023 Jerry James - 1:0.4.1-1 - Revert to version 0.4.1 to avoid alt-ergo breakage * Mon Dec 18 2023 Richard W.M. Jones - 0.5-1 - New upstream version 0.5 - Uses dune build system (instead of autotools). - OCaml 5.1.1 + s390x code gen fix for Fedora 40 * Tue Dec 12 2023 Richard W.M. Jones - 0.4.1-5 - OCaml 5.1.1 rebuild for Fedora 40 * Thu Oct 05 2023 Richard W.M. Jones - 0.4.1-4 - OCaml 5.1 rebuild for Fedora 40 * Thu Jul 20 2023 Fedora Release Engineering - 0.4.1-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Wed Jul 12 2023 Richard W.M. Jones - 0.4.1-2 - OCaml 5.0 rebuild for Fedora 39 * Mon Jul 10 2023 Jerry James - 0.4.1-1 - Version 0.4.1 * Tue Jan 24 2023 Richard W.M. Jones - 0.4-30 - Rebuild OCaml packages for F38 * Thu Jan 19 2023 Fedora Release Engineering - 0.4-29 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Mon Dec 12 2022 Jerry James - 0.4-28 - New URL - Convert License tag to SPDX * Fri Jul 22 2022 Fedora Release Engineering - 0.4-28 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Wed Jul 20 2022 Jerry James - 0.4-27 - Use new OCaml macros * Sat Jun 18 2022 Richard W.M. Jones - 0.4-27 - OCaml 4.14.0 rebuild * Fri Feb 04 2022 Richard W.M. Jones - 0.4-26 - OCaml 4.13.1 rebuild to remove package notes * Thu Jan 20 2022 Fedora Release Engineering - 0.4-25 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Mon Oct 04 2021 Richard W.M. Jones - 0.4-24 - OCaml 4.13.1 build * Thu Jul 22 2021 Fedora Release Engineering - 0.4-23 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Mon Mar 29 2021 Jerry James - 0.4-22 - Add -autoconf patch for autoconf 2.71 (bz 1943043) * Mon Mar 1 16:58:01 GMT 2021 Richard W.M. Jones - 0.4-21 - OCaml 4.12.0 build * Tue Jan 26 2021 Fedora Release Engineering - 0.4-20 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Tue Sep 01 2020 Richard W.M. Jones - 0.4-19 - OCaml 4.11.1 rebuild * Fri Aug 21 2020 Richard W.M. Jones - 0.4-18 - OCaml 4.11.0 rebuild * Sat Aug 01 2020 Fedora Release Engineering - 0.4-17 - Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Tue Jul 28 2020 Fedora Release Engineering - 0.4-16 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Mon May 04 2020 Richard W.M. Jones - 0.4-15 - OCaml 4.11.0+dev2-2020-04-22 rebuild * Tue Apr 21 2020 Richard W.M. Jones - 0.4-14 - OCaml 4.11.0 pre-release attempt 2 * Fri Apr 17 2020 Richard W.M. Jones - 0.4-13 - OCaml 4.11.0 pre-release * Thu Apr 02 2020 Richard W.M. Jones - 0.4-12 - Update all OCaml dependencies for RPM 4.16. * Wed Feb 26 2020 Richard W.M. Jones - 0.4-11 - Bump release and rebuild. * Wed Feb 26 2020 Richard W.M. Jones - 0.4-10 - OCaml 4.10.0 final. * Wed Jan 29 2020 Fedora Release Engineering - 0.4-9 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Sun Jan 19 2020 Richard W.M. Jones - 0.4-8 - OCaml 4.10.0+beta1 rebuild. * Fri Jan 10 2020 Richard W.M. Jones - 0.4-7 - OCaml 4.09.0 for riscv64 * Fri Dec 06 2019 Richard W.M. Jones - 0.4-6 - OCaml 4.09.0 (final) rebuild. * Fri Aug 16 2019 Richard W.M. Jones - 0.4-5 - OCaml 4.08.1 (final) rebuild. * Wed Jul 31 2019 Richard W.M. Jones - 0.4-4 - OCaml 4.08.1 (rc2) rebuild. * Thu Jul 25 2019 Fedora Release Engineering - 0.4-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Thu Jun 27 2019 Richard W.M. Jones - 0.4-2 - OCaml 4.08.0 (final) rebuild. * Wed Jun 5 2019 Jerry James - 0.4-1 - New upstream version * Mon Apr 29 2019 Richard W.M. Jones - 0.3-15 - OCaml 4.08.0 (beta 3) rebuild. * Fri Feb 01 2019 Fedora Release Engineering - 0.3-14 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Fri Jul 13 2018 Fedora Release Engineering - 0.3-13 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Wed Jul 11 2018 Richard W.M. Jones - 0.3-12 - OCaml 4.07.0 (final) rebuild. * Wed Jun 20 2018 Richard W.M. Jones - 0.3-11 - OCaml 4.07.0-rc1 rebuild. * Thu Feb 08 2018 Fedora Release Engineering - 0.3-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Wed Nov 08 2017 Richard W.M. Jones - 0.3-9 - OCaml 4.06.0 rebuild. * Mon Aug 07 2017 Richard W.M. Jones - 0.3-8 - OCaml 4.05.0 rebuild. * Thu Aug 03 2017 Fedora Release Engineering - 0.3-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild * Thu Jul 27 2017 Fedora Release Engineering - 0.3-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild * Mon Jun 26 2017 Richard W.M. Jones - 0.3-5 - OCaml 4.04.2 rebuild. * Fri May 12 2017 Richard W.M. Jones - 0.3-4 - OCaml 4.04.1 rebuild. * Sat Feb 11 2017 Fedora Release Engineering - 0.3-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild * Mon Nov 28 2016 Jerry James - 0.3-2 - Use the _isa macro in the -devel dependency on the main package - Let the install step create META implicitly - Use a more verbose Source0 URL * Mon Nov 28 2016 Jerry James - 0.3-1 - Initial RPM