From owner-svn-ports-head@FreeBSD.ORG Thu Oct 16 10:45:21 2014 Return-Path: Delivered-To: svn-ports-head@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [8.8.178.115]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTPS id 3053392F; Thu, 16 Oct 2014 10:45:21 +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 1C9DFF06; Thu, 16 Oct 2014 10:45:21 +0000 (UTC) Received: from svn.freebsd.org ([127.0.1.70]) by svn.freebsd.org (8.14.9/8.14.9) with ESMTP id s9GAjKrV053065; Thu, 16 Oct 2014 10:45:20 GMT (envelope-from marino@FreeBSD.org) Received: (from marino@localhost) by svn.freebsd.org (8.14.9/8.14.9/Submit) id s9GAjKTs053064; Thu, 16 Oct 2014 10:45:20 GMT (envelope-from marino@FreeBSD.org) Message-Id: <201410161045.s9GAjKTs053064@svn.freebsd.org> X-Authentication-Warning: svn.freebsd.org: marino set sender to marino@FreeBSD.org using -f From: John Marino Date: Thu, 16 Oct 2014 10:45:20 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r370994 - 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-1 Precedence: list List-Id: SVN commit messages for the ports tree for head List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 16 Oct 2014 10:45:21 -0000 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}/