diff options
| author | marino <marino@FreeBSD.org> | 2016-11-16 07:25:04 +0800 |
|---|---|---|
| committer | marino <marino@FreeBSD.org> | 2016-11-16 07:25:04 +0800 |
| commit | 69467c51c7fa9b8f8acb2a8f92c6199c96d60175 (patch) | |
| tree | 1b66aaca38b6fdc556c58035978201df80f5f537 /lang | |
| parent | e0ec2a790892e8bbf53d80a7c60146582c967f75 (diff) | |
| download | freebsd-ports-gnome-69467c51c7fa9b8f8acb2a8f92c6199c96d60175.tar.gz freebsd-ports-gnome-69467c51c7fa9b8f8acb2a8f92c6199c96d60175.tar.zst freebsd-ports-gnome-69467c51c7fa9b8f8acb2a8f92c6199c96d60175.zip | |
lang/adacontrol: Upgrade version 1.17r3 => 1.18r9
The big feature for adacontrol 1.18 is the direct support of .gpr project
files. Unfortunately, the project support requires devel/gnatcoll, a heavy
dependency. Thus, a PROJECT option was created which is "OFF" by default to
maintain the relatively lean dependency requirements. If project support is
vital, reconfigure the build with the PROJECT option.
Diffstat (limited to 'lang')
| -rw-r--r-- | lang/adacontrol/Makefile | 25 | ||||
| -rw-r--r-- | lang/adacontrol/distinfo | 5 | ||||
| -rw-r--r-- | lang/adacontrol/pkg-plist | 6 |
3 files changed, 25 insertions, 11 deletions
diff --git a/lang/adacontrol/Makefile b/lang/adacontrol/Makefile index e2485be5de93..82163bfb28a7 100644 --- a/lang/adacontrol/Makefile +++ b/lang/adacontrol/Makefile @@ -2,12 +2,10 @@ # $FreeBSD$ PORTNAME= adacontrol -PORTVERSION= 1.17r3 -PORTREVISION= 3 +PORTVERSION= 1.18r9 CATEGORIES= lang MASTER_SITES= SF/adacontrol DISTNAME= adactl-${PORTVERSION}-src -DIST_SUBDIR= adacontrol-01 MAINTAINER= marino@FreeBSD.org COMMENT= Tool for detecting use or non-use of specific Ada constructs @@ -23,18 +21,31 @@ BUILD_WRKSRC= ${WRKSRC}/src ALL_TARGET= build PORTDOCS= adacontrol* -OPTIONS_DEFINE= DOCS +OPTIONS_DEFINE= DOCS PROJECTS + +PROJECTS_DESC= Support the direct processing of .gpr files +PROJECTS_BUILD_DEPENDS= gprbuild:devel/gprbuild \ + ${LOCALBASE}/lib/gnat/gnatcoll.gpr:devel/gnatcoll + +do-patch-PROJECTS-off: + (cd ${WRKSRC}/src && ${MV} \ + implementation_options-i_options_from_gpr_project.adb \ + implementation_options-i_options_from_gpr_project_gpr.adb) + (cd ${WRKSRC}/src && ${MV} \ + implementation_options-i_options_from_gpr_project_nogpr.adb \ + implementation_options-i_options_from_gpr_project.adb) + ${REINPLACE_CMD} -e '/gnatcoll/d' ${WRKSRC}/build.gpr do-build: - (cd ${BUILD_WRKSRC} && ${SETENV} ${MAKE_ENV} gnatmake -Pbuild) + (cd ${WRKSRC} && ${SETENV} ${MAKE_ENV} gnatmake -Pbuild) do-install: ${MKDIR} ${STAGEDIR}${PREFIX}/bin \ ${STAGEDIR}${PREFIX}/share/gps/plug-ins \ ${STAGEDIR}${PREFIX}/share/doc/gps/html \ ${STAGEDIR}${PREFIX}/share/gprconfig - ${INSTALL_PROGRAM} ${BUILD_WRKSRC}/adactl ${BUILD_WRKSRC}/pfni \ - ${BUILD_WRKSRC}/ptree ${STAGEDIR}/${PREFIX}/bin + ${INSTALL_PROGRAM} ${WRKSRC}/adactl ${WRKSRC}/pfni \ + ${WRKSRC}/ptree ${STAGEDIR}/${PREFIX}/bin ${INSTALL_DATA} ${WRKSRC}/GPS/adacontrol.xml \ ${STAGEDIR}${PREFIX}/share/gprconfig ${INSTALL_DATA} ${WRKSRC}/GPS/*adactl* ${WRKSRC}/GPS/pfni.* \ diff --git a/lang/adacontrol/distinfo b/lang/adacontrol/distinfo index 9904d9f765c1..8c0bd193c835 100644 --- a/lang/adacontrol/distinfo +++ b/lang/adacontrol/distinfo @@ -1,2 +1,3 @@ -SHA256 (adacontrol-01/adactl-1.17r3-src.tgz) = e23d45eb6d7af9982285d9eeaf51ac046128b150d306c3be62f7415b4ee6c5d0 -SIZE (adacontrol-01/adactl-1.17r3-src.tgz) = 1976446 +TIMESTAMP = 1479057564 +SHA256 (adactl-1.18r9-src.tgz) = 193095dbe9efdd0eb5b6c1590cf8dbff25b5fe2c65f8b45e3d5f085298d1ef0e +SIZE (adactl-1.18r9-src.tgz) = 2212880 diff --git a/lang/adacontrol/pkg-plist b/lang/adacontrol/pkg-plist index a3d5fd4cbb47..8b2696ec055c 100644 --- a/lang/adacontrol/pkg-plist +++ b/lang/adacontrol/pkg-plist @@ -4,9 +4,11 @@ bin/ptree 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-ask.gif +share/gps/plug-ins/adactl-ask.svg +share/gps/plug-ins/adactl-file.gif +share/gps/plug-ins/adactl-file.svg 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 |