Port details on branch 2022Q3 |
- vera++ Tool for verification of C++ source code
- 1.3.0_21 devel =0 1.3.0_21Version of this port present on the latest quarterly branch.
- Maintainer: cristianorolim@outlook.com
- Port Added: 2013-08-25 22:39:00
- Last Update: 2024-02-23 15:05:42
- Commit Hash: 3d23ab3
- 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.
- ¦ ¦ ¦ ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/devel/vera++/ && make install clean
- To add the package, run one of these commands:
- pkg install devel/vera++
- pkg install vera++
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):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- boost-libs>=0 : devel/boost-libs
- cmake : devel/cmake-core
- ninja : devel/ninja
- Library dependencies:
-
- libluabind.so : devel/luabind
- libtk86.so : x11-toolkits/tk86
- 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_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
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|