diff options
author | Harri Nieminen <moikkis@gmail.com> | 2017-12-01 19:51:55 +0200 |
---|---|---|
committer | David Seifert <soap@gentoo.org> | 2017-12-02 14:02:47 +0100 |
commit | bf4d3d3ff9bceda4ecc2f4a9801fd9ca628bde85 (patch) | |
tree | e2e48a1decced7f6416f385a026ee14327519021 /dev-libs/ppl | |
parent | dev-scheme/kawa: Remove old (EAPI3) (diff) | |
download | gentoo-bf4d3d3ff9bceda4ecc2f4a9801fd9ca628bde85.tar.gz gentoo-bf4d3d3ff9bceda4ecc2f4a9801fd9ca628bde85.tar.bz2 gentoo-bf4d3d3ff9bceda4ecc2f4a9801fd9ca628bde85.zip |
dev-libs/ppl: Remove old EAPI3
Package-Manager: Portage-2.3.16, Repoman-2.3.6
Closes: https://github.com/gentoo/gentoo/pull/6384
Diffstat (limited to 'dev-libs/ppl')
-rw-r--r-- | dev-libs/ppl/Manifest | 1 | ||||
-rw-r--r-- | dev-libs/ppl/files/ppl-fix-gmp-5.1.0.patch | 41 | ||||
-rw-r--r-- | dev-libs/ppl/ppl-0.12.1-r1.ebuild | 83 |
3 files changed, 0 insertions, 125 deletions
diff --git a/dev-libs/ppl/Manifest b/dev-libs/ppl/Manifest index c5bffa1d1e04..336be24d378d 100644 --- a/dev-libs/ppl/Manifest +++ b/dev-libs/ppl/Manifest @@ -1,3 +1,2 @@ -DIST ppl-0.12.1.tar.bz2 14938132 SHA256 4022e54772f81c8ef66d3dd4c3d8dca48f72f9af614d8a36d05fbf5917f2b198 SHA512 e8a4c92271f608e79c5828c71ff2d36c681dd4bd48b5d31353b2a27bcf827a5cb8f0dcdfee3e13cf9f202f35a7693ddf9880dc4d5b8445ec558cef1319f43925 WHIRLPOOL 6616253d5c02c84294ec63e0601fa7bc65772fc72e6cea68f1300fa2b46f551311589813268d8e869cb59295d8fdc5be17a5b3d0cbb7b62fe0bc06a8bf9e1f39 DIST ppl-1.1.tar.xz 14734820 SHA256 c48ccd74664ec2cd3cdb5e37f287974ccb062f0384dc658d4053c424b19ad178 SHA512 ae0503fb3eac494fa3edf5d5c9ec61e2419e6e2fa57d30323f7d0360ff080b033686410c7462f5b2ff5514803451cb91e9c0fc14cf953485c5f5fd664448cc27 WHIRLPOOL d1b85fe9b44195f7fdc0573b32291a70183ce9de5e29fbb502a5d181a6e0ae11998dd5cfb52ec7ce3e1aed36433a823484488bfaf93362ac3b45a7556a2e9b6a DIST ppl-1.2.tar.xz 14136236 SHA256 691f0d5a4fb0e206f4e132fc9132c71d6e33cdda168470d40ac3cf62340e9a60 SHA512 b509ed85fa6aedd40119bd4c980b17f33072c56c2acd923da3445b6bc80d48051cfa4c04cce96f6974711f5279c24b31cb3869f87b2eb6a2a1b30a058c809350 WHIRLPOOL cf2d5895d7d740c650707840caadd45d785411875b1c55db141928a288a1475f50d4f1e6ac829062ab021a920e9581be7822679e9cf2ea11dc64ac70cfa2e5dd diff --git a/dev-libs/ppl/files/ppl-fix-gmp-5.1.0.patch b/dev-libs/ppl/files/ppl-fix-gmp-5.1.0.patch deleted file mode 100644 index ff2423e93c79..000000000000 --- a/dev-libs/ppl/files/ppl-fix-gmp-5.1.0.patch +++ /dev/null @@ -1,41 +0,0 @@ ---- src/p_std_bits.cc.org 2012-12-30 00:37:03.033948083 +0100 -+++ src/mp_std_bits.cc 2012-12-30 00:44:12.893019313 +0100 -@@ -25,6 +25,9 @@ - #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>::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) ---- src/mp_std_bits.defs.hh.org 2012-12-30 00:37:03.037948187 +0100 -+++ src/mp_std_bits.defs.hh 2012-12-30 00:42:32.002424189 +0100 -@@ -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/dev-libs/ppl/ppl-0.12.1-r1.ebuild b/dev-libs/ppl/ppl-0.12.1-r1.ebuild deleted file mode 100644 index 630398ef0c22..000000000000 --- a/dev-libs/ppl/ppl-0.12.1-r1.ebuild +++ /dev/null @@ -1,83 +0,0 @@ -# Copyright 1999-2017 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - -EAPI="3" - -inherit eutils - -DESCRIPTION="The Parma Polyhedra Library for numerical analysis of complex systems" -HOMEPAGE="http://bugseng.com/products/ppl" -SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.bz2" - -LICENSE="GPL-3" -SLOT="0" -KEYWORDS="alpha amd64 arm arm64 ~hppa ia64 ~mips ppc ppc64 s390 sh sparc x86 ~amd64-fbsd ~sparc-fbsd ~x86-fbsd ~amd64-linux ~sparc-solaris" -IUSE="doc lpsol pch static-libs test" - -RDEPEND=">=dev-libs/gmp-4.1.3[cxx] - lpsol? ( <=sci-mathematics/glpk-4.48 ) - !<dev-libs/cloog-ppl-0.15.10" -DEPEND="${RDEPEND} - sys-devel/m4" - -pkg_setup() { - if use test; then - ewarn "The PPL testsuite will be run." - ewarn "Note that this can take several hours to complete on a fast machine." - fi -} - -src_prepare() { - epatch "${FILESDIR}/ppl-fix-gmp-5.1.0.patch" || die "Failed to patch" -} - -src_configure() { - econf \ - --docdir="${EPREFIX}"/usr/share/doc/${PF} \ - --disable-debugging \ - --disable-optimization \ - $(use_enable doc documentation) \ - $(use_enable lpsol ppl_lpsol) \ - $(use_enable pch) \ - $(use_enable static-libs static) \ - --enable-interfaces="c cxx" \ - $(use test && echo --enable-check=quick) -} - -src_test() { - # default src_test runs with -j1, overriding it here saves about - # 30 minutes and is recommended by upstream - if emake -j1 check -n &> /dev/null; then - emake check || die "tests failed" - fi -} - -src_install() { - emake DESTDIR="${D}" install || die - use static-libs || rm -f "${D}"/usr/lib*/libppl*.la - - local docsdir="${ED}/usr/share/doc/${PF}" - rm "${docsdir}"/gpl* "${docsdir}"/fdl* || die - - if ! use doc; then - rm -r "${docsdir}"/*-html/ || die - fi - - dodoc NEWS README* STANDARDS TODO -} - -pkg_postinst() { - echo - ewarn "After an upgrade of PPL it is important that you rebuild" - ewarn "dev-libs/cloog-ppl." - ewarn - ewarn "If you use gcc-config to switch to an older compiler version than" - ewarn "the one PPL was built with, PPL must be rebuilt with that version." - ewarn - ewarn "In both cases failure to do this will get you this error when" - ewarn "graphite flags are used:" - ewarn - ewarn " sorry, unimplemented: Graphite loop optimizations cannot be used" - ewarn - echo -} |