blob: 06d2cabb1269a53321ea55830ff9bb10127a0dd5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
# $NetBSD: Makefile,v 1.4 2015/04/18 20:41:10 joerg 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
# yacc output used without dependency
MAKE_JOBS_SAFE= no
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"
|
