rpms/ppl/devel .cvsignore, 1.4, 1.5 ppl.hh, 1.2, 1.3 ppl.spec, 1.28, 1.29 ppl_c.h, 1.2, 1.3 pwl.hh, 1.2, 1.3 sources, 1.4, 1.5
Roberto Bagnara
bagnara at fedoraproject.org
Sat Apr 18 09:08:15 UTC 2009
Author: bagnara
Update of /cvs/pkgs/rpms/ppl/devel
In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv18933
Modified Files:
.cvsignore ppl.hh ppl.spec ppl_c.h pwl.hh sources
Log Message:
Updated for PPL 0.10.2.
Index: .cvsignore
===================================================================
RCS file: /cvs/pkgs/rpms/ppl/devel/.cvsignore,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -r1.4 -r1.5
--- .cvsignore 14 Apr 2009 06:22:30 -0000 1.4
+++ .cvsignore 18 Apr 2009 09:07:44 -0000 1.5
@@ -1 +1 @@
-ppl-0.10.1.tar.gz
+ppl-0.10.2.tar.gz
Index: ppl.hh
===================================================================
RCS file: /cvs/pkgs/rpms/ppl/devel/ppl.hh,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- ppl.hh 14 Apr 2009 06:14:28 -0000 1.2
+++ ppl.hh 18 Apr 2009 09:07:44 -0000 1.3
@@ -38,6 +38,12 @@
#include "ppl-s390x.hh"
#elif defined(__s390__)
#include "ppl-s390.hh"
+#elif defined(__sh__)
+#include "ppl-sh.hh"
+#elif defined(__sparc__) && defined(__arch64__)
+#include "ppl-sparc64.hh"
+#elif defined(__sparc__)
+#include "ppl-sparc.hh"
#else
#error "This architecture is not supported by the currently installed ppl-devel packages."
#endif
Index: ppl.spec
===================================================================
RCS file: /cvs/pkgs/rpms/ppl/devel/ppl.spec,v
retrieving revision 1.28
retrieving revision 1.29
diff -u -r1.28 -r1.29
--- ppl.spec 14 Apr 2009 06:14:28 -0000 1.28
+++ ppl.spec 18 Apr 2009 09:07:44 -0000 1.29
@@ -1,7 +1,7 @@
#%define opt %(test -x %{_bindir}/ocamlopt && echo 1 || echo 0)
Name: ppl
-Version: 0.10.1
+Version: 0.10.2
Release: 1%{?dist}
Summary: The Parma Polyhedra Library: a library of numerical abstractions
@@ -12,7 +12,7 @@
Source1: ppl.hh
Source2: ppl_c.h
Source3: pwl.hh
-Patch0: ppl-0.10.1-Makefile.patch
+Patch0: ppl-0.10.2-Makefile.patch
#Patch1:
#Icon:
#Requires:
@@ -106,6 +106,7 @@
Group: Development/Libraries
BuildRequires: yap-devel >= 5.1.1
Requires: %{name} = %{version}-%{release}, %{name}-pwl = %{version}-%{release}, yap >= 5.1.1
+Obsoletes: ppl-yap-static
%description yap
This package adds YAP Prolog support to the Parma Polyhedra Library (PPL).
Install this package if you want to use the library in YAP Prolog programs.
@@ -226,7 +227,8 @@
# the architecture for which the compiler is compiling.
# Since our header files only depend on the sizeof things, we smash
-# ix86 onto i386 and arm* onto arm.
+# ix86 onto i386 and arm* onto arm. For the SuperH RISC engine family,
+# we smash sh3 and sh4 onto sh.
normalized_arch=%{_arch}
%ifarch %{ix86}
normalized_arch=i386
@@ -234,6 +236,9 @@
%ifarch %{arm}
normalized_arch=arm
%endif
+%ifarch sh3 sh4
+normalized_arch=sh
+%endif
mv %{buildroot}/%{_includedir}/ppl.hh %{buildroot}/%{_includedir}/ppl-${normalized_arch}.hh
install -m644 %{SOURCE1} %{buildroot}/%{_includedir}/ppl.hh
@@ -405,6 +410,9 @@
rm -rf %{buildroot}
%changelog
+* Sat Apr 18 2009 Roberto Bagnara <bagnara at cs.unipr.it> 0.10.2-1
+- Updated for PPL 0.10.2.
+
* Tue Apr 14 2009 Roberto Bagnara <bagnara at cs.unipr.it> 0.10.1-1
- Updated for PPL 0.10.1.
Index: ppl_c.h
===================================================================
RCS file: /cvs/pkgs/rpms/ppl/devel/ppl_c.h,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- ppl_c.h 14 Apr 2009 06:14:28 -0000 1.2
+++ ppl_c.h 18 Apr 2009 09:07:44 -0000 1.3
@@ -38,6 +38,12 @@
#include "ppl_c-s390x.h"
#elif defined(__s390__)
#include "ppl_c-s390.h"
+#elif defined(__sh__)
+#include "ppl_c-sh.h"
+#elif defined(__sparc__) && defined(__arch64__)
+#include "ppl_c-sparc64.h"
+#elif defined(__sparc__)
+#include "ppl_c-sparc.h"
#else
#error "This architecture is not supported by the currently installed ppl-devel packages."
#endif
Index: pwl.hh
===================================================================
RCS file: /cvs/pkgs/rpms/ppl/devel/pwl.hh,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- pwl.hh 14 Apr 2009 06:14:29 -0000 1.2
+++ pwl.hh 18 Apr 2009 09:07:44 -0000 1.3
@@ -38,6 +38,12 @@
#include "pwl-s390x.hh"
#elif defined(__s390__)
#include "pwl-s390.hh"
+#elif defined(__sh__)
+#include "pwl-sh.hh"
+#elif defined(__sparc__) && defined(__arch64__)
+#include "pwl-sparc64.hh"
+#elif defined(__sparc__)
+#include "pwl-sparc.hh"
#else
#error "This architecture is not supported by the currently installed ppl-pwl-devel packages."
#endif
Index: sources
===================================================================
RCS file: /cvs/pkgs/rpms/ppl/devel/sources,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -r1.4 -r1.5
--- sources 14 Apr 2009 06:22:31 -0000 1.4
+++ sources 18 Apr 2009 09:07:44 -0000 1.5
@@ -1 +1 @@
-327ced9b0b1fd8d4fed1d7483d48fe24 ppl-0.10.1.tar.gz
+e7dd265afdeaea81f7e87a72b182d875 ppl-0.10.2.tar.gz
More information about the fedora-extras-commits
mailing list