vera++ Tool for verification of C++ source code

1.3.0_21 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
👁 View this port on Repology.
👁 pkg-fallout
1.3.0_21Version of this port present on the latest quarterly branch.

Maintainer: cristianorolim@outlook.com 👁 search for ports maintained by this maintainer

Port Added: 2013-08-25 22:39:00

Last Update: 2026-02-12 09:50:15

Commit Hash: eda26a8

License: BSL

WWW:

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

Description:

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.

👁 Homepage
    👁 cgit
¦ 👁 Codeberg
¦ 👁 GitHub
¦ 👁 GitLab
¦ 👁 SVNWeb

Manual pages:

• vera++(1)

pkg-plist: as obtained via: make generate-plist

Expand this list (5 items)

Collapse this list.

1. bin/vera++
2. share/man/man1/vera++.1.gz
3. /usr/local/share/licenses/vera++-1.3.0_21/catalog.mk
4. /usr/local/share/licenses/vera++-1.3.0_21/LICENSE
5. /usr/local/share/licenses/vera++-1.3.0_21/BSL

Collapse this list.

USE_RC_SUBR (Service Scripts)

• no SUBR information found for this port

Dependency lines:

• vera++>0:devel/vera++

To install the port:

To add the package, run one of these commands:

NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.

PKGNAME: vera++

Flavors: there is no flavor information for this port.

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

---

Packages (timestamps in pop-ups are UTC):

vera++

ABI	aarch64	amd64	armv6	armv7	i386	powerpc	powerpc64	powerpc64le
FreeBSD:13:latest	1.3.0_21	1.3.0_21	-	-	1.3.0_21	n/a	n/a	n/a
FreeBSD:13:quarterly	-	1.3.0_21	-	-	-	n/a	n/a	n/a
FreeBSD:14:latest	1.3.0_21	1.3.0_21	-	-	1.3.0_21	-	-	-
FreeBSD:14:quarterly	1.3.0_21	1.3.0_21	-	-	1.3.0_21	-	1.3.0_19	-
FreeBSD:15:latest	1.3.0_21	1.3.0_21	n/a	-	n/a	n/a	1.3.0_19	1.3.0_21
FreeBSD:15:quarterly	1.3.0_21	1.3.0_21	n/a	-	n/a	n/a	-	-
FreeBSD:16:latest	1.3.0_21	1.3.0_21	n/a	-	n/a	n/a	-	-

Dependencies

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

Build dependencies:

1. cmake : devel/cmake-core
2. ninja : devel/ninja

Library dependencies:

1. libboost_filesystem.so : devel/boost-libs
2. libluabind.so : devel/luabind
3. libtk86.so : x11-toolkits/tk86
4. libtcl86.so : lang/tcl86
5. liblua-5.1.so : lang/lua51

There are no ports dependent upon this port

---

Configuration Options:

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

Options name:

devel_vera++

USES:

compiler:c++11-lang cmake tk lua:51

FreshPorts was unable to extract/find any pkg message

Master Sites:

Expand this list (1 items)

Collapse this list.

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

Collapse this list.

devel/vera++: unbreak build with recent Boost

With hat:	office/Boost

devel/vera++: Fix PORTREVISION

This port is currently marked BROKEN, but PORTREVISON was rolled
backwards in [1] when it was marked as such. Not my doing (this time),
just noticed this because chkversion.pl spams all perceived problems to
all "offenders". Spare the maintainer of this port from further daily
emails about something that they had nothing to do with.

[1]
https://cgit.freebsd.org/ports/commit/?id=3c6ea4acbd48a9232d6f05fdf2213ae5950cb144

devel/vera++: mark as BROKEN, fails to build with boost-1.85+

With hat:	office
Sponsored by:	Future Crew, LLC

devel/vera++: Moved man to share/man

Approved by: portmgr (blanket)

devel/boost: bump consumers after library update

devel/boost*: bump all consumers after 1.83.0

devel/vera++: Fix build with llvm16

- Pet portclippy

Approved by:	portmgr (blanket)
Sponsored by:	The FreeBSD Foundation

