Package Details: vera++ 1.3.0-2

Git Clone URL: https://aur.archlinux.org/vera++.git (read-only, click to copy)
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: 4
Popularity: 0.000000
First Submitted: 2010-11-14 07:20 (UTC)
Last Updated: 2017-05-30 18:09 (UTC)

Latest Comments

carlosal1015 commented on 2022-04-19 13:43 (UTC)

Hi, I have the following message error

In file included from /usr/include/boost/smart_ptr/detail/sp_thread_sleep.hpp:22,
                 from /usr/include/boost/smart_ptr/detail/yield_k.hpp:23,
                 from /usr/include/boost/smart_ptr/detail/spinlock_gcc_atomic.hpp:14,
                 from /usr/include/boost/smart_ptr/detail/spinlock.hpp:42,
                 from /usr/include/boost/smart_ptr/detail/spinlock_pool.hpp:25,
                 from /usr/include/boost/smart_ptr/shared_ptr.hpp:29,
                 from /usr/include/boost/shared_ptr.hpp:17,
                 from /tmp/makepkg/vera++/src/vera++-1.3.0/src/plugins/tcl/cpptcl-1.1.4/cpptcl.h:19,
                 from /tmp/makepkg/vera++/src/vera++-1.3.0/src/plugins/Profiles.cpp:10:
