mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-15 03:14:23 +00:00
33 lines
733 B
Makefile
33 lines
733 B
Makefile
# Created by: Christopher Key <cjk32@cam.ac.uk>
|
|
# $FreeBSD$
|
|
|
|
PORTNAME= dvdid
|
|
PORTVERSION= 0.2.0a
|
|
PORTREVISION= 2
|
|
CATEGORIES= multimedia
|
|
MASTER_SITES= http://dvdid.cjkey.org.uk/
|
|
|
|
MAINTAINER= ports@FreeBSD.org
|
|
COMMENT= Tool for calculating dvdids
|
|
|
|
USES= libtool
|
|
GNU_CONFIGURE= yes
|
|
USE_LDCONFIG= yes
|
|
|
|
PORTDOCS= *
|
|
OPTIONS_DEFINE= DOCS
|
|
|
|
post-patch:
|
|
@${REINPLACE_CMD} -e '/^SUBDIRS/s|doc||' ${WRKSRC}/Makefile.in
|
|
|
|
post-install:
|
|
${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/lib${PORTNAME}.so
|
|
|
|
@${MKDIR} ${STAGEDIR}${DOCSDIR}
|
|
cd ${WRKSRC}/doc && ${INSTALL_DATA} dvdid.tag ${STAGEDIR}${DOCSDIR}
|
|
@${MKDIR} ${STAGEDIR}${DOCSDIR}/html/api
|
|
cd ${WRKSRC}/doc/html/api && ${INSTALL_DATA} * \
|
|
${STAGEDIR}${DOCSDIR}/html/api
|
|
|
|
.include <bsd.port.mk>
|