From 8b44c2a96a8fb0da72dd16e2ab7e9d95b8311d7ddcb8ffcb9ff5fe6289519958 Mon Sep 17 00:00:00 2001
From: Richard Biener <rguenther@suse.com>
Date: Wed, 18 Jul 2012 10:18:47 +0000
Subject: [PATCH] - ISL 0.10

OBS-URL: https://build.opensuse.org/package/show/devel:libraries:c_c++/isl?expand=0&rev=1
---
 .gitattributes   | 23 +++++++++++++
 .gitignore       |  1 +
 isl-0.10.tar.bz2 |  3 ++
 isl.changes      |  5 +++
 isl.spec         | 85 ++++++++++++++++++++++++++++++++++++++++++++++++
 5 files changed, 117 insertions(+)
 create mode 100644 .gitattributes
 create mode 100644 .gitignore
 create mode 100644 isl-0.10.tar.bz2
 create mode 100644 isl.changes
 create mode 100644 isl.spec

diff --git a/.gitattributes b/.gitattributes
new file mode 100644
index 0000000..9b03811
--- /dev/null
+++ b/.gitattributes
@@ -0,0 +1,23 @@
+## Default LFS
+*.7z filter=lfs diff=lfs merge=lfs -text
+*.bsp filter=lfs diff=lfs merge=lfs -text
+*.bz2 filter=lfs diff=lfs merge=lfs -text
+*.gem filter=lfs diff=lfs merge=lfs -text
+*.gz filter=lfs diff=lfs merge=lfs -text
+*.jar filter=lfs diff=lfs merge=lfs -text
+*.lz filter=lfs diff=lfs merge=lfs -text
+*.lzma filter=lfs diff=lfs merge=lfs -text
+*.obscpio filter=lfs diff=lfs merge=lfs -text
+*.oxt filter=lfs diff=lfs merge=lfs -text
+*.pdf filter=lfs diff=lfs merge=lfs -text
+*.png filter=lfs diff=lfs merge=lfs -text
+*.rpm filter=lfs diff=lfs merge=lfs -text
+*.tbz filter=lfs diff=lfs merge=lfs -text
+*.tbz2 filter=lfs diff=lfs merge=lfs -text
+*.tgz filter=lfs diff=lfs merge=lfs -text
+*.ttf filter=lfs diff=lfs merge=lfs -text
+*.txz filter=lfs diff=lfs merge=lfs -text
+*.whl filter=lfs diff=lfs merge=lfs -text
+*.xz filter=lfs diff=lfs merge=lfs -text
+*.zip filter=lfs diff=lfs merge=lfs -text
+*.zst filter=lfs diff=lfs merge=lfs -text
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..57affb6
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+.osc
diff --git a/isl-0.10.tar.bz2 b/isl-0.10.tar.bz2
new file mode 100644
index 0000000..d3f9c42
--- /dev/null
+++ b/isl-0.10.tar.bz2
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:73980d8ea801f8aeff4ee57ee0be142f109f5a9f9e797d07fde02efe23b8151f
+size 1076325
diff --git a/isl.changes b/isl.changes
new file mode 100644
index 0000000..9ca5df5
--- /dev/null
+++ b/isl.changes
@@ -0,0 +1,5 @@
+-------------------------------------------------------------------
+Thu Jun 21 14:45:08 UTC 2012 - rguenther@suse.com
+
+- ISL 0.10
+
diff --git a/isl.spec b/isl.spec
new file mode 100644
index 0000000..cd69db7
--- /dev/null
+++ b/isl.spec
@@ -0,0 +1,85 @@
+#
+# spec file for package isl (Version 0.10)
+#
+# Copyright (c) 2012 SUSE LINUX Products GmbH, Nuernberg, Germany.
+#
+# All modifications and additions to the file contributed by third parties
+# remain the property of their copyright owners, unless otherwise agreed
+# upon. The license for this file, and modifications and additions to the
+# file, is the same license as for the pristine package itself (unless the
+# license for the pristine package is not an Open Source License, in which
+# case the license is the MIT License). An "Open Source License" is a
+# license that conforms to the Open Source Definition (Version 1.9)
+# published by the Open Source Initiative.
+
+# Please submit bugfixes or comments via http://bugs.opensuse.org/
+#
+
+
+%define islsover 10
+
+Name:           isl
+Version:        0.10
+Release:        1
+Summary:        Integer Set Library
+Group:          Development/Languages/C and C++
+License:        LGPL-2.1
+Url:            http://www.kotnet.org/~skimo/isl/
+Source:         isl-0.10.tar.bz2
+BuildRequires:  gmp-devel
+BuildRoot:      %{_tmppath}/%{name}-%{version}-build
+
+%description
+ISL is a library for manipulating sets and relations of integer points
+bounded by linear constraints.
+It is used by Cloog and the GCC Graphite optimization framework.
+
+%package devel
+Summary:        Development tools for ISL
+Group:          Development/Languages/C and C++
+Requires:       libisl%islsover = %{version}-%{release}
+
+%description devel
+Development tools and headers for the ISL.
+
+%package -n libisl%islsover
+Summary:        The ISL shared library
+Group:          Development/Languages/C and C++
+
+%description -n libisl%islsover
+The shared library for the ISL.
+
+%prep
+%setup -q -n isl-0.10
+
+%build
+%configure
+make %{_smp_mflags}
+
+%check
+make %{_smp_mflags} check
+
+%install
+make DESTDIR=$RPM_BUILD_ROOT install
+rm -f $RPM_BUILD_ROOT%{_libdir}/*.la
+rm -rf $RPM_BUILD_ROOT%{_libdir}/pkgconfig
+rm -f $RPM_BUILD_ROOT%{_libdir}/libisl.so.*-gdb.py
+rm -f $RPM_BUILD_ROOT%{_libdir}/libisl.a
+
+%post -n libisl%islsover -p /sbin/ldconfig
+
+%postun -n libisl%islsover -p /sbin/ldconfig
+
+%files -n libisl%islsover
+%defattr(-,root,root,-)
+%{_libdir}/libisl.so.%{islsover}*
+
+%files devel
+%defattr(-,root,root,-)
+%{_includedir}/isl
+%{_libdir}/libisl.so
+
+%clean
+rm -rf $RPM_BUILD_ROOT
+
+%changelog