FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

We also have a status page: https://freshports.wordpress.com/

Port details
vera++ Tool for verification of C++ source code
1.3.0_5 devel on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: cristianorolim@outlook.com search for ports maintained by this maintainer
Port Added: 25 Aug 2013 22:39:00
License: BSL
Vera++ is a programmable tool for verification, analysis and transformation
of C++ source code. Vera++ is mainly an engine that parses C++ source files
and presents the result of this parsing to scripts in the form of various
collections - the scripts are actually performing the requested tasks.

WWW: https://bitbucket.org/verateam/vera/wiki/Home
SVNWeb : Homepage : PortsMon
    Pseudo-pkg-plist information, but much better, from make generate-plist
    Expand this list (5 items)
  1. bin/vera++
  2. man/man1/vera++.1.gz
  3. /usr/local/share/licenses/vera++-1.3.0_5/catalog.mk
  4. /usr/local/share/licenses/vera++-1.3.0_5/LICENSE
  5. /usr/local/share/licenses/vera++-1.3.0_5/BSL
  6. Collapse this list.

To install the port: cd /usr/ports/devel/vera++/ && make install clean
To add the package: pkg install vera++

PKGNAME: vera++

distinfo:

SHA256 (vera++-1.3.0.tar.gz) = 9415657a09438353489db10ca860dd6459e446cfd9c649a1a2e02268da66f270
SIZE (vera++-1.3.0.tar.gz) = 90690
SHA256 (vera++-1.3.0-doc.tar.gz) = 122a15e33a54265d62a6894974ca2f0a8f6ff98742cf8e6152d310cc23099400
SIZE (vera++-1.3.0-doc.tar.gz) = 31141


NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Build dependencies:
  1. boost-libs>=0 : devel/boost-libs
  2. cmake : devel/cmake
  3. ninja : devel/ninja
Library dependencies:
  1. libluabind.so : devel/luabind
  2. libboost_python.so : devel/boost-python-libs
  3. libtk86.so : x11-toolkits/tk86
  4. libtcl86.so : lang/tcl86
There are no ports dependent upon this port

Configuration Options
===> The following configuration options are available for vera++-1.3.0_5:
     DOCS=on: Build and/or install documentation
     LUA=on: Lua scripting language support
     PYTHON=on: Python bindings or support
===> Use 'make config' to modify these settings

USES:
cmake:outsource tk

Master Sites:
  1. https://bitbucket.org/verateam/vera/downloads/

Number of commits found: 16

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
25 Sep 2017 00:08:17
Original commit files touched by this commit  1.3.0_5
Revision:450560
jbeich search for other commits by this committer
devel/boost-*: update to 1.65.1

Changes:	http://www.boost.org/users/history/version_1_65_1.html
PR:		218835
Approved by:	maintainer timeout (1.65.1: 2 weeks; 1.65.0: 1 month)
Tested by:	jhibbits (on powerpc64, earlier version)
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D11582
25 Sep 2017 00:05:06
Original commit files touched by this commit  1.3.0_4
Revision:450557
jbeich search for other commits by this committer
devel/boost-*: enable C++11 features

PR:		218835
Obtained from:	https://github.com/DragonFlyBSD/DeltaPorts/pull/690
Approved by:	maintainer timeout (2 months)
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D11582
02 May 2017 06:48:11
Original commit files touched by this commit  1.3.0_3
Revision:439934
jbeich search for other commits by this committer
devel/boost-*: update to 1.64.0

Changes:	http://www.boost.org/users/history/version_1_64_0.html
PR:		218835
Approved by:	office (bapt)
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D10472
28 Apr 2017 01:32:32
Original commit files touched by this commit  1.3.0_2
Revision:439591
linimon search for other commits by this committer
These ports now build on powerpc64.
06 Jan 2017 08:45:04
Original commit files touched by this commit  1.3.0_2
Revision:430692
jbeich search for other commits by this committer
devel/boost-*: update to 1.63.0

