25 lines
659 B
Makefile
25 lines
659 B
Makefile
# $NetBSD: Makefile,v 1.2 2012/06/18 03:42:25 dholland Exp $
|
|
|
|
DISTNAME= spin525
|
|
PKGNAME= spin-5.2.5
|
|
CATEGORIES= devel
|
|
MASTER_SITES= http://spinroot.com/spin/Src/
|
|
|
|
MAINTAINER= agc@NetBSD.org
|
|
HOMEPAGE= http://spinroot.com/spin/whatispin.html
|
|
COMMENT= Formal correctness prover
|
|
LICENSE= spin-license
|
|
|
|
PKG_DESTDIR_SUPPORT= user-destdir
|
|
INSTALLATION_DIRS= bin ${PKGMANDIR}/man1
|
|
|
|
WRKSRC= ${WRKDIR}/Spin/Src5.2.5
|
|
USE_TOOLS+= yacc
|
|
MAKE_FILE= makefile
|
|
BUILD_TARGET= spin
|
|
|
|
do-install:
|
|
${INSTALL_PROGRAM} ${WRKSRC}/spin ${DESTDIR}${PREFIX}/bin/spin
|
|
${INSTALL_MAN} ${WRKDIR}/Spin/Man/spin.1 ${DESTDIR}${PREFIX}/${PKGMANDIR}/man1/spin.1
|
|
|
|
.include "../../mk/bsd.pkg.mk"
|