devel/pvs/Makefile

   1 # $NetBSD: Makefile,v 1.42 2011/02/14 23:31:34 wiz Exp $
   2 #
   3
   4 DISTNAME=               pvs-${VERSION}
   5 PKGNAME=                ${EMACS_PKGNAME_PREFIX}${DISTNAME}
   6 PKGREVISION=            3
   7 CATEGORIES=             devel lang
   8 MASTER_SITES=           ftp://pvs.csl.sri.com/pub/pvs/pvs${VERSION}/ \
   9                         ftp://ftp.cs.york.ac.uk/pub/pvs/pvs${VERSION}/ \
  10                         ftp://ftp.informatik.uni-ulm.de/pub/KI/pvs/pvs${VERSION}/
  11 EXTRACT_SUFX=           .tgz
  12 DISTFILES=              ${DISTNAME}-${MAINFILEEXT}${EXTRACT_SUFX} \
  13                         pvs-${VERSION}-system${EXTRACT_SUFX} \
  14                         pvs-${VERSION}-libraries${EXTRACT_SUFX}
  15 LICENSE=                pvs-license
  16
  17 # not quite sure about this, but to be on the safe side:
  18 RESTRICTED=             Redistribution not permitted - see ${HOMEPAGE}license.html
  19 NO_SRC_ON_CDROM=        ${RESTRICTED}
  20 NO_SRC_ON_FTP=          ${RESTRICTED}
  21 NO_BIN_ON_CDROM=        ${RESTRICTED}
  22 NO_BIN_ON_FTP=          ${RESTRICTED}
  23
  24 MAINTAINER=             pkgsrc-users@NetBSD.org
  25 HOMEPAGE=               http://pvs.csl.sri.com/
  26 COMMENT=                The PVS Specification and Verification System
  27
  28 DEPENDS+=               tex-amsmath>=2.13nb2:../../print/tex-amsmath
  29 DEPENDS+=               tk>=8.0:../../x11/tk
  30
  31 USE_TOOLS+=     pax
  32
  33 EMUL_PLATFORMS+=        linux-i386 solaris-sparc
  34
  35 PKG_DESTDIR_SUPPORT=    user-destdir
  36
  37 WRKSRC=                 ${WRKDIR}
  38 VERSION=                3.2
  39 INFO_FILES=             yes
  40
  41 MESSAGE_SRC=            ${PKGDIR}/MESSAGE.${EMUL_PLATFORM}
  42 MAINFILEEXT=            ${EMUL_OPSYS}
  43
  44 INSTALLATION_DIRS=      bin
  45
  46 do-build:
  47         ${SED} -e "s|@PREFIX@|${PREFIX}|" ${WRKSRC}/pvs > ${WRKSRC}/pvs.tmp
  48         ${MV} -f ${WRKSRC}/pvs.tmp ${WRKSRC}/pvs
  49         ${RM} -f ${WRKSRC}/pvs.orig
  50         ${RM} -f ${WRKSRC}/doc/release-notes/pvs-release-notes.info.orig
  51
  52 do-install:
  53         ${INSTALL_SCRIPT} ${WRKSRC}/pvs ${DESTDIR}${PREFIX}/bin/pvs
  54         ${INSTALL_PROGRAM_DIR} ${DESTDIR}${PREFIX}/pvs
  55         cd ${WRKSRC} && pax -s ,^./[.].*,, -rw . ${DESTDIR}${PREFIX}/pvs
  56         ${CHMOD} 755 ${DESTDIR}${PREFIX}/pvs/pvs
  57
  58 .include "../../editors/emacs/modules.mk"
  59 .include "../../mk/bsd.pkg.mk"