rpms/libisl
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

update to 0.14 (downgrade to version required to build gcc 5.2.0) [release 0.14-1mamba;Sat Nov 21 2015]

Browse Source
This commit is contained in:
Silvan Calarco 2024-01-06 04:41:24 +01:00
parent 01e37cf248
commit 37198b7f10
2 changed files with 76 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@ -1,2 +1,6 @@
# libisl # libisl
isl is a thread-safe C library for manipulating sets and relations of integer points bounded by affine constraints.
The descriptions of the sets and relations may involve both parameters and existentially quantified variables.
All computations are performed in exact integer arithmetic using GMP or imath.

72
libisl.spec Normal file
View File

@ -0,0 +1,72 @@
Name: libisl
Version: 0.14
Release: 1mamba
Summary: Integer Set Library
Group: Development/Libraries
Vendor: openmamba
Distribution: openmamba
Packager: Davide Madrisan <davide.madrisan@gmail.com>
URL: http://isl.gforge.inria.fr/user.html
Source: http://isl.gforge.inria.fr/isl-%{version}.tar.xz
License: MIT
## AUTOBUILDREQ-BEGIN
BuildRequires: glibc-devel
BuildRequires: libgmp-devel
## AUTOBUILDREQ-END
BuildRoot: %{_tmppath}/%{name}-%{version}-root
%description
isl is a thread-safe C library for manipulating sets and relations of integer points bounded by affine constraints.
The descriptions of the sets and relations may involve both parameters and existentially quantified variables.
All computations are performed in exact integer arithmetic using GMP or imath.
%package devel
Group: Development/Libraries
Summary: Development files for %{name}
Requires: %{name} = %{?epoch:%epoch:}%{version}-%{release}
%description devel
This package contains libraries and header files for developing applications that use %{name}.
%debug_package
%prep
%setup -q -n isl-%{version}
%build
%configure
%make V=1
%install
[ "%{buildroot}" != / ] && rm -rf "%{buildroot}"
%makeinstall
%clean
[ "%{buildroot}" != / ] && rm -rf "%{buildroot}"
%post -p /sbin/ldconfig
%postun -p /sbin/ldconfig
%files
%defattr(-,root,root)
%{_libdir}/*.so.*
%doc AUTHORS LICENSE
%files devel
%defattr(-,root,root)
%dir %{_includedir}/isl
%{_includedir}/isl/*.h
%dir %{_includedir}/isl/deprecated
%{_includedir}/isl/deprecated/*.h
%{_libdir}/*.a
%{_libdir}/*.la
%{_libdir}/*.so
%{_libdir}/pkgconfig/*.pc
%doc ChangeLog README
%changelog
* Sat Nov 21 2015 Silvan Calarco <silvan.calarco@mambasoft.it> 0.14-1mamba
- update to 0.14 (downgrade to version required to build gcc 5.2.0)
* Fri Nov 20 2015 Davide Madrisan <davide.madrisan@gmail.com> 0.15-1mamba
- package created using the webbuild interface