2020-10-10 15:59:22 +08:00
|
|
|
Summary: Integer point manipulation library
|
|
|
|
|
Name: isl
|
2022-03-07 22:08:13 +08:00
|
|
|
Version: 0.24
|
2020-10-10 15:59:22 +08:00
|
|
|
License: MIT
|
|
|
|
|
URL: http://isl.gforge.inria.fr/
|
|
|
|
|
|
2022-03-07 22:08:13 +08:00
|
|
|
%global libmajor 23
|
|
|
|
|
%global libversion %{libmajor}.1.0
|
2020-10-10 15:59:22 +08:00
|
|
|
|
|
|
|
|
# Please set buildid below when building a private version of this rpm to
|
|
|
|
|
# differentiate it from the stock rpm.
|
|
|
|
|
#
|
|
|
|
|
# % global buildid .local
|
|
|
|
|
|
2022-03-07 22:08:13 +08:00
|
|
|
Release: 1%{?buildid}
|
2020-10-10 15:59:22 +08:00
|
|
|
|
|
|
|
|
BuildRequires: gcc
|
|
|
|
|
BuildRequires: gmp-devel
|
|
|
|
|
BuildRequires: pkgconfig
|
|
|
|
|
|
2022-03-07 22:08:13 +08:00
|
|
|
Source: http://isl.gforge.inria.fr/isl-%{version}.tar.gz
|
2020-10-10 15:59:22 +08:00
|
|
|
|
|
|
|
|
%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}
|
2022-03-07 22:08:13 +08:00
|
|
|
%setup -a 0 -q -n isl -c
|
2020-10-10 15:59:22 +08:00
|
|
|
|
|
|
|
|
%build
|
|
|
|
|
cd isl-%{version}
|
2022-03-07 22:08:13 +08:00
|
|
|
%configure
|
|
|
|
|
make %{?_smp_mflags} V=1 CFLAGS="%{optflags}"
|
2020-10-10 15:59:22 +08:00
|
|
|
|
|
|
|
|
%install
|
|
|
|
|
cd isl-%{version}
|
|
|
|
|
%make_install INSTALL="install -p"
|
|
|
|
|
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-%{version}
|
|
|
|
|
#make check
|
|
|
|
|
|
|
|
|
|
%ldconfig_scriptlets
|
|
|
|
|
|
|
|
|
|
%files
|
|
|
|
|
%{_libdir}/libisl.so.%{libmajor}
|
|
|
|
|
%{_libdir}/libisl.so.%{libversion}
|
|
|
|
|
%{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
|
2022-03-07 22:08:13 +08:00
|
|
|
* Mon Mar 7 2022 licihua <licihua@huawei.com> - 0.24-1
|
|
|
|
|
- upgrade to 0.24
|
|
|
|
|
|
2021-12-14 15:21:07 +08:00
|
|
|
* Tue Dec 14 2021 konglidong <konglidong@uniontech.com> - 0.16.1-11
|
|
|
|
|
- delete %dist
|
|
|
|
|
|
2020-10-10 15:59:22 +08:00
|
|
|
* Sat Oct 10 2020 Zhiyi Weng <zhiyi@iscas.ac.cn> - 0.16.1-10
|
|
|
|
|
- Initial version.
|
