3 files changed, 59 insertions, 7 deletions

diff --git a/dns/ironsides/Makefile b/dns/ironsides/Makefile
index 16c06d870422..6a9830bf675d 100644
--- a/dns/ironsides/Makefile
+++ b/dns/ironsides/Makefile
@@ -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-mirror pkg-sell auto-accept
 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>
diff --git a/dns/ironsides/distinfo b/dns/ironsides/distinfo
index c8e142085219..a06193117bcd 100644
--- a/dns/ironsides/distinfo
+++ b/dns/ironsides/distinfo
@@ -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
diff --git a/dns/ironsides/files/patch-ironsides.1 b/dns/ironsides/files/patch-ironsides.1
new file mode 100644
index 000000000000..de2821f78d3b
--- /dev/null
+++ b/dns/ironsides/files/patch-ironsides.1
@@ -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