summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--devel/ahven/Makefile23
1 files changed, 2 insertions, 21 deletions
diff --git a/devel/ahven/Makefile b/devel/ahven/Makefile
index c7a71604c041..35fd0f06bca4 100644
--- a/devel/ahven/Makefile
+++ b/devel/ahven/Makefile
@@ -3,7 +3,7 @@
PORTNAME= ahven
PORTVERSION= 2.6
-PORTREVISION= 5
+PORTREVISION= 6
CATEGORIES= devel
MASTER_SITES= http://www.ahven-framework.com/releases/
@@ -17,29 +17,17 @@ BUILD_DEPENDS= adactl:lang/adacontrol
USES= ada gmake
MAKE_ENV= OS_VERSION=unix
-OPTIONS_DEFINE= TRACE DOCS
+OPTIONS_DEFINE= TRACE
OPTIONS_DEFAULT= TRACE
NO_OPTIONS_SORT= yes
TRACE_DESC= Build with GNAT-specific symbolic tracing functionality
-DOCS_USES= python:2.7,build
-DOCS_BUILD_DEPENDS= ${PY_SPHINX} \
- ${PYTHON_PKGNAMEPREFIX}sphinxcontrib-adadomain>0:textproc/py-sphinxcontrib-adadomain@${PY_FLAVOR}
TRACE_EXTRA_PATCHES= ${FILESDIR}/extra-src_ahven-framework.adb
-PORTDOCS= *
-
-post-patch:
- @${REINPLACE_CMD} -e 's|sphinx-build|&-${PYTHON_VER}|' ${WRKSRC}/doc/manual/en/Makefile
-
do-build:
(cd ${WRKSRC} && ${MKDIR} lib objects)
(cd ${WRKSRC} && ${SETENV} ${MAKE_ENV} gnatmake -Pgnat/ahven_lib)
-do-build-DOCS-on:
- (cd ${WRKSRC} && ${SETENV} ${MAKE_ENV} \
- ${MAKE_CMD} -C doc/manual/en html)
-
do-install:
(cd ${STAGEDIR}${PREFIX} && ${MKDIR} lib/gnat lib/ahven include/ahven)
${INSTALL_DATA} ${WRKSRC}/src/*.ad[bs] \
@@ -48,11 +36,4 @@ do-install:
${INSTALL_DATA} ${WRKSRC}/lib/libahven.a ${STAGEDIR}${PREFIX}/lib/ahven
${INSTALL_DATA} ${FILESDIR}/ahven.gpr ${STAGEDIR}${PREFIX}/lib/gnat
-do-install-DOCS-on:
- ${MKDIR} ${STAGEDIR}${DOCSDIR}
- (cd ${WRKSRC}/doc/manual/en/build && \
- ${COPYTREE_SHARE} html ${STAGEDIR}${DOCSDIR});
- ${RM} -r ${STAGEDIR}${DOCSDIR}/html/_sources
- ${RM} ${STAGEDIR}${DOCSDIR}/html/.buildinfo
-
.include <bsd.port.mk>