mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-21 00:25:50 +00:00
Code Issues Releases Activity

dns/ironsides: USES+= zip

Browse Source
This commit is contained in:
John Marino 2014-05-28 23:34:22 +00:00
parent 7a6cad39c4
commit 48487bdfa6
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=355662
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
dns/ironsides/Makefile
View File

@ -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//}