commit cloog-isl for openSUSE:Factory

2014-12-10 Thread h_root
Hello community,

here is the log from the commit of package cloog-isl for openSUSE:Factory 
checked in at 2014-12-10 23:43:46

Comparing /work/SRC/openSUSE:Factory/cloog-isl (Old)
 and  /work/SRC/openSUSE:Factory/.cloog-isl.new (New)


Package is cloog-isl

Changes:

--- /work/SRC/openSUSE:Factory/cloog-isl/cloog-isl.changes  2014-02-15 
17:16:25.0 +0100
+++ /work/SRC/openSUSE:Factory/.cloog-isl.new/cloog-isl.changes 2014-12-10 
23:43:15.0 +0100
@@ -1,0 +2,7 @@
+Thu Dec  4 09:14:49 UTC 2014 - rguent...@suse.com
+
+- Add cloog-isl-0.18.1-isl14-1.patch, cloog-isl-0.18.1-isl14-2.patch,
+  cloog-isl-0.18.1-isl14-3.patch and cloog-isl-0.18.1-isl14-4.patch
+  to make cloog-isl compile with ISL 0.14.
+
+---

New:

  cloog-isl-0.18.1-isl14-1.patch
  cloog-isl-0.18.1-isl14-2.patch
  cloog-isl-0.18.1-isl14-3.patch
  cloog-isl-0.18.1-isl14-4.patch



Other differences:
--
++ cloog-isl.spec ++
--- /var/tmp/diff_new_pack.JxURg4/_old  2014-12-10 23:43:16.0 +0100
+++ /var/tmp/diff_new_pack.JxURg4/_new  2014-12-10 23:43:16.0 +0100
@@ -25,6 +25,10 @@
 Url:http://www.cloog.org/
 Source: cloog-%{version}.tar.gz
 Source1:baselibs.conf
+Patch1: cloog-isl-0.18.1-isl14-1.patch
+Patch2: cloog-isl-0.18.1-isl14-2.patch
+Patch3: cloog-isl-0.18.1-isl14-3.patch
+Patch4: cloog-isl-0.18.1-isl14-4.patch
 BuildRequires:  gmp-devel
 BuildRequires:  isl-devel
 Conflicts:  cloog
@@ -54,6 +58,10 @@
 
 %prep
 %setup -q -n cloog-%{version}
+%patch1 -p1
+%patch2 -p1
+%patch3 -p1
+%patch4 -p1
 
 %build
 %configure --disable-static --with-isl=system

++ cloog-isl-0.18.1-isl14-1.patch ++
commit b561f860f2fefa84459750d576807d214e4aad97
Author: Sven Verdoolaege sk...@kotnet.org
Date:   Sun Jan 12 14:35:00 2014 +0100

cloog_domain_cube: reimplement using documented functions

The original implementation used the undocumented
isl_basic_set_interval function, which will be removed
in the next release of isl.

Signed-off-by: Sven Verdoolaege sk...@kotnet.org
Signed-off-by: Cedric Bastoul cedric.bast...@unistra.fr

diff --git a/source/isl/domain.c b/source/isl/domain.c
index d11da7b..620584d 100644
--- a/source/isl/domain.c
+++ b/source/isl/domain.c
@@ -1389,20 +1389,20 @@ CloogDomain *cloog_domain_cube(CloogState *state,
int dim, cloog_int_t min, cloog_int_t max)
 {
int i;
-   struct isl_basic_set *cube;
-   struct isl_basic_set *interval;
-   struct isl_basic_set_list *list;
+   isl_space *space;
+   isl_set *cube;
 
if (dim == 0)
return cloog_domain_universe(state, dim);
 
-   interval = isl_basic_set_interval(state-backend-ctx, min, max);
-   list = isl_basic_set_list_alloc(state-backend-ctx, dim);
-   for (i = 0; i  dim; ++i)
-   list = isl_basic_set_list_add(list, 
isl_basic_set_copy(interval));
-   isl_basic_set_free(interval);
-   cube = isl_basic_set_list_product(list);
-   return cloog_domain_from_isl_set(isl_set_from_basic_set(cube));
+   space = isl_space_set_alloc(state-backend-ctx, 0, dim);
+   cube = isl_set_universe(space);
+   for (i = 0; i  dim; ++i) {
+   cube = isl_set_lower_bound(cube, isl_dim_set, i, min);
+   cube = isl_set_upper_bound(cube, isl_dim_set, i, max);
+   }
+
+   return cloog_domain_from_isl_set(cube);
 }
 
 
