From owner-svn-ports-head@FreeBSD.ORG Fri Feb 21 10:11:40 2014 Return-Path: Delivered-To: svn-ports-head@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [8.8.178.115]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTPS id 1801A1D5; Fri, 21 Feb 2014 10:11:40 +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)) (No client certificate requested) by mx1.freebsd.org (Postfix) with ESMTPS id 02FD219B5; Fri, 21 Feb 2014 10:11:40 +0000 (UTC) Received: from svn.freebsd.org ([127.0.1.70]) by svn.freebsd.org (8.14.8/8.14.8) with ESMTP id s1LABdlc077909; Fri, 21 Feb 2014 10:11:39 GMT (envelope-from marino@svn.freebsd.org) Received: (from marino@localhost) by svn.freebsd.org (8.14.8/8.14.8/Submit) id s1LABd66077902; Fri, 21 Feb 2014 10:11:39 GMT (envelope-from marino@svn.freebsd.org) Message-Id: <201402211011.s1LABd66077902@svn.freebsd.org> From: John Marino Date: Fri, 21 Feb 2014 10:11:39 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r345353 - in head/dns/ironsides: . files 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.17 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: Fri, 21 Feb 2014 10:11:40 -0000 Author: marino Date: Fri Feb 21 10:11:39 2014 New Revision: 345353 URL: http://svnweb.freebsd.org/changeset/ports/345353 QAT: https://qat.redports.org/buildarchive/r345353/ Log: dns/ironsides: Upgrade version 20130315 to 20140220 After contacting the author, he updated the snapshot to the latest, remove 7M worth of dead files and adding a man page. I made some corrections to that man page and converted it to mdoc tags. Added: head/dns/ironsides/files/patch-ironsides.1 (contents, props changed) Modified: head/dns/ironsides/Makefile head/dns/ironsides/distinfo Modified: head/dns/ironsides/Makefile ============================================================================== --- head/dns/ironsides/Makefile Fri Feb 21 10:08:08 2014 (r345352) +++ head/dns/ironsides/Makefile Fri Feb 21 10:11:39 2014 (r345353) @@ -2,10 +2,10 @@ # $FreeBSD$ PORTNAME= ironsides -PORTVERSION= 20130315 +PORTVERSION= ${SNAPSHOT:S/_//g} CATEGORIES= dns MASTER_SITES= http://ironsides.martincarlisle.com/ -DISTFILES= trunk${PORTVERSION}.zip +DISTFILES= ironsides_authoritative-${SNAPSHOT}.zip MAINTAINER= marino@FreeBSD.org COMMENT= Authoritative DNS server formally verified by SPARK/Ada @@ -18,11 +18,11 @@ LICENSE_PERMS= dist-mirror dist-sell pkg BUILD_DEPENDS= ${LOCALBASE}/include/spark2012/spark.ads:${PORTSDIR}/devel/libspark2012 USES= ada dos2unix -DOS2UNIX_FILES= dfcs.usafa.edu.zonefile +DOS2UNIX_FILES= dfcs.usafa.edu.zonefile ironsides.1 +SNAPSHOT= 2014_02_20 +WRKSRC= ${WRKDIR}/${DISTFILES:S/.zip//} post-extract: - @${MV} ${WRKDIR}/trunk ${WRKSRC} - @(cd ${WRKSRC}; ${RM} *.bak *.bk.[0-9] *.o *.ali) @${CP} ${FILESDIR}/ironsides.gpr ${FILESDIR}/Makefile ${WRKSRC}/ .include Modified: head/dns/ironsides/distinfo ============================================================================== --- head/dns/ironsides/distinfo Fri Feb 21 10:08:08 2014 (r345352) +++ head/dns/ironsides/distinfo Fri Feb 21 10:11:39 2014 (r345353) @@ -1,2 +1,2 @@ -SHA256 (trunk20130315.zip) = 40c1c84022da3a0995c866f83186a45d104b6149f3732bbc1ad13426cd89b5f1 -SIZE (trunk20130315.zip) = 7853757 +SHA256 (ironsides_authoritative-2014_02_20.zip) = cfd0941f7b5eb35f07a58976a56dc0c4956c369a7149ef0861cb3608f4bb769e +SIZE (ironsides_authoritative-2014_02_20.zip) = 190889 Added: head/dns/ironsides/files/patch-ironsides.1 ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/dns/ironsides/files/patch-ironsides.1 Fri Feb 21 10:11:39 2014 (r345353) @@ -0,0 +1,52 @@ +--- ironsides.1.orig 2014-02-21 04:14:53.000000000 -0500 ++++ ironsides.1 +@@ -1,11 +1,14 @@ + .\" Manpage for ironsides. +-.TH man 1 "06 May 2010" "1.0" "nuseradd man page" +-.SH NAME +-ironsides \- authoritative DNS server +- +-.SH SYNOPSIS +-spark_dns_main configuration_file_name +-.SH DESCRIPTION ++.Dd 20 February 2014 ++.Dt IRONSIDES 1 ++.Os ++.Sh NAME ++.Nm ironsides ++.Nd authoritative DNS server ++.Sh SYNOPSIS ++.Nm ++.Op Ar configuration_file ++.Sh DESCRIPTION + IRONSIDES is an authoritative DNS server that is provably invulnerable to + many of the problems that plague other servers. It achieves this property + through the use of formal methods in its design, in particular the language +@@ -13,17 +16,18 @@ Ada and the SPARK formal methods tool se + provably exception-free, contains no data flow errors, and terminates only + in the ways that its programmers explicitly say that it can. These are very + desirable properties from a computer security perspective. +- ++.Pp + IRONSIDES is not a complete implementation of DNS. In particular, it does + not support zone transfers or recursive queries. It does, however, support + a sufficient number of DNS records to be useful as an authoritative DNS + server for an enterprise. +- ++.Pp + WWW: http://ironsides.martincarlisle.com +-.SH OPTIONS +-spark_dns_main does not take any options. However, you must supply a configuration file. +-dfcs.usafa.edu.zonefile is a sample configuration file. +-.SH BUGS ++.Sh OPTIONS ++.Nm ++does not take any options. However, you must supply a configuration file. ++The included dfcs.usafa.edu.zonefile file is a sample configuration. ++.Sh BUGS + No known bugs. +-.SH AUTHOR +-Martin Carlisle (ironsides@martincarlisle.com) +\ No newline at end of file ++.Sh AUTHOR ++.An Martin Carlisle Aq Mt ironsides@martincarlisle.com