blob: 9a7e2c9f7801b61adb16ff3cbe08cad319cfc19b (
plain) (
tree)
|
|
# Created by: John Marino <marino@FreeBSD.org>
# $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
NO_STAGE= yes
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 <bsd.port.mk>
|