*/*: bump all direct Boost cunsumers

*/*:	bump libboost*.so libraries consumert after Boost upgrade

Remove WWW entries moved into port Makefiles

Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.

This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.

Approved by:		portmgr (tcberner)

Add WWW entries to port Makefiles

It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.

Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.

There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.

*/*: bump all consumers after recent boost upgrade

devel: remove 'Created by' lines

A big Thank You to the original contributors of these ports:

 * "Waitman Gobble" <uzimac@da3m0n8t3r.com>
 * <jkoshy@FreeBSD.org>
 * Aaron Dalton <aaron@FreeBSD.org>
 * Aaron Dalton <aaron@daltons.ca>
 * Aaron H. K. Diep <ahkdiep@gmail.com>
 * Aaron Hurt <ahurt@anbcs.com>
 * Abel Chow <abel_chow@yahoo.com>
 * Adam McLaurin
 * Adam Saponara <as@php.net>
 * Adam Weinberger <adamw@FreeBSD.org>
 * Ade Lovett <ade@FreeBSD.org>

Remove # $FreeBSD$ from Makefiles.

Drop optional dependency on python 2.7

devel/boost-*: update to 1.72.0

Changes:	http://www.boost.org/users/history/version_1_72_0.html
PR:		241449
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D22136

devel/boost-*: update to 1.71.0

Changes:	http://www.boost.org/users/history/version_1_71_0.html
PR:		238827
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D20774

Bump PORTREVISION for ports depending on the canonical version of GCC
as defined in Mk/bsd.default-versions.mk which has moved from GCC 8.3
to GCC 9.1 under most circumstances now after revision 507371.

This includes ports
 - with USE_GCC=yes or USE_GCC=any,
 - with USES=fortran,
 - using Mk/bsd.octave.mk which in turn features USES=fortran, and
 - with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
 c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, everything INDEX-11 shows with a dependency on lang/gcc9 now.

PR:		238330

devel/boost-*: update to 1.70.0

Changes:	http://www.boost.org/users/history/version_1_70_0.html
PR:		235956
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D19303

Change cmake default behaviour to outsource.

Ports that build out of source now simply can use "USES=cmake"
instead of "USES=cmake:outsource". Ports that fail to build
out of source now need to specify "USES=cmake:insource".

I tried to only set insource where explictely needed.

PR:		232038
Exp-run by:	antoine

This port needs USES=compiler:c++11-lang to fix build on GCC-based
architectures.

PR:		234119
Submitted by:	Piotr Kubaj
Approved by:	portmgr (tier-2 blanket)

devel/boost-*: update to 1.69.0

Changes:	http://www.boost.org/users/history/version_1_69_0.html
PR:		232525
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D17645

devel/boost-*: update to 1.68.0

- Switch to C++14 for libboost_system to support C++14 consumers

Changes:	http://www.boost.org/users/history/version_1_68_0.html
PR:		229569
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D16165

vera++ is not compatible with python3

devel/boost-*: update to 1.67.0

Changes:	http://www.boost.org/users/history/version_1_67_0.html
PR:		227427
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D15030

Fix dependencies when PYTHON is on

devel/boost-python-libs got forgotten in the python flavorization, fix
this oversight.

Reviewed by:	antoine
Sponsored by:	Absolight
Differential Revision:	https://reviews.freebsd.org/D14368

devel/boost-*: update to 1.66.0

Changes:	http://www.boost.org/users/history/version_1_66_0.html
PR:		223922
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D13279

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

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

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

These ports now build on powerpc64.

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

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)

many ports: mark broken on powerpc64

Remove ${PORTSDIR}/ from dependencies, categories d, e, f, and g.

With hat:	portmgr
Sponsored by:	Absolight

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

- 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)

Cleanup plist

- Convert to USES=tk

- Stage support

Part 1 at removing now useless FETCH_ARGS redifition

Add NO_STAGE all over the place in preparation for the staging support (cat:
devel part 4)

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>

20 vulnerabilities affecting 360 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities

Last processed:
2026-04-11 08:28:37 UTC