mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-24 04:33:24 +00:00
Code Issues Releases Activity

dns/ironsides: Remove pkg-plist

Browse Source
This commit is contained in:
John Marino 2014-10-16 10:45:20 +00:00
parent 591e93e799
commit 3dc889c3b7
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=370994
2 changed files with 3 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
dns/ironsides/Makefile
View File

@ -9,7 +9,7 @@ MASTER_SITES= http://ironsides.martincarlisle.com/
DISTNAME= ironsides_authoritative-${SNAPSHOT}
MAINTAINER= marino@FreeBSD.org
COMMENT= Authoritative DNS server formally verified by SPARK/Ada
COMMENT= Authoritative DNS server formally verified by SPARK/Ada
LICENSE= Ironsides
LICENSE_NAME= IRONSIDES - Free software, unlimited redistribution
@ -22,6 +22,8 @@ USES= ada dos2unix zip
DOS2UNIX_FILES= dfcs.usafa.edu.zonefile ironsides.1
SNAPSHOT= 2014_02_20
WRKSRC= ${WRKDIR}/${DISTFILES:S/.zip//}
PLIST_FILES= sbin/ironsides man/man1/ironsides.1.gz
PORTEXAMPLES= dfcs.usafa.edu.zonefile
post-extract:
@${CP} ${FILESDIR}/ironsides.gpr ${FILESDIR}/Makefile ${WRKSRC}/

4
dns/ironsides/pkg-plist
View File

@ -1,4 +0,0 @@
sbin/ironsides
man/man1/ironsides.1.gz
%%EXAMPLESDIR%%/dfcs.usafa.edu.zonefile
@dirrm %%EXAMPLESDIR%%