Changes:	http://www.boost.org/users/history/version_1_63_0.html
PR:		215598
Exp-run by:	antoine
Approved by:	office (bapt)
MFH:		2017Q1
23 Nov 2016 12:45:47
Original commit files touched by this commit  1.3.0_1
Revision:426908
jbeich search for other commits by this committer
devel/boost-*: update to 1.62.0

- Enable `long double` C99 math usage
- Switch 9.x back to building with GCC

Changes:	http://www.boost.org/users/history/
PR:		199601
Submitted by:	Chen Xu, bapt, amdmi3, truckman (based on)
Reviewed by:	rakuco (kde) (earlier version)
Exp-run by:	antoine (3 tries), truckman (consumers only, earlier versions)
Approved by:	bapt (office)
21 Apr 2016 16:43:15
Original commit files touched by this commit  1.3.0
Revision:413746
swills search for other commits by this committer
many ports: mark broken on powerpc64
01 Apr 2016 14:00:57
Original commit files touched by this commit  1.3.0
Revision:412346
mat search for other commits by this committer
Remove ${PORTSDIR}/ from dependencies, categories d, e, f, and g.

With hat:	portmgr
Sponsored by:	Absolight
11 May 2015 18:34:58
Original commit files touched by this commit  1.3.0
Revision:386097
mat search for other commits by this committer
Cleanup DIST* variables.

When appropriate:
- Try to use DISTVERSION{SUF,PRE}FIX
- Replace PORTNAME-PORTVERSION by DISTNAME
- Convert MASTER_SITES to use macros
- Other light cleanup

With hat:	portmgr
Sponsored by:	Absolight
01 May 2015 18:46:54
Original commit files touched by this commit  1.3.0
Revision:385138
riggs search for other commits by this committer
- Update to upstream version 1.3.0
- Retire pkg-plist in favor of PLIST_FILES entries

PR:		199609
Submitted by:	lightside@gmx.com
Reviewed by:	cristianorolim@outlook.com (maintainer)
27 Oct 2014 11:09:47
Original commit files touched by this commit  1.2.1
Revision:371553
bapt search for other commits by this committer
Cleanup plist
17 Feb 2014 15:18:05
Original commit files touched by this commit  1.2.1
Revision:344780
gahr search for other commits by this committer
- Convert to USES=tk
17 Feb 2014 06:56:09
Original commit files touched by this commit  1.2.1
Revision:344675
miwi search for other commits by this committer
- Stage support
03 Jan 2014 00:46:47
Original commit files touched by this commit  1.2.1
Revision:338511
bapt search for other commits by this committer
Part 1 at removing now useless FETCH_ARGS redifition
20 Sep 2013 17:17:45
Original commit files touched by this commit  1.2.1
Revision:327726
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
devel part 4)
25 Aug 2013 22:38:48
Original commit files touched by this commit  1.2.1
Revision:325368
rakuco search for other commits by this committer
Add devel/vera++.

Vera++ is a programmable tool for verification, analysis and transformation
of C++ source code. Vera++ is mainly an engine that parses C++ source files
and presents the result of this parsing to scripts in the form of various
collections - the scripts are actually performing the requested tasks.

WWW: https://bitbucket.org/verateam/vera/wiki/Home

PR:		ports/181245
Submitted by:	Cristiano Rolim Pereira <cristianorolim@outlook.com>

Number of commits found: 16

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
opensslNov 02
openssl-develNov 02
wordpressNov 01
php56Oct 30
php70Oct 30
php71Oct 30
wiresharkOct 30
chromiumOct 28
wgetOct 27
wgetOct 27
openoffice-4*Oct 26
openoffice-devel*Oct 26
gitlabOct 25
nodeOct 25
node4Oct 25

No vulnerabilities have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 31870
Broken 126
Deprecated 55
Ignore 364
Forbidden 0
Restricted 175
No CDROM 78
Vulnerable 51
Expired 11
Set to expire 47
Interactive 0
new 24 hours 6
new 48 hours12
new 7 days3214
new fortnight3395
new month3449

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2017 Dan Langille. All rights reserved.