From owner-svn-ports-head@FreeBSD.ORG  Wed May 28 23:34:23 2014
Return-Path: <owner-svn-ports-head@FreeBSD.ORG>
Delivered-To: svn-ports-head@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org
 [IPv6:2001:1900:2254:206a::19:1])
 (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits))
 (No client certificate requested)
 by hub.freebsd.org (Postfix) with ESMTPS id F2BA03D6;
 Wed, 28 May 2014 23:34:22 +0000 (UTC)
Received: from svn.freebsd.org (svn.freebsd.org
 [IPv6:2001:1900:2254:2068::e6a:0])
 (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
 (Client did not present a certificate)
 by mx1.freebsd.org (Postfix) with ESMTPS id DFAB22214;
 Wed, 28 May 2014 23:34:22 +0000 (UTC)
Received: from svn.freebsd.org ([127.0.1.70])
 by svn.freebsd.org (8.14.8/8.14.8) with ESMTP id s4SNYMWc034734;
 Wed, 28 May 2014 23:34:22 GMT (envelope-from marino@svn.freebsd.org)
Received: (from marino@localhost)
 by svn.freebsd.org (8.14.8/8.14.8/Submit) id s4SNYMdm034733;
 Wed, 28 May 2014 23:34:22 GMT (envelope-from marino@svn.freebsd.org)
Message-Id: <201405282334.s4SNYMdm034733@svn.freebsd.org>
From: John Marino <marino@FreeBSD.org>
Date: Wed, 28 May 2014 23:34:22 +0000 (UTC)
To: ports-committers@freebsd.org, svn-ports-all@freebsd.org,
 svn-ports-head@freebsd.org
Subject: svn commit: r355662 - head/dns/ironsides
X-SVN-Group: ports-head
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-BeenThere: svn-ports-head@freebsd.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: SVN commit messages for the ports tree for head
 <svn-ports-head.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/options/svn-ports-head>,
 <mailto:svn-ports-head-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/svn-ports-head/>
List-Post: <mailto:svn-ports-head@freebsd.org>
List-Help: <mailto:svn-ports-head-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/svn-ports-head>,
 <mailto:svn-ports-head-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Wed, 28 May 2014 23:34:23 -0000

Author: marino
Date: Wed May 28 23:34:22 2014
New Revision: 355662
URL: http://svnweb.freebsd.org/changeset/ports/355662
QAT: https://qat.redports.org/buildarchive/r355662/

Log:
  dns/ironsides: USES+= zip

Modified:
  head/dns/ironsides/Makefile

Modified: head/dns/ironsides/Makefile
==============================================================================
--- head/dns/ironsides/Makefile	Wed May 28 23:32:55 2014	(r355661)
+++ head/dns/ironsides/Makefile	Wed May 28 23:34:22 2014	(r355662)
@@ -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
 
 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//}