BSD Ports

devel/vera++ 1.3.0_23 FreeBSD

Tool for verification of C++ source code

System
FreeBSD
Repository
FreeBSD ports
Maintainer
[email protected]
Last update
Commit
97a84ef467
License
BSL
Categories
devel

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.

In the other systems

SystemPortVersion
FreeBSDdevel/vera++1.3.0_23
DragonFlydevel/vera++1.3.0_21

Install

Binary package:

pkg install vera++

From the ports tree:

cd /usr/ports/devel/vera++/ && make install clean

To depend on this port in another port's Makefile:

RUN_DEPENDS=	vera++>0:devel/vera++

Packages

The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.

Repositoryaarch64amd64armv6armv7i386
FreeBSD:14:latest-----
FreeBSD:14:quarterly--n/a--
FreeBSD:15:latest--n/a--
FreeBSD:15:quarterly--n/an/an/a
FreeBSD:16:latest--n/an/an/a
FreeBSD:16:quarterlyn/an/an/an/an/a

Dependencies

As this port's Makefile names them.

Library 1

The full lists below include those, and their dependencies in turn.

Build dependencies 38
Run dependencies 30

No port depends on this one.

Configuration

Options name: devel_vera++

OptionDefaultDescription
DOCSoffBuild and/or install documentation
LUAonLua scripting language support
USES
compiler:c++11-lang cmake tk
Service scripts
none

Files

distinfo 2
FileSizeSHA256
vera++-1.3.0.tar.gz906909415657a09438353489db10ca860dd6459e446cfd9c649a1a2e02268da66f270
vera++-1.3.0-doc.tar.gz31141122a15e33a54265d62a6894974ca2f0a8f6ff98742cf8e6152d310cc23099400
Master sites 1
  • https://bitbucket.org/verateam/vera/downloads/

Commit history 2

DateCommitCreditsLog message
97a84ef467 Dima Panov */*: update boost consumers after boost-1.92
213840c151 Dima Panov */*: bump consumers after devel/boost update