[PPL-devel] [GIT] ppl/ppl(master): Updated for PPL 0.10.2.
Roberto Bagnara
bagnara at cs.unipr.it
Thu Apr 16 13:20:19 CEST 2009
Module: ppl/ppl
Branch: master
Commit: 74c1907444a19b1756711623d779b7eea9bb3be3
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=74c1907444a19b1756711623d779b7eea9bb3be3
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Apr 16 13:15:49 2009 +0200
Updated for PPL 0.10.2.
---
....1-Makefile.patch => ppl-0.10.2-Makefile.patch} | 0
fedora/ppl.hh | 6 ++++++
fedora/ppl.spec | 13 ++++++++++---
fedora/ppl_c.h | 6 ++++++
fedora/pwl.hh | 6 ++++++
5 files changed, 28 insertions(+), 3 deletions(-)
diff --git a/fedora/ppl-0.10.1-Makefile.patch b/fedora/ppl-0.10.2-Makefile.patch
similarity index 100%
rename from fedora/ppl-0.10.1-Makefile.patch
rename to fedora/ppl-0.10.2-Makefile.patch
diff --git a/fedora/ppl.hh b/fedora/ppl.hh
index cab2c54..53d4d13 100644
--- a/fedora/ppl.hh
+++ b/fedora/ppl.hh
@@ -38,6 +38,12 @@ site: http://www.cs.unipr.it/ppl/ . */
#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
diff --git a/fedora/ppl.spec b/fedora/ppl.spec
index 6d7e855..1f6b48a 100644
--- a/fedora/ppl.spec
+++ b/fedora/ppl.spec
@@ -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 @@ Source0: ftp://ftp.cs.unipr.it/pub/ppl/releases/%{version}/%{name}-%{vers
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:
@@ -226,7 +226,8 @@ rm -f %{buildroot}%{_libdir}/*.la %{buildroot}%{_libdir}/%{name}/*.la
# 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 +235,9 @@ normalized_arch=i386
%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 +409,9 @@ mv \
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.
diff --git a/fedora/ppl_c.h b/fedora/ppl_c.h
index 4c579da..dc62d50 100644
--- a/fedora/ppl_c.h
+++ b/fedora/ppl_c.h
@@ -38,6 +38,12 @@ site: http://www.cs.unipr.it/ppl/ . */
#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
diff --git a/fedora/pwl.hh b/fedora/pwl.hh
index c51a858..a89f27d 100644
--- a/fedora/pwl.hh
+++ b/fedora/pwl.hh
@@ -38,6 +38,12 @@ site: http://www.cs.unipr.it/Software/ . */
#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
More information about the PPL-devel
mailing list