/usr/include/boost/bind.hpp:36:1: note: ‘#pragma message: The practice of declaring the Bind placeholders (_1, _2, ...) in the global namespace is deprecated. Please use <boost/bind/bind.hpp> + using namespace boost::placeholders, or define BOOST_BIND_GLOBAL_PLACEHOLDERS to retain the current behavior.’
   36 | BOOST_PRAGMA_MESSAGE(
      | ^~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/boost/smart_ptr/detail/sp_thread_sleep.hpp:22,
                 from /usr/include/boost/smart_ptr/detail/yield_k.hpp:23,
                 from /usr/include/boost/smart_ptr/detail/spinlock_gcc_atomic.hpp:14,
                 from /usr/include/boost/smart_ptr/detail/spinlock.hpp:42,
                 from /usr/include/boost/smart_ptr/detail/spinlock_pool.hpp:25,
                 from /usr/include/boost/smart_ptr/shared_ptr.hpp:29,
                 from /usr/include/boost/shared_ptr.hpp:17,
                 from /tmp/makepkg/vera++/src/vera++-1.3.0/src/plugins/tcl/cpptcl-1.1.4/cpptcl.h:19,
                 from /tmp/makepkg/vera++/src/vera++-1.3.0/src/plugins/tcl/cpptcl-1.1.4/cpptcl.cpp:10:
/usr/include/boost/bind.hpp:36:1: note: ‘#pragma message: The practice of declaring the Bind placeholders (_1, _2, ...) in the global namespace is deprecated. Please use <boost/bind/bind.hpp> + using namespace boost::placeholders, or define BOOST_BIND_GLOBAL_PLACEHOLDERS to retain the current behavior.’
   36 | BOOST_PRAGMA_MESSAGE(
      | ^~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/boost/smart_ptr/detail/sp_thread_sleep.hpp:22,
                 from /usr/include/boost/smart_ptr/detail/yield_k.hpp:23,
                 from /usr/include/boost/smart_ptr/detail/spinlock_gcc_atomic.hpp:14,
                 from /usr/include/boost/smart_ptr/detail/spinlock.hpp:42,
                 from /usr/include/boost/smart_ptr/detail/spinlock_pool.hpp:25,
                 from /usr/include/boost/smart_ptr/shared_ptr.hpp:29,
                 from /usr/include/boost/shared_ptr.hpp:17,
                 from /tmp/makepkg/vera++/src/vera++-1.3.0/src/plugins/tcl/cpptcl-1.1.4/cpptcl.h:19,
                 from /tmp/makepkg/vera++/src/vera++-1.3.0/src/plugins/tcl/TclInterpreter.cpp:15:
/usr/include/boost/bind.hpp:36:1: note: ‘#pragma message: The practice of declaring the Bind placeholders (_1, _2, ...) in the global namespace is deprecated. Please use <boost/bind/bind.hpp> + using namespace boost::placeholders, or define BOOST_BIND_GLOBAL_PLACEHOLDERS to retain the current behavior.’
   36 | BOOST_PRAGMA_MESSAGE(
      | ^~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/boost/smart_ptr/detail/sp_thread_sleep.hpp:22,
                 from /usr/include/boost/smart_ptr/detail/yield_k.hpp:23,
                 from /usr/include/boost/smart_ptr/detail/spinlock_gcc_atomic.hpp:14,
                 from /usr/include/boost/smart_ptr/detail/spinlock.hpp:42,
                 from /usr/include/boost/smart_ptr/detail/spinlock_pool.hpp:25,
                 from /usr/include/boost/smart_ptr/shared_ptr.hpp:29,
                 from /usr/include/boost/shared_ptr.hpp:17,
                 from /tmp/makepkg/vera++/src/vera++-1.3.0/src/plugins/tcl/cpptcl-1.1.4/cpptcl.h:19,
                 from /tmp/makepkg/vera++/src/vera++-1.3.0/src/plugins/Exclusions.cpp:11:
/usr/include/boost/bind.hpp:36:1: note: ‘#pragma message: The practice of declaring the Bind placeholders (_1, _2, ...) in the global namespace is deprecated. Please use <boost/bind/bind.hpp> + using namespace boost::placeholders, or define BOOST_BIND_GLOBAL_PLACEHOLDERS to retain the current behavior.’
   36 | BOOST_PRAGMA_MESSAGE(
      | ^~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/boost/wave/wave_config.hpp:17,
                 from /usr/include/boost/wave.hpp:16,
                 from /tmp/makepkg/vera++/src/vera++-1.3.0/src/structures/Tokens.cpp:11:
/usr/include/boost/bind.hpp:36:1: note: ‘#pragma message: The practice of declaring the Bind placeholders (_1, _2, ...) in the global namespace is deprecated. Please use <boost/bind/bind.hpp> + using namespace boost::placeholders, or define BOOST_BIND_GLOBAL_PLACEHOLDERS to retain the current behavior.’
   36 | BOOST_PRAGMA_MESSAGE(
      | ^~~~~~~~~~~~~~~~~~~~
/tmp/makepkg/vera++/src/vera++-1.3.0/src/plugins/python/PythonInterpreter.cpp: In static member function ‘static void Vera::Plugins::PythonInterpreter::execute(const string&)’:
/tmp/makepkg/vera++/src/vera++-1.3.0/src/plugins/python/PythonInterpreter.cpp:136:40: error: ‘initvera’ was not declared in this scope; did you mean ‘PyInit_vera’?
  136 |         PyImport_AppendInittab("vera", initvera);
      |                                        ^~~~~~~~
      |                                        PyInit_vera
make[2]: *** [src/CMakeFiles/vera.dir/build.make:272: src/CMakeFiles/vera.dir/plugins/python/PythonInterpreter.cpp.o] Error 1
make[2]: *** Waiting for unfinished jobs....
In file included from /usr/include/c++/11.2.0/x86_64-pc-linux-gnu/bits/c++allocator.h:33,
                 from /usr/include/c++/11.2.0/bits/allocator.h:46,
                 from /usr/include/c++/11.2.0/string:41,
                 from /tmp/makepkg/vera++/src/vera++-1.3.0/src/structures/SourceFiles.h:11,
                 from /tmp/makepkg/vera++/src/vera++-1.3.0/src/structures/Tokens.h:11,
                 from /tmp/makepkg/vera++/src/vera++-1.3.0/src/structures/Tokens.cpp:8:
In member function ‘void __gnu_cxx::new_allocator<_Tp>::deallocate(_Tp*, __gnu_cxx::new_allocator<_Tp>::size_type) [with _Tp = char]’,
    inlined from ‘void boost::allocator_deallocate(A&, typename boost::allocator_pointer<A>::type, typename boost::allocator_size_type<A>::type) [with A = std::allocator<char>]’ at /usr/include/boost/core/allocator_access.hpp:290:17,
    inlined from ‘void boost::wave::util::AllocatorStringStorage<E, A>::Free(void*, boost::wave::util::AllocatorStringStorage<E, A>::size_type) [with E = char; A = std::allocator<char>]’ at /usr/include/boost/wave/util/flex_string.hpp:543:36,
    inlined from ‘boost::wave::util::AllocatorStringStorage<E, A>::~AllocatorStringStorage() [with E = char; A = std::allocator<char>]’ at /usr/include/boost/wave/util/flex_string.hpp:625:17,
    inlined from ‘void boost::wave::util::AllocatorStringStorage<E, A>::reserve(boost::wave::util::AllocatorStringStorage<E, A>::size_type) [with E = char; A = std::allocator<char>]’ at /usr/include/boost/wave/util/flex_string.hpp:679:5,
    inlined from ‘boost::wave::util::CowString<Storage, Align>::CowString(const E*, boost::wave::util::CowString<Storage, Align>::size_type, const allocator_type&) [with Storage = boost::wave::util::AllocatorStringStorage<char>; Align = char*]’ at /usr/include/boost/wave/util/flex_string.hpp:1260:23,
    inlined from ‘boost::wave::util::flex_string<E, T, A, Storage>::flex_string(const value_type*, const A&) [with E = char; T = std::char_traits<char>; A = std::allocator<char>; Storage = boost::wave::util::CowString<boost::wave::util::AllocatorStringStorage<char> >]’ at /usr/include/boost/wave/util/flex_string.hpp:1482:43,
    inlined from ‘static void Vera::Structures::Tokens::parse(const FileName&, const FileContent&)’ at /tmp/makepkg/vera++/src/vera++-1.3.0/src/structures/Tokens.cpp:374:49:
/usr/include/c++/11.2.0/ext/new_allocator.h:145:26: warning: ‘void operator delete(void*, std::size_t)’ called on unallocated object ‘boost::wave::util::SimpleStringStorage<char, std::allocator<char> >::emptyString_’ [-Wfree-nonheap-object]
  145 |         ::operator delete(__p
      |         ~~~~~~~~~~~~~~~~~^~~~
  146 | #if __cpp_sized_deallocation
      | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  147 |                           , __t * sizeof(_Tp)
      |                           ~~~~~~~~~~~~~~~~~~~
  148 | #endif
      | ~~~~~~                    
  149 |                          );
      |                          ~
In file included from /usr/include/boost/wave/wave_config.hpp:278,
                 from /usr/include/boost/wave.hpp:16,
                 from /tmp/makepkg/vera++/src/vera++-1.3.0/src/structures/Tokens.cpp:11:
/usr/include/boost/wave/util/flex_string.hpp: In static member function ‘static void Vera::Structures::Tokens::parse(const FileName&, const FileContent&)’:
/usr/include/boost/wave/util/flex_string.hpp:512:1: note: declared here
  512 | SimpleStringStorage<E, A>::emptyString_ =
      | ^~~~~~~~~~~~~~~~~~~~~~~~~
make[1]: *** [CMakeFiles/Makefile2:998: src/CMakeFiles/vera.dir/all] Error 2
make: *** [Makefile:166: all] Error 2
==> ERROR: A failure occurred in build().
    Aborting...

markand commented on 2016-04-06 15:47 (UTC)

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

csmGemini commented on 2015-06-03 15:09 (UTC)

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

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

commented on 2013-01-10 11:39 (UTC)

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

commented on 2013-01-10 11:36 (UTC)

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

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