From ff79a1901f92e3b7c06d48ff2477201ff289bffd Mon Sep 17 00:00:00 2001 From: DPorts Builder Date: Wed, 28 May 2014 18:10:46 -0700 Subject: [PATCH] Tweak dns/ironsides version 20140220_1 --- dns/ironsides/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/dns/ironsides/Makefile b/dns/ironsides/Makefile index 37f70e93e7c..4f47139d207 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//} -- 2.41.0