multimedia/dvdid/Makefile

   1 # Created by: Christopher Key <cjk32@cam.ac.uk>
   2 # $FreeBSD$
   3
   4 PORTNAME=       dvdid
   5 PORTVERSION=    0.2.0a
   6 PORTREVISION=   2
   7 CATEGORIES=     multimedia
   8 MASTER_SITES=   http://dvdid.cjkey.org.uk/
   9
  10 MAINTAINER=     ports@FreeBSD.org
  11 COMMENT=        Tool for calculating dvdids
  12
  13 USES=           libtool
  14 GNU_CONFIGURE=  yes
  15 USE_LDCONFIG=   yes
  16
  17 PORTDOCS=       *
  18
  19 OPTIONS_DEFINE= DOCS
  20
  21 post-patch:
  22         @${REINPLACE_CMD} -e '/^SUBDIRS/s|doc||' ${WRKSRC}/Makefile.in
  23
  24 post-install:
  25         ${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/lib${PORTNAME}.so
  26
  27 post-install-DOCS-on:
  28         @${MKDIR} ${STAGEDIR}${DOCSDIR}
  29         cd ${WRKSRC}/doc && ${INSTALL_DATA} dvdid.tag ${STAGEDIR}${DOCSDIR}
  30         @${MKDIR} ${STAGEDIR}${DOCSDIR}/html/api
  31         cd ${WRKSRC}/doc/html/api && ${INSTALL_DATA} * \
  32                 ${STAGEDIR}${DOCSDIR}/html/api
  33
  34 .include <bsd.port.mk>