From owner-svn-ports-all@FreeBSD.ORG Sun Jul 21 14:26:33 2013 Return-Path: Delivered-To: svn-ports-all@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by hub.freebsd.org (Postfix) with ESMTP id 55B8FA47; Sun, 21 Jul 2013 14:26:33 +0000 (UTC) (envelope-from marino@FreeBSD.org) Received: from svn.freebsd.org (svn.freebsd.org [IPv6:2001:1900:2254:2068::e6a:0]) by mx1.freebsd.org (Postfix) with ESMTP id 46177FE2; Sun, 21 Jul 2013 14:26:33 +0000 (UTC) Received: from svn.freebsd.org ([127.0.1.70]) by svn.freebsd.org (8.14.7/8.14.7) with ESMTP id r6LEQX0n048126; Sun, 21 Jul 2013 14:26:33 GMT (envelope-from marino@svn.freebsd.org) Received: (from marino@localhost) by svn.freebsd.org (8.14.7/8.14.5/Submit) id r6LEQWoT048117; Sun, 21 Jul 2013 14:26:32 GMT (envelope-from marino@svn.freebsd.org) Message-Id: <201307211426.r6LEQWoT048117@svn.freebsd.org> From: John Marino Date: Sun, 21 Jul 2013 14:26:32 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r323392 - in head/lang: . adacontrol adacontrol/files X-SVN-Group: ports-head MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-all@freebsd.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: SVN commit messages for the ports tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 21 Jul 2013 14:26:33 -0000 Author: marino Date: Sun Jul 21 14:26:31 2013 New Revision: 323392 URL: http://svnweb.freebsd.org/changeset/ports/323392 Log: Add new port: lang/adacontrol Adacontrol is a tool that analyzes language constructs in Ada programs. It can be used as a standalone tool, or integrated into other tools. An example of integration can be seen with the upcoming devel/ahven port. Approved by: bapt (mentor) Added: head/lang/adacontrol/ head/lang/adacontrol/Makefile (contents, props changed) head/lang/adacontrol/distinfo (contents, props changed) head/lang/adacontrol/files/ head/lang/adacontrol/files/patch-src_Makefile (contents, props changed) head/lang/adacontrol/pkg-descr (contents, props changed) head/lang/adacontrol/pkg-plist (contents, props changed) Modified: head/lang/Makefile Modified: head/lang/Makefile ============================================================================== --- head/lang/Makefile Sun Jul 21 14:25:55 2013 (r323391) +++ head/lang/Makefile Sun Jul 21 14:26:31 2013 (r323392) @@ -7,6 +7,7 @@ SUBDIR += STk SUBDIR += Sather SUBDIR += abcl + SUBDIR += adacontrol SUBDIR += afnix SUBDIR += algol68g SUBDIR += alisp Added: head/lang/adacontrol/Makefile ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/lang/adacontrol/Makefile Sun Jul 21 14:26:31 2013 (r323392) @@ -0,0 +1,43 @@ +# Created by: John Marino +# $FreeBSD$ + +PORTNAME= adacontrol +PORTVERSION= 1.15r5 +CATEGORIES= lang +MASTER_SITES= SF/adacontrol +DISTNAME= adactl_old-${PORTVERSION}-src +EXTRACT_SUFX= .tgz + +MAINTAINER= marino@FreeBSD.org +COMMENT= Tool for detecting use or non-use of specific Ada constructs + +BUILD_DEPENDS= asis>=2011:${PORTSDIR}/lang/asis \ + gnat_util>=2013:${PORTSDIR}/lang/gnat_util + +USES= ada gmake +WRKSRC= ${WRKDIR}/adactl-${PORTVERSION} +DESTINY= ${WRKDIR}/destino +BUILD_WRKSRC= ${WRKSRC}/src +ALL_TARGET= build + +do-install: + # To support DESTDIR in the future, install twice + ${MKDIR} ${DESTINY}${PREFIX}/bin + ${MKDIR} ${DESTINY}${PREFIX}/share/gps/plug-ins + ${MKDIR} ${DESTINY}${PREFIX}/share/doc/gps/html + ${MKDIR} ${DESTINY}${PREFIX}/share/doc/adacontrol + ${MKDIR} ${DESTINY}${PREFIX}/share/gprconfig + ${INSTALL_PROGRAM} ${BUILD_WRKSRC}/adactl ${BUILD_WRKSRC}/pfni \ + ${BUILD_WRKSRC}/ptree ${DESTINY}/${PREFIX}/bin + ${INSTALL_DATA} ${WRKSRC}/GPS/adacontrol.xml \ + ${DESTINY}${PREFIX}/share/gprconfig + ${INSTALL_DATA} ${WRKSRC}/GPS/*adactl* ${WRKSRC}/GPS/pfni.* \ + ${DESTINY}${PREFIX}/share/gps/plug-ins + ${INSTALL_MAN} ${WRKSRC}/doc/*.html \ + ${DESTINY}${PREFIX}/share/doc/gps/html + ${INSTALL_MAN} ${WRKSRC}/doc/*.pdf ${WRKSRC}/doc/*.html \ + ${DESTINY}${PREFIX}/share/doc/adacontrol + # Now install from DESTDIR + ${CP} -pR ${DESTINY}${PREFIX}/ ${PREFIX}/ + +.include Added: head/lang/adacontrol/distinfo ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/lang/adacontrol/distinfo Sun Jul 21 14:26:31 2013 (r323392) @@ -0,0 +1,2 @@ +SHA256 (adactl_old-1.15r5-src.tgz) = 0d495ee1f6c643c807f295474f32726c5935c5ec8a94c847c25e803b1546f4fb +SIZE (adactl_old-1.15r5-src.tgz) = 1700731 Added: head/lang/adacontrol/files/patch-src_Makefile ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/lang/adacontrol/files/patch-src_Makefile Sun Jul 21 14:26:31 2013 (r323392) @@ -0,0 +1,32 @@ +--- src/Makefile.orig 2013-07-09 13:33:01.000000000 +0000 ++++ src/Makefile +@@ -2,7 +2,7 @@ + # Set PATH to ASIS library below (default corresponds to the case where you + # installed ASIS in the Gnat directory) + +-ASIS_TOP = /usr/gnat/ ++ASIS_TOP = ${PREFIX} + + ############################################################################### + # Depending on your version of ASIS, the ASIS directory may be split into +@@ -22,6 +22,10 @@ ASIS_INCLUDE = ${ASIS_TOP}/include/asis + ASIS_OBJ = ${ASIS_TOP}/lib/asis + ASIS_LIB = ${ASIS_TOP}/lib/asis + ++GU_INCLUDE = ${ASIS_TOP}/include/gnat_util ++GU_OBJ = ${ASIS_TOP}/lib/gnat_util ++GU_LIB = ${ASIS_TOP}/lib/gnat_util ++ + ############################################################################### + # SYSTEM COMMANDS (do not change) + +@@ -48,7 +52,8 @@ EXT = ${UNIX_EXT} + GARGS = -gnatf -gnatwa -aI${ASIS_INCLUDE} -aO${ASIS_OBJ} -g + CARGS = -cargs -O2 -gnatWh -gnat05 -gnato + BARGS = -bargs -E +-LARGS = -largs -L${ASIS_LIB} -lasis ++LARGS = -largs -L${ASIS_LIB} -lasis -L${GU_LIB} -lgnat_util ++GARGS+= -aI${GU_INCLUDE} -aO${GU_OBJ} + + # Uncomment the following line if you are running GnatPro 6.1.2 or above + #CARGS_EXTRA = ${CARGS} -fno-tree-vrp Added: head/lang/adacontrol/pkg-descr ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/lang/adacontrol/pkg-descr Sun Jul 21 14:26:31 2013 (r323392) @@ -0,0 +1,15 @@ +AdaControl is a free (GMGPL) tool that detects the use of various kinds of +constructs in Ada programs. Its first goal is to control proper usage of +style or programming rules, but it can also be used as a powerful tool to +search for use (or non-use) of various forms of programming styles or design +patterns. Searched elements range from very simple, like the occurrence of +certaine entities, declarations, or statements, to very sophisticated, like +verifying that certain programming patterns are being obeyed.. + +Which elements or constructs are searched is defined by a set of rules; the +following table gives a short summary of rules currently checked by +AdaControl. The number in parentheses after the rule name gives the number +of subrules, if any. Considering all possible rules and subrules, this makes +452 tests that can be performed currently by AdaControl! + +WWW: http://www.adalog.fr Added: head/lang/adacontrol/pkg-plist ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/lang/adacontrol/pkg-plist Sun Jul 21 14:26:31 2013 (r323392) @@ -0,0 +1,23 @@ +bin/adactl +bin/pfni +bin/ptree +%%DOCSDIR%%/adacontrol_pm.html +%%DOCSDIR%%/adacontrol_pm.pdf +%%DOCSDIR%%/adacontrol_ug.html +%%DOCSDIR%%/adacontrol_ug.pdf +share/doc/gps/html/adacontrol_pm.html +share/doc/gps/html/adacontrol_ug.html +share/gprconfig/adacontrol.xml +share/gps/plug-ins/adactl.gif +share/gps/plug-ins/adactl.py +share/gps/plug-ins/adactl_ask.gif +share/gps/plug-ins/pfni.py +share/gps/plug-ins/pfni.xml +share/gps/plug-ins/zadactl.xml +@dirrm %%DOCSDIR%% +@dirrmtry share/doc/gps/html +@dirrmtry share/doc/gps +@dirrmtry share/doc +@dirrmtry share/gprconfig +@dirrmtry share/gps/plug-ins +@dirrmtry share/gps