| @@ -1,24 +1,27 @@ | | | @@ -1,24 +1,27 @@ |
1 | # $NetBSD: Makefile,v 1.3 2012/10/31 11:19:47 asau Exp $ | | 1 | # $NetBSD: Makefile,v 1.4 2015/04/18 20:41:10 joerg Exp $ |
2 | | | 2 | |
3 | DISTNAME= spin525 | | 3 | DISTNAME= spin525 |
4 | PKGNAME= spin-5.2.5 | | 4 | PKGNAME= spin-5.2.5 |
5 | CATEGORIES= devel | | 5 | CATEGORIES= devel |
6 | MASTER_SITES= http://spinroot.com/spin/Src/ | | 6 | MASTER_SITES= http://spinroot.com/spin/Src/ |
7 | | | 7 | |
8 | MAINTAINER= agc@NetBSD.org | | 8 | MAINTAINER= agc@NetBSD.org |
9 | HOMEPAGE= http://spinroot.com/spin/whatispin.html | | 9 | HOMEPAGE= http://spinroot.com/spin/whatispin.html |
10 | COMMENT= Formal correctness prover | | 10 | COMMENT= Formal correctness prover |
11 | LICENSE= spin-license | | 11 | LICENSE= spin-license |
12 | | | 12 | |
| | | 13 | # yacc output used without dependency |
| | | 14 | MAKE_JOBS_SAFE= no |
| | | 15 | |
13 | INSTALLATION_DIRS= bin ${PKGMANDIR}/man1 | | 16 | INSTALLATION_DIRS= bin ${PKGMANDIR}/man1 |
14 | | | 17 | |
15 | WRKSRC= ${WRKDIR}/Spin/Src5.2.5 | | 18 | WRKSRC= ${WRKDIR}/Spin/Src5.2.5 |
16 | USE_TOOLS+= yacc | | 19 | USE_TOOLS+= yacc |
17 | MAKE_FILE= makefile | | 20 | MAKE_FILE= makefile |
18 | BUILD_TARGET= spin | | 21 | BUILD_TARGET= spin |
19 | | | 22 | |
20 | do-install: | | 23 | do-install: |
21 | ${INSTALL_PROGRAM} ${WRKSRC}/spin ${DESTDIR}${PREFIX}/bin/spin | | 24 | ${INSTALL_PROGRAM} ${WRKSRC}/spin ${DESTDIR}${PREFIX}/bin/spin |
22 | ${INSTALL_MAN} ${WRKDIR}/Spin/Man/spin.1 ${DESTDIR}${PREFIX}/${PKGMANDIR}/man1/spin.1 | | 25 | ${INSTALL_MAN} ${WRKDIR}/Spin/Man/spin.1 ${DESTDIR}${PREFIX}/${PKGMANDIR}/man1/spin.1 |
23 | | | 26 | |
24 | .include "../../mk/bsd.pkg.mk" | | 27 | .include "../../mk/bsd.pkg.mk" |