Module: ppl/ppl Branch: deprecated_0_11_removal Commit: 74c1907444a19b1756711623d779b7eea9bb3be3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=74c1907444a19...
Author: Roberto Bagnara bagnara@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@cs.unipr.it 0.10.2-1 +- Updated for PPL 0.10.2. + * Tue Apr 14 2009 Roberto Bagnara bagnara@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
participants (1)
-
Roberto Bagnara