Better workaround for the bug affecting PPL 0.10 on big-endian
architectures.
This commit is contained in:
parent
b591cf386a
commit
0ebcb22c6f
|
@ -0,0 +1,15 @@
|
|||
--- ppl-0.10/src/Float.defs.hh 2008-10-03 15:23:03.000000000 +0200
|
||||
+++ ppl-0.10-patched/src/Float.defs.hh 2009-02-04 07:59:06.000000000 +0100
|
||||
@@ -65,6 +65,12 @@
|
||||
void build(bool negative, mpz_t mantissa, int exponent);
|
||||
};
|
||||
|
||||
+#ifdef WORDS_BIGENDIAN
|
||||
+#ifndef PPL_WORDS_BIGENDIAN
|
||||
+#define PPL_WORDS_BIGENDIAN
|
||||
+#endif
|
||||
+#endif
|
||||
+
|
||||
#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
|
||||
/*! \ingroup PPL_CXX_interface */
|
||||
#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
|
16
ppl.spec
16
ppl.spec
|
@ -2,7 +2,7 @@
|
|||
|
||||
Name: ppl
|
||||
Version: 0.10
|
||||
Release: 5%{?dist}
|
||||
Release: 6%{?dist}
|
||||
|
||||
Summary: The Parma Polyhedra Library: a library of numerical abstractions
|
||||
Group: Development/Libraries
|
||||
|
@ -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: none
|
||||
Patch0: ppl-0.10-bigendian.patch
|
||||
#Patch1: none
|
||||
#Icon:
|
||||
#Requires:
|
||||
|
@ -198,7 +198,7 @@ Install this package if you want to program with the PWL.
|
|||
|
||||
%prep
|
||||
%setup -q
|
||||
#%patch0 -p1
|
||||
%patch0 -p1
|
||||
#%patch1 -p1
|
||||
|
||||
%build
|
||||
|
@ -207,12 +207,6 @@ CPPFLAGS="-I%{_includedir}/glpk"
|
|||
CPPFLAGS="$CPPFLAGS -I%{_libdir}/gprolog-`gprolog --version 2>&1 | head -1 | sed -e "s/.* \([^ ]*\)$/\1/g"`/include"
|
||||
%endif
|
||||
CPPFLAGS="$CPPFLAGS -I%{_includedir}/Yap"
|
||||
%ifarch ppc
|
||||
CPPFLAGS="$CPPFLAGS -UWORDS_BIGENDIAN -DPPL_WORDS_BIGENDIAN=1"
|
||||
%endif
|
||||
%ifarch ppc64
|
||||
CPPFLAGS="$CPPFLAGS -UWORDS_BIGENDIAN -DPPL_WORDS_BIGENDIAN=1"
|
||||
%endif
|
||||
%configure --enable-shared --disable-rpath --enable-interfaces="c++ c gnu_prolog swi_prolog yap_prolog java" CPPFLAGS="$CPPFLAGS"
|
||||
sed -i 's|^hardcode_libdir_flag_spec=.*|hardcode_libdir_flag_spec=""|g' libtool
|
||||
sed -i 's|^runpath_var=LD_RUN_PATH|runpath_var=DIE_RPATH_DIE|g' libtool
|
||||
|
@ -407,6 +401,10 @@ mv \
|
|||
rm -rf %{buildroot}
|
||||
|
||||
%changelog
|
||||
* Wed Feb 04 2009 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-6
|
||||
- Better workaround for the bug affecting PPL 0.10 on big-endian
|
||||
architectures.
|
||||
|
||||
* Tue Feb 03 2009 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-5
|
||||
- Work around the bug affecting PPL 0.10 on big-endian architectures.
|
||||
|
||||
|
|
Loading…
Reference in New Issue