From 1798c4aeca70ac8d0a243684d6a798fbc65735f8 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sat, 14 Jul 2018 20:57:42 +0100 Subject: gentoo resync : 14.07.2018 --- dev-libs/ppl/Manifest | 5 ---- dev-libs/ppl/metadata.xml | 11 --------- dev-libs/ppl/ppl-1.1.ebuild | 59 --------------------------------------------- dev-libs/ppl/ppl-1.2.ebuild | 59 --------------------------------------------- 4 files changed, 134 deletions(-) delete mode 100644 dev-libs/ppl/Manifest delete mode 100644 dev-libs/ppl/metadata.xml delete mode 100644 dev-libs/ppl/ppl-1.1.ebuild delete mode 100644 dev-libs/ppl/ppl-1.2.ebuild (limited to 'dev-libs/ppl') diff --git a/dev-libs/ppl/Manifest b/dev-libs/ppl/Manifest deleted file mode 100644 index 3762bc78437f..000000000000 --- a/dev-libs/ppl/Manifest +++ /dev/null @@ -1,5 +0,0 @@ -DIST ppl-1.1.tar.xz 14734820 BLAKE2B 2c96d86b534c7f06569bfe37d0ca1938b0c7c708b38d62e210d868db005275e392b2cc9e6dded7d4a5bf1e901136c298b0ff86d2933dc89b4607d5ef9e286b86 SHA512 ae0503fb3eac494fa3edf5d5c9ec61e2419e6e2fa57d30323f7d0360ff080b033686410c7462f5b2ff5514803451cb91e9c0fc14cf953485c5f5fd664448cc27 -DIST ppl-1.2.tar.xz 14136236 BLAKE2B 060b73384dac558dc8b2b0f1027ed0aa270b0adf0992c2ca1a281fa7bcdf959cba3a9e8ee29e978d12c3eee606b819075c5bcab59f4aed24fbf1c5512b5e2c36 SHA512 b509ed85fa6aedd40119bd4c980b17f33072c56c2acd923da3445b6bc80d48051cfa4c04cce96f6974711f5279c24b31cb3869f87b2eb6a2a1b30a058c809350 -EBUILD ppl-1.1.ebuild 1611 BLAKE2B cd6d8213986c0ddddf1aad3294e9850aa344aa06414e95bffb3cee7f648535e174bd6e535f05cf01ff7ac97bdfb8722c8c9db8d9da5aeb5869f5820698f71d4c SHA512 5e63a2d590086a49c82e64f315ff385ae30e8e63ff5f70ad289a5e5c08bc3e8a7a679ffcf7d734590e95197f465f4cab7cd23946cfbd01ecca2d4b70b183be82 -EBUILD ppl-1.2.ebuild 1615 BLAKE2B c99256375ecacf278e5dec97c156c26f30803c16781ba02ae37e1d6e701181c8a738154c3e471469b755643b13449b62499de3ebff6959221fed03052977b5ea SHA512 218bf984d5f777ceb87e4e9d9bd91120ac128db5be205cc14a823e215774907f737669b38a47214b5b8f504ee75238429d792bd48b349ccc833ed2154a39e30e -MISC metadata.xml 354 BLAKE2B 77e58ca8f59039d9814e8388a7fa941fe88130fadd21720447f050f09cbccdf289153f15874c6f48cd7d8720841d181e4904e515df87c3a16fc8673283b41b4c SHA512 5f42b5399f8961160bd6ed9db93c11e2f7c7f1e750c227068fb828ac7519c927b55786d7cf60481d21813d48af51e7cae7e1c8baca12f8fbe6a1f4e701377a50 diff --git a/dev-libs/ppl/metadata.xml b/dev-libs/ppl/metadata.xml deleted file mode 100644 index d1dc39110e28..000000000000 --- a/dev-libs/ppl/metadata.xml +++ /dev/null @@ -1,11 +0,0 @@ - - - - - toolchain@gentoo.org - Gentoo Toolchain Project - - - Build the ppl_lpsol linear programming problem solver - - diff --git a/dev-libs/ppl/ppl-1.1.ebuild b/dev-libs/ppl/ppl-1.1.ebuild deleted file mode 100644 index 1aa44fbb4e19..000000000000 --- a/dev-libs/ppl/ppl-1.1.ebuild +++ /dev/null @@ -1,59 +0,0 @@ -# Copyright 1999-2018 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - -EAPI="5" - -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.xz" - -LICENSE="GPL-3" -SLOT="0/4.13" # SONAMEs -KEYWORDS="alpha amd64 arm ~arm64 hppa ia64 m68k ~mips ppc ppc64 s390 sh sparc x86 ~amd64-fbsd ~x86-fbsd ~amd64-linux ~sparc-solaris" -IUSE="+cxx doc lpsol pch static-libs test" - -RDEPEND=">=dev-libs/gmp-6[cxx] - lpsol? ( sci-mathematics/glpk ) - !dev-libs/cloog-ppl" -DEPEND="${RDEPEND} - app-arch/xz-utils - 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_configure() { - local interfaces=( c ) - use cxx && interfaces+=( cxx ) - 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="${interfaces[*]}" \ - $(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 - emake check -} - -src_install() { - default - use static-libs || find "${ED}"/usr -name 'libppl*.la' -delete - - pushd "${ED}/usr/share/doc/${PF}" >/dev/null || die - rm gpl* fdl* || die - if ! use doc; then - rm -r *-html/ *.ps.gz *.pdf || die - fi -} diff --git a/dev-libs/ppl/ppl-1.2.ebuild b/dev-libs/ppl/ppl-1.2.ebuild deleted file mode 100644 index 4c4cf952f0d8..000000000000 --- a/dev-libs/ppl/ppl-1.2.ebuild +++ /dev/null @@ -1,59 +0,0 @@ -# Copyright 1999-2018 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - -EAPI="5" - -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.xz" - -LICENSE="GPL-3" -SLOT="0/4.14" # SONAMEs -KEYWORDS="alpha amd64 arm ~arm64 hppa ia64 ~m68k ~mips ppc ppc64 ~s390 ~sh sparc x86 ~amd64-fbsd ~x86-fbsd ~amd64-linux ~sparc-solaris" -IUSE="+cxx doc lpsol pch static-libs test" - -RDEPEND=">=dev-libs/gmp-6[cxx] - lpsol? ( sci-mathematics/glpk ) - !dev-libs/cloog-ppl" -DEPEND="${RDEPEND} - app-arch/xz-utils - 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_configure() { - local interfaces=( c ) - use cxx && interfaces+=( cxx ) - 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="${interfaces[*]}" \ - $(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 - emake check -} - -src_install() { - default - use static-libs || find "${ED}"/usr -name 'libppl*.la' -delete - - pushd "${ED}/usr/share/doc/${PF}" >/dev/null || die - rm gpl* fdl* || die - if ! use doc ; then - rm -r *-html/ *.ps.gz *.pdf || die - fi -} -- cgit v1.2.3