vera++-1.3.0_13.txz


Advertisement

Description

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

Property Value
Distribution FreeBSD 11
Repository FreeBSD Ports Latest amd64
Package filename vera++-1.3.0_13.txz
Package name vera++
Package version 1.3.0
Package release 13
Package architecture amd64
Package type txz
Category devel
Homepage https://bitbucket.org/verateam/vera/wiki/Home
License BSL
Maintainer cristianorolim@outlook.com
Download size 234.04 KB
Installed size 808.71 KB
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
Options:
- DOCS: on
- LUA: on
- PYTHON: on

Alternatives

Package Version Architecture Repository
vera++-1.3.0_13.txz 1.3.0 i386 FreeBSD Ports Latest
vera++-1.3.0_13.txz 1.3.0 i386 FreeBSD Ports Quarterly
vera++-1.3.0_13.txz 1.3.0 amd64 FreeBSD Ports Quarterly
vera++ - - -

Requires

Name Value
libboost_atomic.so.1.71.0 -
libboost_chrono.so.1.71.0 -
libboost_date_time.so.1.71.0 -
libboost_filesystem.so.1.71.0 -
libboost_program_options.so.1.71.0 -
libboost_python27.so.1.71.0 -
libboost_regex.so.1.71.0 -
libboost_serialization.so.1.71.0 -
libboost_system.so.1.71.0 -
libboost_thread.so.1.71.0 -
libboost_wave.so.1.71.0 -
liblua-5.1.so -
libluabind.so -
libpython2.7.so.1 -
libtcl86.so.1 -
luabind = 0.9.1_15
py27-boost-libs = 1.71.0
python27 = 2.7.16_1
tcl86 = 8.6.9_1
tk86 = 8.6.9_1

Download

Type URL
Mirror pkg.freebsd.org
Binary Package vera++-1.3.0_13.txz
Source Package devel/vera++

Install Howto

Install vera++ txz package:

# pkg install vera++

See Also

Package Description
vera-1.22_1.txz Virtual Entity of Relevant Acronyms
veracrypt-1.23_4.txz Open-source disk encryption software based on Truecrypt
verilator-4.008_2.txz Synthesizable Verilog to C++ compiler
verilog-mode.el-emacs26-801_7.txz Emacs lisp modules for the Verilog language
verilog-mode.el-emacs26_canna-801_7.txz Emacs lisp modules for the Verilog language
verilog-mode.el-emacs26_nox-801_7.txz Emacs lisp modules for the Verilog language
verilog-mode.el-emacs27-801_7.txz Emacs lisp modules for the Verilog language
verilog-mode.el-emacs27_nox-801_7.txz Emacs lisp modules for the Verilog language
vertx-2.1.1.txz Effortless asynchronous application development for the modern web
vether-kmod-g20190422.txz Virtual Ethernet Interface
vexcl-1.4.1_4.txz C++ vector expression template library for OpenCL/CUDA
vexim-2.3_1.txz Web interface for managing virtual domains for exim
vfront-0.96.c_2.txz Simple frontend for database data entry
vgb-bin-3.0_5,1.txz Nintendo GameBoy(tm) emulator (closed binary version of vgb)
vgmplay-0.40.9_1.txz Command-line player for VGM (video game music) files
Advertisement
Advertisement