From owner-freebsd-ports-bugs@FreeBSD.ORG Tue Aug 13 02:00:01 2013 Return-Path: Delivered-To: freebsd-ports-bugs@smarthost.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [8.8.178.115]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTP id 2B67A8FE for ; Tue, 13 Aug 2013 02:00:01 +0000 (UTC) (envelope-from gnats@FreeBSD.org) Received: from freefall.freebsd.org (freefall.freebsd.org [IPv6:2001:1900:2254:206c::16:87]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mx1.freebsd.org (Postfix) with ESMTPS id 0B0EB2C4C for ; Tue, 13 Aug 2013 02:00:01 +0000 (UTC) Received: from freefall.freebsd.org (localhost [127.0.0.1]) by freefall.freebsd.org (8.14.7/8.14.7) with ESMTP id r7D200jl069508 for ; Tue, 13 Aug 2013 02:00:00 GMT (envelope-from gnats@freefall.freebsd.org) Received: (from gnats@localhost) by freefall.freebsd.org (8.14.7/8.14.7/Submit) id r7D200Hu069504; Tue, 13 Aug 2013 02:00:00 GMT (envelope-from gnats) Resent-Date: Tue, 13 Aug 2013 02:00:00 GMT Resent-Message-Id: <201308130200.r7D200Hu069504@freefall.freebsd.org> Resent-From: FreeBSD-gnats-submit@FreeBSD.org (GNATS Filer) Resent-To: freebsd-ports-bugs@FreeBSD.org Resent-Reply-To: FreeBSD-gnats-submit@FreeBSD.org, Cristiano Rolim Pereira Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTP id 240CE8E3 for ; Tue, 13 Aug 2013 01:58:55 +0000 (UTC) (envelope-from nobody@FreeBSD.org) Received: from oldred.freebsd.org (oldred.freebsd.org [8.8.178.121]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by mx1.freebsd.org (Postfix) with ESMTPS id 11A442C41 for ; Tue, 13 Aug 2013 01:58:55 +0000 (UTC) Received: from oldred.freebsd.org ([127.0.1.6]) by oldred.freebsd.org (8.14.5/8.14.7) with ESMTP id r7D1wsGB035434 for ; Tue, 13 Aug 2013 01:58:54 GMT (envelope-from nobody@oldred.freebsd.org) Received: (from nobody@localhost) by oldred.freebsd.org (8.14.5/8.14.5/Submit) id r7D1wsYK035433; Tue, 13 Aug 2013 01:58:54 GMT (envelope-from nobody) Message-Id: <201308130158.r7D1wsYK035433@oldred.freebsd.org> Date: Tue, 13 Aug 2013 01:58:54 GMT From: Cristiano Rolim Pereira To: freebsd-gnats-submit@FreeBSD.org X-Send-Pr-Version: www-3.1 Subject: ports/181245: New port: devel/vera++ Tool for verification of C++ source code X-BeenThere: freebsd-ports-bugs@freebsd.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: Ports bug reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 13 Aug 2013 02:00:01 -0000 >Number: 181245 >Category: ports >Synopsis: New port: devel/vera++ Tool for verification of C++ source code >Confidential: no >Severity: non-critical >Priority: low >Responsible: freebsd-ports-bugs >State: open >Quarter: >Keywords: >Date-Required: >Class: change-request >Submitter-Id: current-users >Arrival-Date: Tue Aug 13 02:00:00 UTC 2013 >Closed-Date: >Last-Modified: >Originator: Cristiano Rolim Pereira >Release: 9.1 RELEASE >Organization: >Environment: >Description: New port for 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. https://bitbucket.org/verateam/vera/wiki/Home Attached, there is a shell archive of a port for vera++. >How-To-Repeat: >Fix: Patch attached with submission follows: # This is a shell archive. Save it in a file, remove anything before # this line, and then unpack it by entering "sh file". Note, it may # create directories; files and directories will be owned by you and # have default permissions. # # This archive contains: # # vera++ # vera++/pkg-descr # vera++/Makefile # vera++/distinfo # vera++/pkg-plist # echo c - vera++ mkdir -p vera++ > /dev/null 2>&1 echo x - vera++/pkg-descr sed 's/^X//' >vera++/pkg-descr << '93a0267582c196010bb2401501823b09' XVera++ is a programmable tool for verification, analysis and transformation Xof C++ source code. Vera++ is mainly an engine that parses C++ source files Xand presents the result of this parsing to scripts in the form of various Xcollections - the scripts are actually performing the requested tasks. X XWWW: https://bitbucket.org/verateam/vera/wiki/Home 93a0267582c196010bb2401501823b09 echo x - vera++/Makefile sed 's/^X//' >vera++/Makefile << 'b1a96edb1a65290049f30b522faf3f00' X# Created by: Cristiano Rolim Pereira X# $FreeBSD$ X XPORTNAME= vera++ XPORTVERSION= 1.2.1 XCATEGORIES= devel XMASTER_SITES= https://bitbucket.org/verateam/vera/downloads/ XDISTFILES= ${PORTNAME}-${PORTVERSION}.tar.gz \ X ${PORTNAME}-${PORTVERSION}-doc.tar.gz X XMAINTAINER= cristianorolim@outlook.com XCOMMENT= Tool for verification of C++ source code X XBUILD_DEPENDS= boost-libs>=0:${PORTSDIR}/devel/boost-libs X XUSE_TCL= yes XUSE_TK= yes XUSES= cmake:outsource X XFETCH_ARGS= -pRr X XCMAKE_ARGS+= -DTCL_INCLUDE_PATH=${TCL_INCLUDEDIR} \ X -DTK_INCLUDE_PATH=${TK_INCLUDEDIR} X XMAN1= vera++.1 X Xpost-install: X ${INSTALL_MAN} ${WRKDIR}/vera++.1 ${PREFIX}/man/man1 X X.include b1a96edb1a65290049f30b522faf3f00 echo x - vera++/distinfo sed 's/^X//' >vera++/distinfo << 'a85ad9d1a5650f38f6a43da7be1b565f' XSHA256 (vera++-1.2.1.tar.gz) = 99b123c8f6d0f4fe9ee90397c461179066a36ed0d598d95e015baf2d3b56956b XSIZE (vera++-1.2.1.tar.gz) = 72539 XSHA256 (vera++-1.2.1-doc.tar.gz) = 0b3a94ce19812dac8726df5c6913dd5792ac28f0b38646c73ec4f9e2a5db0a1a XSIZE (vera++-1.2.1-doc.tar.gz) = 29219 a85ad9d1a5650f38f6a43da7be1b565f echo x - vera++/pkg-plist sed 's/^X//' >vera++/pkg-plist << '7c1e313f1b4fd3156ae19b653b55e35d' Xbin/vera++ Xlib/vera++/profiles/boost Xlib/vera++/profiles/default Xlib/vera++/profiles/full Xlib/vera++/scripts/rules/DUMP.tcl Xlib/vera++/scripts/rules/F001.tcl Xlib/vera++/scripts/rules/F002.tcl Xlib/vera++/scripts/rules/L001.tcl Xlib/vera++/scripts/rules/L002.tcl Xlib/vera++/scripts/rules/L003.tcl Xlib/vera++/scripts/rules/L004.tcl Xlib/vera++/scripts/rules/L005.tcl Xlib/vera++/scripts/rules/L006.tcl Xlib/vera++/scripts/rules/T001.tcl Xlib/vera++/scripts/rules/T002.tcl Xlib/vera++/scripts/rules/T003.tcl Xlib/vera++/scripts/rules/T004.tcl Xlib/vera++/scripts/rules/T005.tcl Xlib/vera++/scripts/rules/T006.tcl Xlib/vera++/scripts/rules/T007.tcl Xlib/vera++/scripts/rules/T008.tcl Xlib/vera++/scripts/rules/T009.tcl Xlib/vera++/scripts/rules/T010.tcl Xlib/vera++/scripts/rules/T011.tcl Xlib/vera++/scripts/rules/T012.tcl Xlib/vera++/scripts/rules/T013.tcl Xlib/vera++/scripts/rules/T014.tcl Xlib/vera++/scripts/rules/T015.tcl Xlib/vera++/scripts/rules/T016.tcl Xlib/vera++/scripts/rules/T017.tcl Xlib/vera++/scripts/rules/T018.tcl Xlib/vera++/scripts/rules/T019.tcl Xlib/vera++/scripts/transformations/move_includes.tcl Xlib/vera++/scripts/transformations/move_macros.tcl Xlib/vera++/scripts/transformations/move_namespace.tcl Xlib/vera++/scripts/transformations/to_lower.tcl Xlib/vera++/scripts/transformations/to_xml.tcl Xlib/vera++/scripts/transformations/to_xml2.tcl Xlib/vera++/scripts/transformations/trim_right.tcl Xlib/vera++/test_wrapper.cmake.in Xlib/vera++/use_vera++.cmake Xlib/vera++/vera++-config-version.cmake Xlib/vera++/vera++-config.cmake X@dirrm lib/vera++/scripts/transformations X@dirrm lib/vera++/scripts/rules X@dirrm lib/vera++/scripts X@dirrm lib/vera++/profiles X@dirrm lib/vera++ 7c1e313f1b4fd3156ae19b653b55e35d exit >Release-Note: >Audit-Trail: >Unformatted: