diff options
| author | marino <marino@FreeBSD.org> | 2014-05-29 07:34:22 +0800 |
|---|---|---|
| committer | marino <marino@FreeBSD.org> | 2014-05-29 07:34:22 +0800 |
| commit | 904adca544a1486c2e17030e16470e54232cfbde (patch) | |
| tree | f43b813694cf1413570e90dda1930025ceef6105 /dns | |
| parent | 4e739ccd8f28349743b27757fbdca6400d5d3c73 (diff) | |
| download | freebsd-ports-gnome-904adca544a1486c2e17030e16470e54232cfbde.tar.gz freebsd-ports-gnome-904adca544a1486c2e17030e16470e54232cfbde.tar.zst freebsd-ports-gnome-904adca544a1486c2e17030e16470e54232cfbde.zip | |
dns/ironsides: USES+= zip
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//} |