Date: Thu, 16 Oct 2014 10:45:20 +0000 (UTC) From: John Marino <marino@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r370994 - head/dns/ironsides Message-ID: <201410161045.s9GAjKTs053064@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: marino Date: Thu Oct 16 10:45:20 2014 New Revision: 370994 URL: https://svnweb.freebsd.org/changeset/ports/370994 QAT: https://qat.redports.org/buildarchive/r370994/ Log: dns/ironsides: Remove pkg-plist Deleted: head/dns/ironsides/pkg-plist Modified: head/dns/ironsides/Makefile Modified: head/dns/ironsides/Makefile ============================================================================== --- head/dns/ironsides/Makefile Thu Oct 16 10:36:14 2014 (r370993) +++ head/dns/ironsides/Makefile Thu Oct 16 10:45:20 2014 (r370994) @@ -9,7 +9,7 @@ MASTER_SITES= http://ironsides.martincar DISTNAME= ironsides_authoritative-${SNAPSHOT} MAINTAINER= marino@FreeBSD.org -COMMENT= Authoritative DNS server formally verified by SPARK/Ada +COMMENT= Authoritative DNS server formally verified by SPARK/Ada LICENSE= Ironsides LICENSE_NAME= IRONSIDES - Free software, unlimited redistribution @@ -22,6 +22,8 @@ USES= ada dos2unix zip DOS2UNIX_FILES= dfcs.usafa.edu.zonefile ironsides.1 SNAPSHOT= 2014_02_20 WRKSRC= ${WRKDIR}/${DISTFILES:S/.zip//} +PLIST_FILES= sbin/ironsides man/man1/ironsides.1.gz +PORTEXAMPLES= dfcs.usafa.edu.zonefile post-extract: @${CP} ${FILESDIR}/ironsides.gpr ${FILESDIR}/Makefile ${WRKSRC}/
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201410161045.s9GAjKTs053064>