diff options
| author | John Marino <marino@FreeBSD.org> | 2014-05-28 23:34:22 +0000 |
|---|---|---|
| committer | John Marino <marino@FreeBSD.org> | 2014-05-28 23:34:22 +0000 |
| commit | 48487bdfa6713b074e0436c137357f8d24f32ae2 (patch) | |
| tree | f43b813694cf1413570e90dda1930025ceef6105 /dns | |
| parent | 7a6cad39c4e92d2557c5a4f67574da714ace6bff (diff) | |
| download | ports-48487bdfa6713b074e0436c137357f8d24f32ae2.tar.gz ports-48487bdfa6713b074e0436c137357f8d24f32ae2.zip | |
Notes
Diffstat (limited to 'dns')
| -rw-r--r-- | dns/ironsides/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dns/ironsides/Makefile b/dns/ironsides/Makefile index 37f70e93e7ce..4f47139d207f 100644 --- a/dns/ironsides/Makefile +++ b/dns/ironsides/Makefile @@ -6,7 +6,7 @@ PORTVERSION= ${SNAPSHOT:S/_//g} PORTREVISION= 1 CATEGORIES= dns MASTER_SITES= http://ironsides.martincarlisle.com/ -DISTFILES= ironsides_authoritative-${SNAPSHOT}.zip +DISTNAME= ironsides_authoritative-${SNAPSHOT} MAINTAINER= marino@FreeBSD.org COMMENT= Authoritative DNS server formally verified by SPARK/Ada @@ -18,7 +18,7 @@ LICENSE_PERMS= dist-mirror dist-sell pkg-mirror pkg-sell auto-accept BUILD_DEPENDS= ${LOCALBASE}/include/spark2012/spark.ads:${PORTSDIR}/devel/libspark2012 -USES= ada dos2unix +USES= ada dos2unix zip DOS2UNIX_FILES= dfcs.usafa.edu.zonefile ironsides.1 SNAPSHOT= 2014_02_20 WRKSRC= ${WRKDIR}/${DISTFILES:S/.zip//} |