freebsd-ports/devel/gprbuild/Makefile
Mathieu Arnold e1bfdfbe56 Add DOCS options to ports that should have one.
Also various fixes related to said option.

PR:		230864
Submitted by:	mat
exp-runs by:	antoine
2018-09-10 13:14:50 +00:00

42 lines
985 B
Makefile

# Created by: John Marino <marino@FreeBSD.org>
# $FreeBSD$
PORTNAME= gprbuild
PORTVERSION= ${SNAPSHOT}
PORTREVISION= 1
CATEGORIES= devel
MAINTAINER= ports@FreeBSD.org
COMMENT= Adacore multi-language software build tool
LICENSE= GPLv3
BUILD_DEPENDS= xmlada>=4.4:textproc/xmlada
SNAPSHOT= 20160609
USES= ada
USE_GITHUB= yes
GH_ACCOUNT= AdaCore
GH_PROJECT= gprbuild
GH_TAGNAME= 376670f
PORTDOCS= *
MAKE_ARGS= PROCESSORS=${MAKE_JOBS_NUMBER}
BUILD_WRKSRC= ${WRKSRC}/construction
INSTALL_WRKSRC= ${BUILD_WRKSRC}
INSTALL_TARGET= install
OPTIONS_DEFINE= DOCS
#DOCS_BUILD_DEPENDS= sphinx-build:textproc/py-sphinx
#DOCS_ALL_TARGET= gen-docs
#DOCS_INSTALL_TARGET= install-docs
post-patch:
${MKDIR} ${WRKDIR}/trash ${BUILD_WRKSRC}
${CP} ${FILESDIR}/Makefile.BSD ${WRKSRC}/construction/Makefile
@${REINPLACE_CMD} -i "" -e "s,@AUXPREFIX@,${PREFIX}/${ADAXX}-aux," \
${WRKSRC}/share/gprconfig/compilers.xml
${MV} ${WRKSRC}/share/gprconfig/*.orig ${WRKDIR}/trash
.include <bsd.port.mk>