Port details |
- vera++ Tool for verification of C++ source code
- 1.3.0_21 devel =2 1.3.0_21Version of this port present on the latest quarterly branch.
- BROKEN: fails to build with boost-1.85+
IGNORE: is marked as broken: fails to build with boost-1.85+
- Maintainer: cristianorolim@outlook.com
- Port Added: 2013-08-25 22:39:00
- Last Update: 2024-11-03 06:34:05
- Commit Hash: 9c75484
- People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py39-PyOpenGL, p5-Sane
- 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
- We doubt a package is available for this port because we see it marked as as:
-
Packages are normally not provided for ports that are marked as above.
- 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:
|
Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
Commit | Credits | Log message |
1.3.0_21 03 Nov 2024 06:34:05 |
Jason E. Hale (jhale) |
devel/vera++: Fix PORTREVISION
This port is currently marked BROKEN, but PORTREVISON was rolled
backwards in [1] when it was marked as such. Not my doing (this time),
just noticed this because chkversion.pl spams all perceived problems to
all "offenders". Spare the maintainer of this port from further daily
emails about something that they had nothing to do with.
[1]
https://cgit.freebsd.org/ports/commit/?id=3c6ea4acbd48a9232d6f05fdf2213ae5950cb144 |
1.3.0_20 03 Oct 2024 10:25:13 |
Dima Panov (fluffy) |
devel/vera++: mark as BROKEN, fails to build with boost-1.85+
With hat: office
Sponsored by: Future Crew, LLC |
1.3.0_21 23 Feb 2024 15:05:42 |
Muhammad Moinur Rahman (bofh) |
devel/vera++: Moved man to share/man
Approved by: portmgr (blanket) |
1.3.0_20 13 Feb 2024 14:44:22 |
Dima Panov (fluffy) |
devel/boost: bump consumers after library update |
1.3.0_19 27 Sep 2023 14:36:30 |
Dima Panov (fluffy) |
devel/boost*: bump all consumers after 1.83.0 |
1.3.0_18 25 Jul 2023 08:36:26 |
Muhammad Moinur Rahman (bofh) |
devel/vera++: Fix build with llvm16
- Pet portclippy
Approved by: portmgr (blanket)
Sponsored by: The FreeBSD Foundation |
1.3.0_18 27 Apr 2023 18:25:55 |
Dima Panov (fluffy) |
*/*: bump all direct Boost cunsumers |
1.3.0_17 16 Jan 2023 19:32:07 |
Dima Panov (fluffy) |
*/*: bump libboost*.so libraries consumert after Boost upgrade |
07 Sep 2022 21:58:51 |
Stefan Eßer (se) |
Remove WWW entries moved into port Makefiles
Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner) |
1.3.0_16 07 Sep 2022 21:10:59 |
Stefan Eßer (se) |
Add WWW entries to port Makefiles
It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.
Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.
There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above ) |
1.3.0_16 12 Aug 2022 14:46:53 |
Dima Panov (fluffy) |
*/*: bump all consumers after recent boost upgrade |
1.3.0_15 20 Jul 2022 14:21:35 |
Tobias C. Berner (tcberner) |
devel: remove 'Created by' lines
A big Thank You to the original contributors of these ports:
* "Waitman Gobble" <uzimac@da3m0n8t3r.com>
* <jkoshy@FreeBSD.org>
* Aaron Dalton <aaron@FreeBSD.org>
* Aaron Dalton <aaron@daltons.ca>
* Aaron H. K. Diep <ahkdiep@gmail.com>
* Aaron Hurt <ahurt@anbcs.com>
* Abel Chow <abel_chow@yahoo.com>
* Adam McLaurin
* Adam Saponara <as@php.net>
* Adam Weinberger <adamw@FreeBSD.org>
* Ade Lovett <ade@FreeBSD.org> (Only the first 15 lines of the commit message are shown above ) |
1.3.0_15 06 Apr 2021 14:31:07 |
Mathieu Arnold (mat) |
Remove # $FreeBSD$ from Makefiles. |
1.3.0_15 29 Dec 2020 22:12:04 |
antoine |
Drop optional dependency on python 2.7 |
1.3.0_14 11 Dec 2019 17:53:49 |
jbeich |
devel/boost-*: update to 1.72.0
Changes: http://www.boost.org/users/history/version_1_72_0.html
PR: 241449
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D22136 |
1.3.0_13 19 Aug 2019 15:35:28 |
jbeich |
devel/boost-*: update to 1.71.0
Changes: http://www.boost.org/users/history/version_1_71_0.html
PR: 238827
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D20774 |
1.3.0_12 26 Jul 2019 20:46:57 |
gerald |
Bump PORTREVISION for ports depending on the canonical version of GCC
as defined in Mk/bsd.default-versions.mk which has moved from GCC 8.3
to GCC 9.1 under most circumstances now after revision 507371.
This includes ports
- with USE_GCC=yes or USE_GCC=any,
- with USES=fortran,
- using Mk/bsd.octave.mk which in turn features USES=fortran, and
- with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, everything INDEX-11 shows with a dependency on lang/gcc9 now.
PR: 238330 |
1.3.0_11 12 Apr 2019 06:36:31 |
jbeich |
devel/boost-*: update to 1.70.0
Changes: http://www.boost.org/users/history/version_1_70_0.html
PR: 235956
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D19303 |
1.3.0_10 25 Dec 2018 20:25:40 |
tcberner |
Change cmake default behaviour to outsource.
Ports that build out of source now simply can use "USES=cmake"
instead of "USES=cmake:outsource". Ports that fail to build
out of source now need to specify "USES=cmake:insource".
I tried to only set insource where explictely needed.
PR: 232038
Exp-run by: antoine |
1.3.0_10 20 Dec 2018 07:55:58 |
linimon |
This port needs USES=compiler:c++11-lang to fix build on GCC-based
architectures.
PR: 234119
Submitted by: Piotr Kubaj
Approved by: portmgr (tier-2 blanket) |
1.3.0_10 12 Dec 2018 00:15:50 |
jbeich |
devel/boost-*: update to 1.69.0
Changes: http://www.boost.org/users/history/version_1_69_0.html
PR: 232525
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D17645 |
1.3.0_9 09 Aug 2018 06:58:31 |
jbeich |
devel/boost-*: update to 1.68.0
- Switch to C++14 for libboost_system to support C++14 consumers
Changes: http://www.boost.org/users/history/version_1_68_0.html
PR: 229569
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D16165 |
1.3.0_8 27 May 2018 11:30:06 |
antoine |
vera++ is not compatible with python3 |
1.3.0_8 18 Apr 2018 13:57:43 |
jbeich |
devel/boost-*: update to 1.67.0
Changes: http://www.boost.org/users/history/version_1_67_0.html
PR: 227427
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D15030 |
1.3.0_7 22 Feb 2018 19:53:16 |
antoine |
Fix dependencies when PYTHON is on |
1.3.0_6 15 Feb 2018 12:34:50 |
mat |
devel/boost-python-libs got forgotten in the python flavorization, fix
this oversight.
Reviewed by: antoine
Sponsored by: Absolight
Differential Revision: https://reviews.freebsd.org/D14368 |
1.3.0_6 18 Jan 2018 04:11:03 |
jbeich |
devel/boost-*: update to 1.66.0
Changes: http://www.boost.org/users/history/version_1_66_0.html
PR: 223922
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D13279 |
1.3.0_5 25 Sep 2017 00:08:17 |
jbeich |
devel/boost-*: update to 1.65.1
Changes: http://www.boost.org/users/history/version_1_65_1.html
PR: 218835
Approved by: maintainer timeout (1.65.1: 2 weeks; 1.65.0: 1 month)
Tested by: jhibbits (on powerpc64, earlier version)
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D11582 |
1.3.0_4 25 Sep 2017 00:05:06 |
jbeich |
devel/boost-*: enable C++11 features
PR: 218835
Obtained from: https://github.com/DragonFlyBSD/DeltaPorts/pull/690
Approved by: maintainer timeout (2 months)
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D11582 |
1.3.0_3 02 May 2017 06:48:11 |
jbeich |
devel/boost-*: update to 1.64.0
Changes: http://www.boost.org/users/history/version_1_64_0.html
PR: 218835
Approved by: office (bapt)
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D10472 |
1.3.0_2 28 Apr 2017 01:32:32 |
linimon |
These ports now build on powerpc64. |
1.3.0_2 06 Jan 2017 08:45:04 |
jbeich |
devel/boost-*: update to 1.63.0
Changes: http://www.boost.org/users/history/version_1_63_0.html
PR: 215598
Exp-run by: antoine
Approved by: office (bapt)
MFH: 2017Q1 |
1.3.0_1 23 Nov 2016 12:45:47 |
jbeich |
devel/boost-*: update to 1.62.0
- Enable `long double` C99 math usage
- Switch 9.x back to building with GCC
Changes: http://www.boost.org/users/history/
PR: 199601
Submitted by: Chen Xu, bapt, amdmi3, truckman (based on)
Reviewed by: rakuco (kde) (earlier version)
Exp-run by: antoine (3 tries), truckman (consumers only, earlier versions)
Approved by: bapt (office) |
1.3.0 21 Apr 2016 16:43:15 |
swills |
many ports: mark broken on powerpc64 |
1.3.0 01 Apr 2016 14:00:57 |
mat |
Remove ${PORTSDIR}/ from dependencies, categories d, e, f, and g.
With hat: portmgr
Sponsored by: Absolight |
1.3.0 11 May 2015 18:34:58 |
mat |
Cleanup DIST* variables.
When appropriate:
- Try to use DISTVERSION{SUF,PRE}FIX
- Replace PORTNAME-PORTVERSION by DISTNAME
- Convert MASTER_SITES to use macros
- Other light cleanup
With hat: portmgr
Sponsored by: Absolight |
1.3.0 01 May 2015 18:46:54 |
riggs |
- Update to upstream version 1.3.0
- Retire pkg-plist in favor of PLIST_FILES entries
PR: 199609
Submitted by: lightside@gmx.com
Reviewed by: cristianorolim@outlook.com (maintainer) |
1.2.1 27 Oct 2014 11:09:47 |
bapt |
Cleanup plist |
1.2.1 17 Feb 2014 15:18:05 |
gahr |
- Convert to USES=tk |
1.2.1 17 Feb 2014 06:56:09 |
miwi |
- Stage support |
1.2.1 03 Jan 2014 00:46:47 |
bapt |
Part 1 at removing now useless FETCH_ARGS redifition |
1.2.1 20 Sep 2013 17:17:45 |
bapt |
Add NO_STAGE all over the place in preparation for the staging support (cat:
devel part 4) |
1.2.1 25 Aug 2013 22:38:48 |
rakuco |
Add devel/vera++.
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
PR: ports/181245
Submitted by: Cristiano Rolim Pereira <cristianorolim@outlook.com> |