++ cloog-isl-0.18.1-isl14-2.patch ++
 1102 lines (skipped)

++ cloog-isl-0.18.1-isl14-3.patch ++
From 22643c94eba7b010ae4401c347289f4f52b9cd2b Mon Sep 17 00:00:00 2001
From: Tobias Grosser tob...@grosser.es
Date: Mon, 10 Mar 2014 18:02:15 +0100
Subject: [PATCH] Update to isl trunk

We explicitly update to isl trunk and use this commit to add the
corresponding test case changes.

Signed-off-by: Tobias Grosser tob...@grosser.es
---
 isl |2 +-
 test/reservoir/QR.c |   12 ++--
 2 files changed, 7 insertions(+), 7 deletions(-)

Index: cloog-0.18.2/test/reservoir/QR.c
===
--- cloog-0.18.2.orig/test/reservoir/QR.c   2014-12-08 13:39:08.496933361 
+0100
+++ cloog-0.18.2/test/reservoir/QR.c2014-12-08 13:39:42.455932185 +0100
@@ -1,6 +1,12 @@
 /* Generated from ../../../git/cloog/test/./reservoir/QR.cloog by CLooG 
0.14.0-136-gb91ef26 gmp bits in 0.21s. */
 if (N = 1) {
   S1(0) ;
+  if ((M = 0)  (N = 2)) {
+S3(0) ;
+S10(0) ;
+S1(1) ;
+S5(0) ;
+  }
   if ((M = 1)  (N == 1)) {
 for (c4=0;c4=M-1;c4++) {
   S2(0,c4) ;
@@ -28,12 +34,6 @@ if (N = 1) {
 S10(0) ;
 S1(1) 

commit cloog-isl for openSUSE:Factory

2014-02-15 Thread h_root
Hello community,

here is the log from the commit of package cloog-isl for openSUSE:Factory 
checked in at 2014-02-15 17:16:24

Comparing /work/SRC/openSUSE:Factory/cloog-isl (Old)
 and  /work/SRC/openSUSE:Factory/.cloog-isl.new (New)


Package is cloog-isl

Changes:

--- /work/SRC/openSUSE:Factory/cloog-isl/cloog-isl.changes  2013-08-04 
23:52:24.0 +0200
+++ /work/SRC/openSUSE:Factory/.cloog-isl.new/cloog-isl.changes 2014-02-15 
17:16:25.0 +0100
@@ -1,0 +2,7 @@
+Thu Feb 13 12:11:50 UTC 2014 - rguent...@suse.com
+
+- Update to cloog version 0.18.1.
+  * Latest bugfixes.
+- Remove obsolete cloog-tests.patch patch.
+
+---

Old:

  cloog-0.18.0.tar.gz
  cloog-tests.patch

New:

  cloog-0.18.1.tar.gz



Other differences:
--
++ cloog-isl.spec ++
--- /var/tmp/diff_new_pack.0BnlA3/_old  2014-02-15 17:16:25.0 +0100
+++ /var/tmp/diff_new_pack.0BnlA3/_new  2014-02-15 17:16:25.0 +0100
@@ -1,7 +1,7 @@
 #
 # spec file for package cloog-isl
 #
-# Copyright (c) 2013 SUSE LINUX Products GmbH, Nuernberg, Germany.
+# Copyright (c) 2014 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
@@ -17,15 +17,14 @@
 
 
 Name:   cloog-isl
-Version:0.18.0
+Version:0.18.1
 Release:0
 Summary:The Chunky Loop Generator
 License:LGPL-2.1
 Group:  Development/Languages/C and C++
 Url:http://www.cloog.org/
-Source: cloog-0.18.0.tar.gz
+Source: cloog-%{version}.tar.gz
 Source1:baselibs.conf
-Patch0: cloog-tests.patch
 BuildRequires:  gmp-devel
 BuildRequires:  isl-devel
 Conflicts:  cloog
@@ -54,8 +53,7 @@
 The shared library for the Chunky Loop Generator using the ISL backend.
 
 %prep
-%setup -q -n cloog-0.18.0
-%patch0 -p1
+%setup -q -n cloog-%{version}
 
 %build
 %configure --disable-static --with-isl=system
@@ -68,6 +66,8 @@
 make DESTDIR=%{buildroot} install
 rm -f %{buildroot}%{_libdir}/*.la
 rm -rf %{buildroot}%{_libdir}/pkgconfig
+rm -f %{buildroot}%{_libdir}/cloog-isl/cloog-isl-config.cmake
+rm -f %{buildroot}%{_libdir}/isl/isl-config.cmake
 
 %post -n libcloog-isl4 -p /sbin/ldconfig
 

++ cloog-0.18.0.tar.gz - cloog-0.18.1.tar.gz ++
 35911 lines of diff (skipped)

-- 
To unsubscribe, e-mail: opensuse-commit+unsubscr...@opensuse.org
For additional commands, e-mail: opensuse-commit+h...@opensuse.org



commit cloog-isl for openSUSE:Factory

2013-08-04 Thread h_root
Hello community,

here is the log from the commit of package cloog-isl for openSUSE:Factory 
checked in at 2013-08-04 20:24:12

Comparing /work/SRC/openSUSE:Factory/cloog-isl (Old)
 and  /work/SRC/openSUSE:Factory/.cloog-isl.new (New)


Package is cloog-isl

Changes:

--- /work/SRC/openSUSE:Factory/cloog-isl/cloog-isl.changes  2013-01-12 
07:51:13.0 +0100
+++ /work/SRC/openSUSE:Factory/.cloog-isl.new/cloog-isl.changes 2013-08-04 
23:52:24.0 +0200
@@ -1,0 +2,13 @@
+Fri Aug  2 12:29:21 UTC 2013 - tchva...@suse.com
+
+- Bock also cloog package, collision on /usr/bin/cloog and provide
+  the same as the binaries are swapable, just backend
+  implementation and lib differs.
+- Remove clean phase as it is default one
+
+---
+Mon Jul 29 21:22:26 UTC 2013 - dval...@suse.com
+
+- Pick upstream commits to adress test failures (cloog-tests.patch) 
+
+---

New:

  cloog-tests.patch



Other differences:
--
++ cloog-isl.spec ++
--- /var/tmp/diff_new_pack.Peq7ch/_old  2013-08-04 23:52:24.0 +0200
+++ /var/tmp/diff_new_pack.Peq7ch/_new  2013-08-04 23:52:24.0 +0200
@@ -25,8 +25,11 @@
 Url:http://www.cloog.org/
 Source: cloog-0.18.0.tar.gz
 Source1:baselibs.conf
+Patch0: cloog-tests.patch
 BuildRequires:  gmp-devel
 BuildRequires:  isl-devel
+Conflicts:  cloog
+Provides:   cloog
 BuildRoot:  %{_tmppath}/%{name}-%{version}-build
 
 %description
@@ -52,6 +55,7 @@
 
 %prep
 %setup -q -n cloog-0.18.0
+%patch0 -p1
 
 %build
 %configure --disable-static --with-isl=system
@@ -61,9 +65,9 @@
 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
+make DESTDIR=%{buildroot} install
+rm -f %{buildroot}%{_libdir}/*.la
+rm -rf %{buildroot}%{_libdir}/pkgconfig
 
 %post -n libcloog-isl4 -p /sbin/ldconfig
 
@@ -82,7 +86,4 @@
 %{_includedir}/cloog
 %{_libdir}/libcloog-isl.so
 
-%clean
-rm -rf $RPM_BUILD_ROOT
-
 %changelog

++ cloog-tests.patch ++
From fc8b0627b734271db42ffcb8c525828f3252 Mon Sep 17 00:00:00 2001
From: Tobias Grosser tob...@grosser.es
Date: Sun, 16 Jun 2013 10:46:45 -0700
Subject: [PATCH] Update isl to remove platform dependent behavior

isl commit 9e01482 changed an internal comparision function to ensure
consistent results across different platforms. Differences that have
previously observed between Linux and Solaris 10 should disappear with
the updated isl version.
---
 test/darte.c |4 ++--
 test/dartef.f|4 ++--
 test/dealII.c|7 +--
 test/isl/jacobi-shared.c |2 +-
 test/vasilache.c |8 
 6 files changed, 15 insertions(+), 12 deletions(-)

Index: cloog-0.18.0/test/darte.c
===
--- cloog-0.18.0.orig/test/darte.c
+++ cloog-0.18.0/test/darte.c
@@ -6,14 +6,14 @@ if (n = 1) {
 }
   }
   for (t1=-n+2;t1=n-1;t1++) {
-if (t1 = 2) {
+if (t1 = 0) {
   for (t3=t1+4;t3=t1+2*n+2;t3++) {
 if ((t1+t3)%2 == 0) {
   S1(t1+1,1,(-t1+t3-2)/2);
 }
   }
 }
-for (t2=max(-t1+2,t1+2);t2=-t1+4;t2++) {
+for (t2=max(-t1+2,t1+3);t2=-t1+4;t2++) {
   for (t3=t2+2;t3=t2+2*n;t3++) {
 if ((t1+t2)%2 == 0) {
   if ((t1+t3)%2 == 0) {
Index: cloog-0.18.0/test/dartef.f
===
--- cloog-0.18.0.orig/test/dartef.f
+++ cloog-0.18.0/test/dartef.f
@@ -6,14 +6,14 @@ IF (n = 1) THEN
 END IF
   END DO
   DO t1=-n+2, n-1
-IF (t1 = 2) THEN
+IF (t1 = 0) THEN
   DO t3=t1+4, t1+2*n+2
 IF (MOD(t1+t3, 2) == 0) THEN
   S1(t1+1,1,(-t1+t3-2)/2)
 END IF
   END DO
 END IF
-DO t2=MAX(-t1+2,t1+2), -t1+4
+DO t2=MAX(-t1+2,t1+3), -t1+4
   DO t3=t2+2, t2+2*n
 IF (MOD(t1+t2, 2) == 0) THEN
   IF (MOD(t1+t3, 2) == 0) THEN
Index: cloog-0.18.0/test/dealII.c
===
--- cloog-0.18.0.orig/test/dealII.c
+++ cloog-0.18.0/test/dealII.c
@@ -3,10 +3,13 @@ for (scat_0=0;scat_0=min(T_66,T_2-1);sc
   S1(scat_0);
   S2(scat_0);
 }
-if ((T_2 == 0)  (T_67 == 0)) {
+if ((T_2 == 0)  (T_66 = 0)  (T_67 == 0)) {
   S1(0);
 }
-for (scat_0=max(0,T_66+1);scat_0=T_2-1;scat_0++) {
+if ((T_66 = -1)  (T_67 == 0)) {
+  S1(0);
+}
+for (scat_0=max(max(0,T_66+1),-T_67+1);scat_0=T_2-1;scat_0++) {
   S1(scat_0);
 }
 for (scat_0=T_2;scat_0=min(T_66,T_67-1);scat_0++) {
Index: cloog-0.18.0/test/isl/jacobi-shared.c

commit cloog-isl for openSUSE:Factory

2013-01-11 Thread h_root
Hello community,

here is the log from the commit of package cloog-isl for openSUSE:Factory 
checked in at 2013-01-12 07:43:59

Comparing /work/SRC/openSUSE:Factory/cloog-isl (Old)
 and  /work/SRC/openSUSE:Factory/.cloog-isl.new (New)


Package is cloog-isl, Maintainer is 

Changes:

--- /work/SRC/openSUSE:Factory/cloog-isl/cloog-isl.changes  2012-07-22 
15:08:11.0 +0200
+++ /work/SRC/openSUSE:Factory/.cloog-isl.new/cloog-isl.changes 2013-01-12 
07:44:02.0 +0100
@@ -1,0 +2,11 @@
+Fri Jan 11 12:22:15 UTC 2013 - rguent...@suse.com
+
+- Update to cloog version 0.18.0.
+  * Bumps SONAME to libcloog-isl4.
+  * Update to isl 0.11.1.
+  * Clast annotations for openmp and vectorization.
+  * Statement-wise loop separation.
+  * Clast traversal and node filtering support.
+  * Support for OpenSCoP coordinates extension.
+
+---

Old:

  cloog-0.17.0.tar.gz

New:

  cloog-0.18.0.tar.gz



Other differences:
--
++ cloog-isl.spec ++
--- /var/tmp/diff_new_pack.4ZouZ3/_old  2013-01-12 07:44:03.0 +0100
+++ /var/tmp/diff_new_pack.4ZouZ3/_new  2013-01-12 07:44:03.0 +0100
@@ -1,7 +1,7 @@
 #
-# spec file for package cloog-isl (Version 0.17.0)
+# spec file for package cloog-isl
 #
-# Copyright (c) 2011 SUSE LINUX Products GmbH, Nuernberg, Germany.
+# Copyright (c) 2013 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
@@ -16,15 +16,14 @@
 #
 
 
-
 Name:   cloog-isl
-Version:0.17.0
-Release:1
+Version:0.18.0
+Release:0
 Summary:The Chunky Loop Generator
-Group:  Development/Languages/C and C++
 License:LGPL-2.1
+Group:  Development/Languages/C and C++
 Url:http://www.cloog.org/
-Source: cloog-0.17.0.tar.gz
+Source: cloog-0.18.0.tar.gz
 Source1:baselibs.conf
 BuildRequires:  gmp-devel
 BuildRequires:  isl-devel
@@ -37,22 +36,22 @@
 %package devel
 Summary:Development tools for CLOOG
 Group:  Development/Languages/C and C++
-Requires:   libcloog-isl3 = %{version}-%{release}
 Requires:  isl-devel
+Requires:   libcloog-isl4 = %{version}-%{release}
 Conflicts: cloog-devel
 
 %description devel
 Development tools and headers for the Chunky Loop Generator.
 
-%package -n libcloog-isl3
+%package -n libcloog-isl4
 Summary:The CLOOG shared library using ISL
 Group:  Development/Languages/C and C++
 
-%description -n libcloog-isl3
+%description -n libcloog-isl4
 The shared library for the Chunky Loop Generator using the ISL backend.
 
 %prep
-%setup -q -n cloog-0.17.0
+%setup -q -n cloog-0.18.0
 
 %build
 %configure --disable-static --with-isl=system
@@ -66,17 +65,17 @@
 rm -f $RPM_BUILD_ROOT%{_libdir}/*.la
 rm -rf $RPM_BUILD_ROOT%{_libdir}/pkgconfig
 
-%post -n libcloog-isl3 -p /sbin/ldconfig
+%post -n libcloog-isl4 -p /sbin/ldconfig
 
-%postun -n libcloog-isl3 -p /sbin/ldconfig
+%postun -n libcloog-isl4 -p /sbin/ldconfig
 
 %files
 %defattr(-,root,root,-)
 %{_bindir}/cloog
 
-%files -n libcloog-isl3
+%files -n libcloog-isl4
 %defattr(-,root,root,-)
-%{_libdir}/libcloog-isl.so.3*
+%{_libdir}/libcloog-isl.so.4*
 
 %files devel
 %defattr(-,root,root,-)

++ baselibs.conf ++
--- /var/tmp/diff_new_pack.4ZouZ3/_old  2013-01-12 07:44:03.0 +0100
+++ /var/tmp/diff_new_pack.4ZouZ3/_new  2013-01-12 07:44:03.0 +0100
@@ -1,4 +1,4 @@
-libcloog-isl3
+libcloog-isl4
 cloog-isl-devel
   requires -cloog-isl-targettype
-  requires libcloog-isl3-targettype = version
+  requires libcloog-isl4-targettype = version

++ cloog-0.17.0.tar.gz - cloog-0.18.0.tar.gz ++
 423209 lines of diff (skipped)

-- 
To unsubscribe, e-mail: opensuse-commit+unsubscr...@opensuse.org
For additional commands, e-mail: opensuse-commit+h...@opensuse.org