|
Packit |
a8d3bf |
Summary: Integer point manipulation library
|
|
Packit |
a8d3bf |
Name: isl
|
|
Packit |
a8d3bf |
Version: 0.16.1
|
|
Packit |
a8d3bf |
License: MIT
|
|
Packit |
a8d3bf |
Group: System Environment/Libraries
|
|
Packit |
a8d3bf |
URL: http://isl.gforge.inria.fr/
|
|
Packit |
a8d3bf |
|
|
Packit |
a8d3bf |
%global libmajor 15
|
|
Packit |
a8d3bf |
%global libversion %{libmajor}.1.1
|
|
Packit |
a8d3bf |
|
|
Packit |
a8d3bf |
%global oldversion 0.14
|
|
Packit |
a8d3bf |
%global oldlibmajor 13
|
|
Packit |
a8d3bf |
%global oldlibversion %{oldlibmajor}.1.0
|
|
Packit |
a8d3bf |
|
|
Packit |
a8d3bf |
# Please set buildid below when building a private version of this rpm to
|
|
Packit |
a8d3bf |
# differentiate it from the stock rpm.
|
|
Packit |
a8d3bf |
#
|
|
Packit |
a8d3bf |
# % global buildid .local
|
|
Packit |
a8d3bf |
|
|
Packit |
a8d3bf |
Release: 6%{?buildid}%{?dist}
|
|
Packit |
a8d3bf |
|
|
Packit |
a8d3bf |
BuildRequires: gmp-devel
|
|
Packit |
a8d3bf |
BuildRequires: pkgconfig
|
|
Packit |
a8d3bf |
Provides: isl = %{oldversion}
|
|
Packit |
a8d3bf |
|
|
Packit |
a8d3bf |
Source0: http://isl.gforge.inria.fr/isl-%{version}.tar.xz
|
|
Packit |
a8d3bf |
|
|
Packit |
a8d3bf |
# Current gcc requires exactly 0.14
|
|
Packit |
a8d3bf |
Source1: http://isl.gforge.inria.fr/isl-%{oldversion}.tar.xz
|
|
Packit |
a8d3bf |
|
|
Packit |
a8d3bf |
%description
|
|
Packit |
a8d3bf |
isl is a library for manipulating sets and relations of integer points
|
|
Packit |
a8d3bf |
bounded by linear constraints. Supported operations on sets include
|
|
Packit |
a8d3bf |
intersection, union, set difference, emptiness check, convex hull,
|
|
Packit |
a8d3bf |
(integer) affine hull, integer projection, computing the lexicographic
|
|
Packit |
a8d3bf |
minimum using parametric integer programming, coalescing and parametric
|
|
Packit |
a8d3bf |
vertex enumeration. It also includes an ILP solver based on generalized
|
|
Packit |
a8d3bf |
basis reduction, transitive closures on maps (which may encode infinite
|
|
Packit |
a8d3bf |
graphs), dependence analysis and bounds on piecewise step-polynomials.
|
|
Packit |
a8d3bf |
|
|
Packit |
a8d3bf |
%package devel
|
|
Packit |
a8d3bf |
Summary: Development for building integer point manipulation library
|
|
Packit |
a8d3bf |
Requires: isl%{?_isa} == %{version}-%{release}
|
|
Packit |
a8d3bf |
Requires: gmp-devel%{?_isa}
|
|
Packit |
a8d3bf |
Group: Development/Libraries
|
|
Packit |
a8d3bf |
|
|
Packit |
a8d3bf |
%description devel
|
|
Packit |
a8d3bf |
isl is a library for manipulating sets and relations of integer points
|
|
Packit |
a8d3bf |
bounded by linear constraints. Supported operations on sets include
|
|
Packit |
a8d3bf |
intersection, union, set difference, emptiness check, convex hull,
|
|
Packit |
a8d3bf |
(integer) affine hull, integer projection, computing the lexicographic
|
|
Packit |
a8d3bf |
minimum using parametric integer programming, coalescing and parametric
|
|
Packit |
a8d3bf |
vertex enumeration. It also includes an ILP solver based on generalized
|
|
Packit |
a8d3bf |
basis reduction, transitive closures on maps (which may encode infinite
|
|
Packit |
a8d3bf |
graphs), dependence analysis and bounds on piecewise step-polynomials.
|
|
Packit |
a8d3bf |
|
|
Packit |
a8d3bf |
%prep
|
|
Packit |
a8d3bf |
%global docdir isl-%{version}
|
|
Packit |
a8d3bf |
%setup -a 1 -q -n isl -c
|
|
Packit |
a8d3bf |
|
|
Packit |
a8d3bf |
%build
|
|
Packit |
a8d3bf |
cd isl-%{oldversion}
|
|
Packit |
a8d3bf |
%configure
|
|
Packit |
a8d3bf |
make %{?_smp_mflags} V=1
|
|
Packit |
a8d3bf |
cd ..
|
|
Packit |
a8d3bf |
|
|
Packit |
a8d3bf |
cd isl-%{version}
|
|
Packit |
a8d3bf |
%configure
|
|
Packit |
a8d3bf |
make %{?_smp_mflags} V=1
|
|
Packit |
a8d3bf |
|
|
Packit |
a8d3bf |
%install
|
|
Packit |
a8d3bf |
cd isl-%{oldversion}
|
|
Packit |
a8d3bf |
%make_install INSTALL="install -p" install-libLTLIBRARIES
|
|
Packit |
a8d3bf |
cd ..
|
|
Packit |
a8d3bf |
|
|
Packit |
a8d3bf |
cd isl-%{version}
|
|
Packit |
a8d3bf |
%make_install INSTALL="install -p"
|
|
Packit |
a8d3bf |
rm -f %{buildroot}/%{_libdir}/libisl.a
|
|
Packit |
a8d3bf |
rm -f %{buildroot}/%{_libdir}/libisl.la
|
|
Packit |
a8d3bf |
mkdir -p %{buildroot}/%{_datadir}
|
|
Packit |
a8d3bf |
%global gdbprettydir %{_datadir}/gdb/auto-load/%{_libdir}
|
|
Packit |
a8d3bf |
mkdir -p %{buildroot}/%{gdbprettydir}
|
|
Packit |
a8d3bf |
mv %{buildroot}/%{_libdir}/*-gdb.py* %{buildroot}/%{gdbprettydir}
|
|
Packit |
a8d3bf |
|
|
Packit |
a8d3bf |
%check
|
|
Packit |
a8d3bf |
cd isl-%{oldversion}
|
|
Packit |
a8d3bf |
#make check
|
|
Packit |
a8d3bf |
cd ..
|
|
Packit |
a8d3bf |
|
|
Packit |
a8d3bf |
cd isl-%{version}
|
|
Packit |
a8d3bf |
#make check
|
|
Packit |
a8d3bf |
|
|
Packit |
a8d3bf |
%post -p /sbin/ldconfig
|
|
Packit |
a8d3bf |
%postun -p /sbin/ldconfig
|
|
Packit |
a8d3bf |
|
|
Packit |
a8d3bf |
%files
|
|
Packit |
a8d3bf |
%{_libdir}/libisl.so.%{libmajor}
|
|
Packit |
a8d3bf |
%{_libdir}/libisl.so.%{libversion}
|
|
Packit |
a8d3bf |
%{_libdir}/libisl.so.%{oldlibmajor}
|
|
Packit |
a8d3bf |
%{_libdir}/libisl.so.%{oldlibversion}
|
|
Packit |
a8d3bf |
%{gdbprettydir}/*
|
|
Packit |
a8d3bf |
%license %{docdir}/LICENSE
|
|
Packit |
a8d3bf |
%doc %{docdir}/AUTHORS %{docdir}/ChangeLog %{docdir}/README
|
|
Packit |
a8d3bf |
|
|
Packit |
a8d3bf |
%files devel
|
|
Packit |
a8d3bf |
%{_includedir}/*
|
|
Packit |
a8d3bf |
%{_libdir}/libisl.so
|
|
Packit |
a8d3bf |
%{_libdir}/pkgconfig/isl.pc
|
|
Packit |
a8d3bf |
%doc %{docdir}/doc/manual.pdf
|
|
Packit |
a8d3bf |
|
|
Packit |
a8d3bf |
|
|
Packit |
a8d3bf |
%changelog
|
|
Packit |
a8d3bf |
* Fri Feb 09 2018 Igor Gnatenko <ignatenkobrain@fedoraproject.org> - 0.16.1-6
|
|
Packit |
a8d3bf |
- Escape macros in %%changelog
|
|
Packit |
a8d3bf |
|
|
Packit |
a8d3bf |
* Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.16.1-5
|
|
Packit |
a8d3bf |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
|
|
Packit |
a8d3bf |
|
|
Packit |
a8d3bf |
* Fri Sep 15 2017 Troy Dawson <tdawson@redhat.com> - 0.16.1-4
|
|
Packit |
a8d3bf |
- Fix %%setup options
|
|
Packit |
a8d3bf |
|
|
Packit |
a8d3bf |
* Wed Aug 02 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.16.1-3
|
|
Packit |
a8d3bf |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
|
|
Packit |
a8d3bf |
|
|
Packit |
a8d3bf |
* Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.16.1-2
|
|
Packit |
a8d3bf |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
|
|
Packit |
a8d3bf |
|
|
Packit |
a8d3bf |
* Thu Feb 02 2017 David Howells <dhowells@redhat.com> - 0.16.1-1
|
|
Packit |
a8d3bf |
- Move to version 0.16.1.
|
|
Packit |
a8d3bf |
- Build and install just the libraries from 0.14 so that gcc can work.
|
|
Packit |
a8d3bf |
|
|
Packit |
a8d3bf |
* Wed Feb 01 2017 Stephen Gallagher <sgallagh@redhat.com> - 0.14-6
|
|
Packit |
a8d3bf |
- Add missing %%license macro (#1418512)
|
|
Packit |
a8d3bf |
|
|
Packit |
a8d3bf |
* Thu Feb 04 2016 Fedora Release Engineering <releng@fedoraproject.org> - 0.14-5
|
|
Packit |
a8d3bf |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
|
|
Packit |
a8d3bf |
|
|
Packit |
a8d3bf |
* Wed Jun 17 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.14-4
|
|
Packit |
a8d3bf |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
|
|
Packit |
a8d3bf |
|
|
Packit |
a8d3bf |
* Mon Jan 5 2015 David Howells <dhowells@redhat.com> - 0.14-3
|
|
Packit |
a8d3bf |
- Initial packaging.
|