diff options
| author | John Marino <marino@FreeBSD.org> | 2014-02-18 18:35:16 +0000 |
|---|---|---|
| committer | John Marino <marino@FreeBSD.org> | 2014-02-18 18:35:16 +0000 |
| commit | 3f63fa13343b6153685c3ebb52a2d62125868496 (patch) | |
| tree | d8834a1e067b48725963826dddc337003b3b4459 /devel/ahven/Makefile | |
| parent | a9c9154800abe910ada499c3869b3f5ee5da3ea4 (diff) | |
| download | ports-3f63fa13343b6153685c3ebb52a2d62125868496.tar.gz ports-3f63fa13343b6153685c3ebb52a2d62125868496.zip | |
Notes
Diffstat (limited to 'devel/ahven/Makefile')
| -rw-r--r-- | devel/ahven/Makefile | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/devel/ahven/Makefile b/devel/ahven/Makefile index 7d6cc892354f..d81e5f0309e8 100644 --- a/devel/ahven/Makefile +++ b/devel/ahven/Makefile @@ -3,7 +3,7 @@ PORTNAME= ahven PORTVERSION= 2.4 -PORTREVISION= 2 +PORTREVISION= 3 CATEGORIES= devel MASTER_SITES= SF MASTER_SITE_SUBDIR=${PORTNAME}/${PORTNAME}/Ahven%20${PORTVERSION} @@ -19,7 +19,11 @@ USES= ada ALL_TARGET= build_all MAKE_ENV+= OS_VERSION=unix -OPTIONS_DEFINE= DOCS +OPTIONS_DEFINE= TRACE DOCS +OPTIONS_DEFAULT=TRACE +NO_OPTIONS_SORT=yes + +TRACE_DESC= Build with GNAT-specific symbolic tracing functionality .include <bsd.port.options.mk> @@ -30,6 +34,10 @@ BUILD_DEPENDS+= sphinx-build:${PORTSDIR}/textproc/py-sphinx \ ALL_TARGET+= docs .endif +.if ${PORT_OPTIONS:MTRACE} +EXTRA_PATCHES= ${FILESDIR}/extra-src_ahven-framework.adb +.endif + post-install: @${RM} -rf ${STAGEDIR}${PREFIX}/share/doc/ahven/html/_sources @${RM} ${STAGEDIR}${PREFIX}/share/doc/ahven/html/.buildinfo |