Date: Fri, 21 Feb 2014 10:11:39 +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: r345353 - in head/dns/ironsides: . files Message-ID: <201402211011.s1LABd66077902@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
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 <bsd.port.mk> 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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201402211011.s1LABd66077902>