diff options
| author | John Marino <marino@FreeBSD.org> | 2014-10-16 10:45:20 +0000 |
|---|---|---|
| committer | John Marino <marino@FreeBSD.org> | 2014-10-16 10:45:20 +0000 |
| commit | 3dc889c3b74c5dbd8e3efaf5d38fba9993c7300a (patch) | |
| tree | f98a5dda7865114ad131e1bdd19845f8a509b4a2 /dns/ironsides | |
| parent | 591e93e79907b7ac040060190aafe017c7b6cdc7 (diff) | |
| download | ports-3dc889c3b74c5dbd8e3efaf5d38fba9993c7300a.tar.gz ports-3dc889c3b74c5dbd8e3efaf5d38fba9993c7300a.zip | |
Notes
Diffstat (limited to 'dns/ironsides')
| -rw-r--r-- | dns/ironsides/Makefile | 4 | ||||
| -rw-r--r-- | dns/ironsides/pkg-plist | 4 |
2 files changed, 3 insertions, 5 deletions
diff --git a/dns/ironsides/Makefile b/dns/ironsides/Makefile index 4f47139d207f..5fc3b3490087 100644 --- a/dns/ironsides/Makefile +++ b/dns/ironsides/Makefile @@ -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}/ diff --git a/dns/ironsides/pkg-plist b/dns/ironsides/pkg-plist deleted file mode 100644 index 7fdaed28e743..000000000000 --- a/dns/ironsides/pkg-plist +++ /dev/null @@ -1,4 +0,0 @@ -sbin/ironsides -man/man1/ironsides.1.gz -%%EXAMPLESDIR%%/dfcs.usafa.edu.zonefile -@dirrm %%EXAMPLESDIR%% |