isl package is retired on branch c10s for BAKERY-412
This commit is contained in:
Troy Dawson
parent
ca0d8fef19
commit
505cdb5605
1
.gitignore
vendored
1
.gitignore
vendored
@ -1 +0,0 @@
|
||||
/isl-*.tar.xz
|
||||
1
dead.package
Normal file
1
dead.package
Normal file
@ -0,0 +1 @@
|
||||
isl package is retired on branch c10s for BAKERY-412
|
||||
178
isl.spec
178
isl.spec
@ -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 <releng@fedoraproject.org> - 0.16.1-18
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
|
||||
|
||||
* Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.16.1-17
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
|
||||
|
||||
* Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.16.1-16
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
|
||||
|
||||
* Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.16.1-15
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
|
||||
|
||||
* Thu Jul 22 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.16.1-14
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
|
||||
|
||||
* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.16.1-13
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
|
||||
|
||||
* Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.16.1-12
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
|
||||
|
||||
* Wed Jul 22 2020 Tom Stellard <tstellar@redhat.com> - 0.16.1-11
|
||||
- Use make macros
|
||||
- https://fedoraproject.org/wiki/Changes/UseMakeBuildInstallMacro
|
||||
|
||||
* Wed Jan 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.16.1-10
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
|
||||
|
||||
* Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.16.1-9
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
|
||||
|
||||
* Fri Feb 01 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.16.1-8
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
|
||||
|
||||
* Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.16.1-7
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
|
||||
|
||||
* Fri Feb 09 2018 Igor Gnatenko <ignatenkobrain@fedoraproject.org> - 0.16.1-6
|
||||
- Escape macros in %%changelog
|
||||
|
||||
* Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.16.1-5
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
|
||||
|
||||
* Fri Sep 15 2017 Troy Dawson <tdawson@redhat.com> - 0.16.1-4
|
||||
- Fix %%setup options
|
||||
|
||||
* Wed Aug 02 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.16.1-3
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
|
||||
|
||||
* Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.16.1-2
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
|
||||
|
||||
* Thu Feb 02 2017 David Howells <dhowells@redhat.com> - 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 <sgallagh@redhat.com> - 0.14-6
|
||||
- Add missing %%license macro (#1418512)
|
||||
|
||||
* Thu Feb 04 2016 Fedora Release Engineering <releng@fedoraproject.org> - 0.14-5
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
|
||||
|
||||
* Wed Jun 17 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.14-4
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
|
||||
|
||||
* Mon Jan 5 2015 David Howells <dhowells@redhat.com> - 0.14-3
|
||||
- Initial packaging.
|
||||
2
sources
2
sources
@ -1,2 +0,0 @@
|
||||
SHA512 (isl-0.14.tar.xz) = cf43868d466d6ff08c5e15345d222ad153e8c4e86831f9854df716eb914c6c15f4c44b73aa6e0b16eb556d1a4d3c26af6f71e85421bf464cbbd053d5f3c515ee
|
||||
SHA512 (isl-0.16.1.tar.xz) = 6faff2fe07267ba05c156158c36c25aa9beec6058f949b7bb9b8f042c5d01b7a3a17a6117c2c2a13ad6180308c8d03cfd469b237abf85290411599dde614788f
|
||||
Loading…
Reference in New Issue
Block a user