diff options
Diffstat (limited to 'dns')
| -rw-r--r-- | dns/ironsides/Makefile | 10 | ||||
| -rw-r--r-- | dns/ironsides/distinfo | 4 | ||||
| -rw-r--r-- | dns/ironsides/files/patch-ironsides.1 | 52 |
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 |