Package Details: vera++ 1.3.0-1

Git Clone URL: https://aur.archlinux.org/vera++.git (read-only)
Package Base: vera++
Description: A programmable tool for verification, analysis and transformation of C++ source code
Upstream URL: https://bitbucket.org/verateam/vera
Keywords: analysis c++ checker
Licenses: custom:boost
Submitter: hatred
Maintainer: markand
Last Packager: markand
Votes: 3
Popularity: 0.000141
First Submitted: 2010-11-14 07:20
Last Updated: 2016-05-18 18:32

Latest Comments

markand commented on 2016-04-06 15:47

Would you mind updating it as luabind-git does not exist?

csmGemini commented on 2015-06-03 15:09

Vera++ does not compile in its 1.3.0 version with GCC 5.1 installed.

You need at least to apply this patch to it: https://bitbucket.org/verateam/vera/commits/79f899a98596bae7fa5af04decac15d0600c8cfa/raw/

You might also need to specify the LUA_INCLUDE_DIR CMake variable to point to /usr/include/lua5.1.

hatred commented on 2013-06-03 22:28

Updated to 1.2.0:
* removed downloading of boost: now it is not needed, we can use system-wide one
* added support for cmake
* removed strong checking for tcl version

Anonymous comment on 2013-01-10 11:39

However, I don’t get the tcl<8.6 dependency.

I installed it with tcl 8.6 and will let you know if I encounter any problem.

In order to install it, I did three modifications : 

— I removed the tcl<8.6 dependency ;
— I updated the boost version to 1.50 to match the one installed on the system, and thus updated the associated md5sum ,
— I updated the tcl lib name to tcl8.6 in order to match the current tcl installed version.

If this proves to work, could we think about update the package in order to simplify its installation ?

Without at least the TCL update, it actually can’t be installed with the current archlinux due to the contradiction of the tcl dependencies (tcl 8.4 can’t be installed alongside the current 8.6 version).

Anonymous comment on 2013-01-10 11:36

The boost download is required by the Vera compiling process, as it uses some of its .cpp files, which are not provided in the usual installed boost dependencies.

cra commented on 2012-03-07 15:46

WTF? Why need boost for that? Can't you put that in dependencies?