aboutsummaryrefslogtreecommitdiff
path: root/dns/ironsides
diff options
context:
space:
mode:
authorJohn Marino <marino@FreeBSD.org>2014-05-28 23:34:22 +0000
committerJohn Marino <marino@FreeBSD.org>2014-05-28 23:34:22 +0000
commit48487bdfa6713b074e0436c137357f8d24f32ae2 (patch)
treef43b813694cf1413570e90dda1930025ceef6105 /dns/ironsides
parent7a6cad39c4e92d2557c5a4f67574da714ace6bff (diff)
downloadports-48487bdfa6713b074e0436c137357f8d24f32ae2.tar.gz
ports-48487bdfa6713b074e0436c137357f8d24f32ae2.zip
dns/ironsides: USES+= zip
Notes
Notes: svn path=/head/; revision=355662
Diffstat (limited to 'dns/ironsides')
-rw-r--r--dns/ironsides/Makefile4
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//}