From 37198b7f104ece52e0c351c0c3aa73b30ae7536f Mon Sep 17 00:00:00 2001
From: Silvan Calarco <silvan.calarco@mambasoft.it>
Date: Sat, 6 Jan 2024 04:41:24 +0100
Subject: [PATCH] update to 0.14 (downgrade to version required to build gcc
 5.2.0) [release 0.14-1mamba;Sat Nov 21 2015]

---
 README.md   |  4 +++
 libisl.spec | 72 +++++++++++++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 76 insertions(+)
 create mode 100644 libisl.spec

diff --git a/README.md b/README.md
index ad3269d..8992c4a 100644
--- a/README.md
+++ b/README.md
@@ -1,2 +1,6 @@
 # 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.
+
diff --git a/libisl.spec b/libisl.spec
new file mode 100644
index 0000000..5b80e0a
--- /dev/null
+++ b/libisl.spec
@@ -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