summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMike Frysinger <vapier@gentoo.org>2014-11-04 04:14:14 +0000
committerMike Frysinger <vapier@gentoo.org>2014-11-04 04:14:14 +0000
commitc79b0bc021a9a6e7a24ceb9c60d8f1851dd2da6a (patch)
treeb5b4152a90c900ad87fef570268cab28857f6291 /dev-libs/ppl
parentClean out old for repoman happy, stable on x86 to preserve keywording (diff)
downloadhistorical-c79b0bc021a9a6e7a24ceb9c60d8f1851dd2da6a.tar.gz
historical-c79b0bc021a9a6e7a24ceb9c60d8f1851dd2da6a.tar.bz2
historical-c79b0bc021a9a6e7a24ceb9c60d8f1851dd2da6a.zip
Version bump #446698 by Jeremy Murphy.
Package-Manager: portage-2.2.14/cvs/Linux x86_64 Manifest-Sign-Key: 0xD2E96200
Diffstat (limited to 'dev-libs/ppl')
-rw-r--r--dev-libs/ppl/ChangeLog7
-rw-r--r--dev-libs/ppl/Manifest30
-rw-r--r--dev-libs/ppl/ppl-1.1.ebuild60
3 files changed, 82 insertions, 15 deletions
diff --git a/dev-libs/ppl/ChangeLog b/dev-libs/ppl/ChangeLog
index 2e5befb38f0c..ff6446a22e35 100644
--- a/dev-libs/ppl/ChangeLog
+++ b/dev-libs/ppl/ChangeLog
@@ -1,6 +1,11 @@
# ChangeLog for dev-libs/ppl
# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.68 2014/11/04 03:24:24 vapier Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.69 2014/11/04 04:14:13 vapier Exp $
+
+*ppl-1.1 (04 Nov 2014)
+
+ 04 Nov 2014; Mike Frysinger <vapier@gentoo.org> +ppl-1.1.ebuild:
+ Version bump #446698 by Jeremy Murphy.
04 Nov 2014; Mike Frysinger <vapier@gentoo.org> ppl-0.12.1-r1.ebuild:
Add arm64 love.
diff --git a/dev-libs/ppl/Manifest b/dev-libs/ppl/Manifest
index 3f663edcbe0f..50291db96f04 100644
--- a/dev-libs/ppl/Manifest
+++ b/dev-libs/ppl/Manifest
@@ -3,23 +3,25 @@ Hash: SHA256
AUX ppl-fix-gmp-5.1.0.patch 1402 SHA256 043b4fb199d62ae67dcc5e7e2cebbfe4bad547498434ce061cb1d3819addded7 SHA512 4d0d3f42516951076747f7ca167aabb4b2c4e62114c97b81c0e70a2cc4464a86b7b78c9ace21008fb35d5911b8fcdc66968a2be26b72446639ba77e3f3c6b52f WHIRLPOOL 3a9e27028d7e0d5e2e9055842905f0565c914f16bc74d325d6f0d0457b1d4d96a32a1c1f888810afb9123cb0417d26a48e3ca43a5677a7e50c2e22ad1dc5e5b1
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
EBUILD ppl-0.12.1-r1.ebuild 2396 SHA256 8acd85d8d313a6eeb49582b39e05f9c2b893a7c41c6c0b2402a4f0d6d5d81baf SHA512 b7a1c2d72eae7ea4f28fd2870edd0c3175d9b705366036b42537b55d70f99b6a904b3e550b7f37ae46596f444640984f8dfc5a35987e000c5e67d5979d8efe66 WHIRLPOOL 30566adee20c70679c563570bba982c24c79d11b445c562333e70a8f06860bc77f70b71c2b8afef05a6bfb4fc3a5b9067d60b893af94b27f13c659af15dfd887
-MISC ChangeLog 8931 SHA256 e5186dc631b22a9cb8888479e16f4dff7f51cde1640b6e3db22e581f06bf0b69 SHA512 39c88799567122d9b5ec5a45fe21e0d12ffba4cc3b05cc7726f5e97ca5faeae58dc2dffc05139cafbcda7bd4d54d786bb8caa633bf91bba3dc569c72756cdf35 WHIRLPOOL d9e9023040d95dbce3b617a25ae6170aec31c8416564dee6c2e71732dbda738e4fb7153d186715b1c00e3e34f201f576169786f4d4420e0d9bc3838d29788788
+EBUILD ppl-1.1.ebuild 1773 SHA256 a80e7525e02fbf5216419482e461b60363f3928b9f53e4f1d30d1865d5f48c49 SHA512 e9edac3e47ebf3032a98ccddb0c99977e8653e30df76e01f740998f277f6781659cdf4fd3490509b7cbf3b1bdfe1a469ab6a4b3917e3b2691eaf8fc7d7f82b75 WHIRLPOOL 68303139aac5aaf735b93f4ae49f9a7cfb451ff9303c88fc55f8bc26c97243e8eb303ed866bcf8b96d500876cef52ea1f2b398ca0a69d3dfde1a123c6fc700f2
+MISC ChangeLog 9064 SHA256 d7d456f759f77743817546487cc07608bd09efadbdfe03a35bbe9ee14ad74ae6 SHA512 53d07aa4b39b0bae87ccf9dab71f57a3499bced5fb38678b599d524ac90e69d33b23d81a1894f8fa9db014d6a7d56b21b8eacbcadd32d4bb7b44c33842d2f5b8 WHIRLPOOL d263f6484ea2a642f1b1647bd5e2a99aef5c60dcce659df312059bd497488450f023a48b5c21b314e1d01060faf3e2cad828a48dc9017d9738102e0513544cb0
MISC metadata.xml 257 SHA256 db0d50cc6616ba1e3876aaeddcf0f5cbfc50fbac92cc4d32cdad3a1a648e977d SHA512 a825ec6b6ef18055a1b94835c46657916a6beb575a2c7c59de5e774c14f26a03c036b902359174efdf32839818db1880ea9e10c8bd57e154359e588b9574a726 WHIRLPOOL eb537074a08f076209fcb632bb4e66e93a3c4bce903398a35a5e456692bd184bb95727e30661b521a652cdd58b9b88ba7321f2864183c0f32fd4c91cf86b1072
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2
-iQIcBAEBCAAGBQJUWEbpAAoJEPGu1DbS6WIARNgP+wdLXFKbFVssiYt7Ilw1cL90
-bXlDDWOCWwmUsLbP/eWf2sgNF761X2csWG2AaEy+vxWTGKnSXq0ZkryMcZshuWCJ
-e68xXl0vpXbbSjYJaSyRxGIgj2Mw8WcMkDyFGYz0vnpELjlR9++6Q2zVPH42TOjQ
-JOZz37r/HpW7afTbkWk3Dp0yZVOLlKJOU4zyqm3lkx6qi8UoKOYCY/UzGRUquisH
-teFmIF04C9nkSyzquER0mgTGSVXTcUAc3ay0foMQWPcNCgioz8p0VY4y9VcdXaJF
-wkyMjD+nLrWFl0FOkWUyY0gjRW4Zj/rdGKY7NaYq9JvQZ3xLh4Gx5FnkQXweGwuC
-GRjRpTFb/2bSwJlLoZe7vcDibbYsUqLx7tSafinOJewjgZZlEJ1rZ5vFhVtl6Xbq
-wXYqVZRbY74ha4tEK57uDWyZ5rf5lkN1lTRzn9LfiWsP7+KS+9STDz+1FOENBInp
-DHEZS+U5YbJFJaU1JujJoMkQ6cR2I51xj+JLXybmj8Htn6a0pJa3h+M2ra9x4gq9
-DT//D9hxFYCk7Qjw+ow6rgccMOB39RivR3oiZpDj4tjwx8Su7e5yv9ympEq/HfZU
-GGOBXJZhiS/t28gXmLp4H95pDq/K+Vs6+ILfbsnt8QVlF4gtdjoiDBvPsfGwWzXw
-ZeAgE4LXw0gL5OT5ymp4
-=ij1c
+iQIcBAEBCAAGBQJUWFKXAAoJEPGu1DbS6WIAs9cP/2+uqOFvEzVL/WOTW/YbbgRn
+pV+UZ6MOfPDUeUibptfeaw9RjpGm1wANI208sNFpn1woCKa6LsyDHKoN1FYNGBkj
+nb9aBjBRdLyGd0i53xCRfcCp6Nrk5Yzw/lrSQD7+jz4SbPmchIqzv/HJgH9259nd
+4dYoTrCJQSxnWH82/5rs6I4JG8c2xwSG/3dCO8pGJBfp78YeLd+SocQD12ssIE0Y
+485Ix8G9hUoaOvlDhpkvTdhsDQfILQwdryYdHCi1mztQiUlddITNnnLM35xi3FyT
+URcZmfSEuwMyABoIJULOWwu5nsMuXp69H18Lly/zw4pwNU6VbkEye+SnU88B/7ML
+2gVi8zBwNg6vgGQ3SdUOewtshwSBYnty3nUlcWbypcJDxvOhwrlmm8RBGrTMyBEY
+CC1E7q1EhJXDMEf1n4q+Z4gd61NG9avRHnzwZKdqjlt+cxoejVJcSmK6lV6u5slo
+nR7FICh+idLCHPOt0E+q+VWjfxGsfbRnoNb8FVFWq5vWXxBdJwxLdwotlu4sPWuw
+ZWbLR3Arcb+4Y/6Vhpu4tYCyiL56Whxhe4/Df7+YoldWgD7gPFKwI38o9ktKLvDE
+UnzGT8az3Yx8A8dVeVc541VwXiZs9ZJXbF7YyiPxEzJQ398b8KGsIh1vO1bOWHXk
+Q/t/XPi1r8dgrSQ3fPqc
+=05zd
-----END PGP SIGNATURE-----
diff --git a/dev-libs/ppl/ppl-1.1.ebuild b/dev-libs/ppl/ppl-1.1.ebuild
new file mode 100644
index 000000000000..9356008fe323
--- /dev/null
+++ b/dev-libs/ppl/ppl-1.1.ebuild
@@ -0,0 +1,60 @@
+# Copyright 1999-2014 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-1.1.ebuild,v 1.1 2014/11/04 04:14:13 vapier Exp $
+
+EAPI="5"
+
+DESCRIPTION="The Parma Polyhedra Library provides numerical abstractions for 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 ~mips ~ppc ~ppc64 ~s390 ~sh ~sparc ~x86 ~amd64-fbsd ~sparc-fbsd ~x86-fbsd ~amd64-linux ~sparc-solaris"
+IUSE="+cxx 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}
+ 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
+}