Репозитории ALT
Последнее обновление в Сб, 06 июня 2020, 00:49:50 +0000 | Пакетов: 15384
en ru
Исходные пакеты в ветвях
свернуть окно
  • 0.14.1-alt0.M70T.1
Группа :: Система/Библиотеки
Исходный пакет: isl
Необработанный spec-файл

# This spec is backported to ALTLinux t7 automatically by rpmbph script. Do not edit it.
#

Name: isl
Version: 0.14.1
Release: alt0.M70T.1

Summary: Integer Set Library
License: MIT
Group: System/Libraries
Url: http://isl.gforge.inria.fr/
# git://git.altlinux.org/gears/i/isl.git

Source: %name-%version-%release.tar
BuildRequires: libgmp-devel

%define sover 13

%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 -n libisl%sover
Summary: Integer Set Library
Group: System/Libraries

%description -n libisl%sover
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.

This package contains isl shared library.

%package -n libisl-devel
Summary: Development tools for ISL
Group: Development/C
Requires: libisl%sover = %EVR

%description -n libisl-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.

This package contains files needed for building with isl library.

%prep
%setup -n %name-%version-%release
echo %name-%version > GIT_HEAD_ID

%build
%autoreconf
%configure --disable-static
%make_build

%check
%make_build -k check

%install
%makeinstall_std
rm %buildroot%_libdir/libisl.so.*.py

%files -n libisl%sover
%_libdir/libisl.so.*

%files -n libisl-devel
%_includedir/isl/
%_libdir/libisl.so
%exclude %_pkgconfigdir/isl.pc

%changelog
* Sat Nov 07 2015 Hihin Ruslan <ruslandh at altlinux.ru> 0.14.1-alt0.M70T.1
- backport to ALTLinux t7 (by rpmbph script)

* Wed May 13 2015 Gleb F-Malinovskiy <glebfm at altlinux.org> 0.14.1-alt1
- Updated to 0.14.1.

* Wed Jan 22 2014 Dmitry V. Levin <ldv at altlinux.org> 0.12.2-alt1
- Initial revision.
 
Проект Geyser основан на коде из проекта Prometheus 2.0, который был доступен по лицензии MIT