# HG changeset patch # User Da Risk # Date 1427700697 -7200 # Node ID 85410e9238de5934f0a9e5900005d932e62d3278 # Parent 582b5ed276df5a632b678ea5627bbb532b3ddc39# Parent d88a40b2e6d7a9b3043e397febdc6fa78513e485 Merge vera++ into master diff -r 582b5ed276df -r 85410e9238de dev-util/vera++/Manifest --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/dev-util/vera++/Manifest Mon Mar 30 09:31:37 2015 +0200 @@ -0,0 +1,1 @@ +DIST vera++-1.2.1.tar.gz 72539 SHA256 99b123c8f6d0f4fe9ee90397c461179066a36ed0d598d95e015baf2d3b56956b SHA512 324849eb541edf9e74005e324eeade2c31f8fc55567d2e08b6f7df4ecf3a6855a52f20ecec53d3f54631548c03ae67b83cc9d7a56b651e27a8460aaca70371d4 WHIRLPOOL 16fcebbc56f6dd5da2c1c9b6fdd635c6c9e72698474ddba1aa4104c70f5f018c0682790edf3f0eed7bf43a09e76bfdf405bdb2ef28e40f113d6f1eb4794b3f29 diff -r 582b5ed276df -r 85410e9238de dev-util/vera++/metadata.xml --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/dev-util/vera++/metadata.xml Mon Mar 30 09:31:37 2015 +0200 @@ -0,0 +1,11 @@ + + + + + tamino@cdauth.eu + Tamino Dauth + + + Programmable tool for verification, analysis and transformation of C++ source code. + + diff -r 582b5ed276df -r 85410e9238de dev-util/vera++/vera++-1.2.1.ebuild --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/dev-util/vera++/vera++-1.2.1.ebuild Mon Mar 30 09:31:37 2015 +0200 @@ -0,0 +1,23 @@ +# Copyright 1999-2015 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Header: $ + +EAPI="5" + +inherit cmake-utils + +DESCRIPTION="Programmable tool for verification, analysis and transformation of C++ source code" +HOMEPAGE="http://bitbucket.org/verateam" +LICENSE="Boost-1.0" +SLOT="0" +KEYWORDS="~amd64" +IUSE="doc" +SRC_URI="http://bitbucket.org/verateam/vera/downloads/${P}.tar.gz" + +DEPEND="${RDEPEND}" +RDEPEND=" + dev-lang/tcl + dev-libs/boost + doc? ( app-text/pandoc ) + " +MERGE_TYPE="source"