svn commit: r345353 - in head/dns/ironsides: . files

[John Marino]

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 at 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 at martincarlisle.com)
+\ No newline at end of file
++.Sh AUTHOR
++.An Martin Carlisle Aq Mt ironsides at martincarlisle.com