diff --git a/.gitignore b/.gitignore deleted file mode 100644 index 20df74a..0000000 --- a/.gitignore +++ /dev/null @@ -1 +0,0 @@ -/isl-*.tar.xz diff --git a/dead.package b/dead.package new file mode 100644 index 0000000..657db4d --- /dev/null +++ b/dead.package @@ -0,0 +1 @@ +isl package is retired on branch c10s for BAKERY-412 \ No newline at end of file diff --git a/isl.spec b/isl.spec deleted file mode 100644 index 54bd6c7..0000000 --- a/isl.spec +++ /dev/null @@ -1,178 +0,0 @@ -Summary: Integer point manipulation library -Name: isl -Version: 0.16.1 -License: MIT -URL: http://isl.gforge.inria.fr/ - -%global libmajor 15 -%global libversion %{libmajor}.1.1 - -%global oldversion 0.14 -%global oldlibmajor 13 -%global oldlibversion %{oldlibmajor}.1.0 - -# Please set buildid below when building a private version of this rpm to -# differentiate it from the stock rpm. -# -# % global buildid .local - -Release: 18%{?buildid}%{?dist} - -BuildRequires: gcc -BuildRequires: gmp-devel -BuildRequires: pkgconfig -BuildRequires: make -Provides: isl = %{oldversion} - -Source0: http://isl.gforge.inria.fr/isl-%{version}.tar.xz - -# Current gcc requires exactly 0.14 -Source1: http://isl.gforge.inria.fr/isl-%{oldversion}.tar.xz - -%description -isl is a library for manipulating sets and relations of integer points -bounded by linear constraints. Supported operations on sets include -intersection, union, set difference, emptiness check, convex hull, -(integer) affine hull, integer projection, computing the lexicographic -minimum using parametric integer programming, coalescing and parametric -vertex enumeration. It also includes an ILP solver based on generalized -basis reduction, transitive closures on maps (which may encode infinite -graphs), dependence analysis and bounds on piecewise step-polynomials. - -%package devel -Summary: Development for building integer point manipulation library -Requires: isl%{?_isa} == %{version}-%{release} -Requires: gmp-devel%{?_isa} - -%description devel -isl is a library for manipulating sets and relations of integer points -bounded by linear constraints. Supported operations on sets include -intersection, union, set difference, emptiness check, convex hull, -(integer) affine hull, integer projection, computing the lexicographic -minimum using parametric integer programming, coalescing and parametric -vertex enumeration. It also includes an ILP solver based on generalized -basis reduction, transitive closures on maps (which may encode infinite -graphs), dependence analysis and bounds on piecewise step-polynomials. - -%prep -%global docdir isl-%{version} -%setup -a 1 -q -n isl -c - -%build -cd isl-%{oldversion} -%configure -%make_build -cd .. - -cd isl-%{version} -%configure -%make_build - -%install -cd isl-%{oldversion} -%make_install install-libLTLIBRARIES -cd .. - -cd isl-%{version} -%make_install -rm -f %{buildroot}/%{_libdir}/libisl.a -rm -f %{buildroot}/%{_libdir}/libisl.la -mkdir -p %{buildroot}/%{_datadir} -%global gdbprettydir %{_datadir}/gdb/auto-load/%{_libdir} -mkdir -p %{buildroot}/%{gdbprettydir} -mv %{buildroot}/%{_libdir}/*-gdb.py* %{buildroot}/%{gdbprettydir} - -%check -cd isl-%{oldversion} -#make check -cd .. - -cd isl-%{version} -#make check - -%ldconfig_scriptlets - -%files -%{_libdir}/libisl.so.%{libmajor} -%{_libdir}/libisl.so.%{libversion} -%{_libdir}/libisl.so.%{oldlibmajor} -%{_libdir}/libisl.so.%{oldlibversion} -%{gdbprettydir}/* -%license %{docdir}/LICENSE -%doc %{docdir}/AUTHORS %{docdir}/ChangeLog %{docdir}/README - -%files devel -%{_includedir}/* -%{_libdir}/libisl.so -%{_libdir}/pkgconfig/isl.pc -%doc %{docdir}/doc/manual.pdf - - -%changelog -* Thu Jul 20 2023 Fedora Release Engineering - 0.16.1-18 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild - -* Thu Jan 19 2023 Fedora Release Engineering - 0.16.1-17 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild - -* Thu Jul 21 2022 Fedora Release Engineering - 0.16.1-16 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild - -* Thu Jan 20 2022 Fedora Release Engineering - 0.16.1-15 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild - -* Thu Jul 22 2021 Fedora Release Engineering - 0.16.1-14 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild - -* Tue Jan 26 2021 Fedora Release Engineering - 0.16.1-13 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild - -* Tue Jul 28 2020 Fedora Release Engineering - 0.16.1-12 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild - -* Wed Jul 22 2020 Tom Stellard - 0.16.1-11 -- Use make macros -- https://fedoraproject.org/wiki/Changes/UseMakeBuildInstallMacro - -* Wed Jan 29 2020 Fedora Release Engineering - 0.16.1-10 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild - -* Thu Jul 25 2019 Fedora Release Engineering - 0.16.1-9 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild - -* Fri Feb 01 2019 Fedora Release Engineering - 0.16.1-8 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild - -* Fri Jul 13 2018 Fedora Release Engineering - 0.16.1-7 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild - -* Fri Feb 09 2018 Igor Gnatenko - 0.16.1-6 -- Escape macros in %%changelog - -* Wed Feb 07 2018 Fedora Release Engineering - 0.16.1-5 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild - -* Fri Sep 15 2017 Troy Dawson - 0.16.1-4 -- Fix %%setup options - -* Wed Aug 02 2017 Fedora Release Engineering - 0.16.1-3 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild - -* Wed Jul 26 2017 Fedora Release Engineering - 0.16.1-2 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild - -* Thu Feb 02 2017 David Howells - 0.16.1-1 -- Move to version 0.16.1. -- Build and install just the libraries from 0.14 so that gcc can work. - -* Wed Feb 01 2017 Stephen Gallagher - 0.14-6 -- Add missing %%license macro (#1418512) - -* Thu Feb 04 2016 Fedora Release Engineering - 0.14-5 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild - -* Wed Jun 17 2015 Fedora Release Engineering - 0.14-4 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild - -* Mon Jan 5 2015 David Howells - 0.14-3 -- Initial packaging. diff --git a/sources b/sources deleted file mode 100644 index fc676da..0000000 --- a/sources +++ /dev/null @@ -1,2 +0,0 @@ -SHA512 (isl-0.14.tar.xz) = cf43868d466d6ff08c5e15345d222ad153e8c4e86831f9854df716eb914c6c15f4c44b73aa6e0b16eb556d1a4d3c26af6f71e85421bf464cbbd053d5f3c515ee -SHA512 (isl-0.16.1.tar.xz) = 6faff2fe07267ba05c156158c36c25aa9beec6058f949b7bb9b8f042c5d01b7a3a17a6117c2c2a13ad6180308c8d03cfd469b237abf85290411599dde614788f