Git-Url: http://git.frugalware.org/gitweb/gitweb.cgi?p=ryuotesting11.git;a=commitdiff;h=c659ffc90959a737a973bffca85f8f435b2d785d
commit c659ffc90959a737a973bffca85f8f435b2d785d Author: James Buren <[email protected]> Date: Wed Feb 5 16:12:59 2014 +0200 ppl10-1.0-1-arm * new temporary package (preserves ppl10 ABI long enough to rebuild) diff --git a/source/lib/ppl10/FrugalBuild b/source/lib/ppl10/FrugalBuild new file mode 100644 index 0000000..c691212 --- /dev/null +++ b/source/lib/ppl10/FrugalBuild @@ -0,0 +1,26 @@ +# Compiling Time: 5 SBU +# Maintainer: James Buren <[email protected]> + +pkgname=ppl10 +pkgver=1.0 +pkgrel=1 +pkgdesc="Library that provides numerical abstractions." +url="http://bugseng.com/products/ppl"; +depends=('gmp') +groups=('lib' 'devel-core') +archs=('i686' 'x86_64' 'arm') +up2date="Flasttar http://bugseng.com/products/$pkgname/download/ftp/releases/LATEST/"; +source=(http://bugseng.com/products/ppl/download/ftp/releases/$pkgver/ppl-$pkgver.tar.xz rebuild.patch fixes.patch) +signatures=($source.sign '' '') + +build() +{ + Fcd ppl-$pkgver + Fbuild + Frm /usr/share + Frm /usr/include + Frm /usr/bin + Frm /usr/lib/libppl{,_c}.{a,so,la} +} + +# optimization OK diff --git a/source/lib/ppl10/fixes.patch b/source/lib/ppl10/fixes.patch new file mode 100644 index 0000000..47edc8b --- /dev/null +++ b/source/lib/ppl10/fixes.patch @@ -0,0 +1,61 @@ +Module: ppl/ppl +Branch: master +Commit: 9f843aecc23981aec6ed1eaa8be06e6786a47f0d +URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9f843aecc23981aec6ed1eaa8be06e6786a47f0d + +Author: Roberto Bagnara <bagnara at cs.unipr.it> +Date: Wed Dec 19 08:42:19 2012 +0100 + +GMP version 5.1.0 (and, presumably, later versions) defines std::numeric_limits. + +--- + + src/mp_std_bits.cc | 6 ++++++ + src/mp_std_bits.defs.hh | 6 ++++++ + 2 files changed, 12 insertions(+), 0 deletions(-) + +diff --git a/src/mp_std_bits.cc b/src/mp_std_bits.cc +index c8da535..918b9af 100644 +--- a/src/mp_std_bits.cc ++++ b/src/mp_std_bits.cc +@@ -25,6 +25,9 @@ site: http://bugseng.com/products/ppl/ . */ + #include "ppl-config.h" + #include "mp_std_bits_defs.hh" + ++#if __GNU_MP_VERSION < 5 \ ++ || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1) ++ + const bool std::numeric_limits<mpz_class>::is_specialized; + const int std::numeric_limits<mpz_class>::digits; + const int std::numeric_limits<mpz_class>::digits10; +@@ -70,3 +73,6 @@ const bool std::numeric_limits<mpq_class>::is_modulo; + const bool std::numeric_limits<mpq_class>::traps; + const bool std::numeric_limits<mpq_class>::tininess_before; + const std::float_round_style std::numeric_limits<mpq_class>::round_style; ++ ++#endif // __GNU_MP_VERSION < 5 ++ // || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1) +diff --git a/src/mp_std_bits.defs.hh b/src/mp_std_bits.defs.hh +index f71595a..0d078ec 100644 (file) +--- a/src/mp_std_bits.defs.hh ++++ b/src/mp_std_bits.defs.hh +@@ -38,6 +38,9 @@ + #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) + void swap(mpq_class& x, mpq_class& y); + ++#if __GNU_MP_VERSION < 5 \ ++ || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1) ++ + namespace std { + + #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS +@@ -164,6 +167,9 @@ + + } // namespace std + ++#endif // __GNU_MP_VERSION < 5 ++ // || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1) ++ + #include "mp_std_bits.inlines.hh" + + #endif // !defined(PPL_mp_std_bits_defs_hh) diff --git a/source/lib/ppl10/rebuild.patch b/source/lib/ppl10/rebuild.patch new file mode 100644 index 0000000..60dcb30 --- /dev/null +++ b/source/lib/ppl10/rebuild.patch @@ -0,0 +1,24 @@ +diff -ur a/interfaces/C/Makefile.am b/interfaces/C/Makefile.am +--- a/interfaces/C/Makefile.am 2012-06-28 05:50:33.000000000 -0500 ++++ b/interfaces/C/Makefile.am 2012-09-13 03:21:49.203212613 -0500 +@@ -73,7 +73,7 @@ + # 0.10.2 3:0:1 + # 0.11 4:0:0 + +-LIBPPL_C_LT_CURRENT = 4 ++LIBPPL_C_LT_CURRENT = 99 + LIBPPL_C_LT_REVISION = 0 + LIBPPL_C_LT_AGE = 0 + +diff -ur a/interfaces/C/Makefile.in b/interfaces/C/Makefile.in +--- a/interfaces/C/Makefile.in 2012-06-28 05:50:40.000000000 -0500 ++++ b/interfaces/C/Makefile.in 2012-09-13 04:14:21.918094213 -0500 +@@ -462,7 +462,7 @@ + # 0.10.1 2:0:0 (was not updated by mistake) + # 0.10.2 3:0:1 + # 0.11 4:0:0 +-LIBPPL_C_LT_CURRENT = 4 ++LIBPPL_C_LT_CURRENT = 99 + LIBPPL_C_LT_REVISION = 0 + LIBPPL_C_LT_AGE = 0 + BUILT_SOURCES = \
_______________________________________________ Frugalware-git mailing list [email protected] http://frugalware.org/mailman/listinfo/frugalware-git
