1 # Buildsheet autogenerated by ravenadm tool -- Do not edit.
7 SDESC[standard]= Authoritative DNS server verified by SPARK/Ada
8 HOMEPAGE= http://ironsides.martincarlisle.com
9 CONTACT= John_Marino[draco@marino.st]
12 SITES[main]= http://ironsides.martincarlisle.com/
13 DISTFILE[1]= ironsides_authoritative-2015_04_15.zip:main
15 SPKGS[standard]= single
17 OPTIONS_AVAILABLE= none
18 OPTIONS_STANDARD= none
20 BUILD_DEPENDS= libspark2012:single:standard
22 USES= dos2unix gprbuild
24 DISTNAME= ironsides_authoritative-2015_04_15
26 LICENSE= CUSTOM1:single
27 LICENSE_NAME= CUSTOM1:"IRONSIDES - Free software, unlimited redistribution"
28 LICENSE_FILE= CUSTOM1:{{WRKSRC}}/COPYRIGHT.txt
31 DOS2UNIX_FILES= dfcs.usafa.edu.zonefile
33 FPC_EQUIVALENT= dns/ironsides
36 ${CP} ${FILESDIR}/ironsides.gpr ${FILESDIR}/Makefile ${WRKSRC}/
38 [FILE:755:descriptions/desc.single]
39 IRONSIDES is an authoritative DNS server that is provably invulnerable to
40 many of the problems that plague other servers. It achieves this property
41 through the use of formal methods in its design, in particular the language
42 Ada and the SPARK formal methods tool set. Code validated in this way is
43 provably exception-free, contains no data flow errors, and terminates only
44 in the ways that its programmers explicitly say that it can. These are very
45 desirable properties from a computer security perspective.
47 IRONSIDES is not a complete implementation of DNS. In particular, it does
48 not support zone transfers or recursive queries. It does, however, support
49 a sufficient number of DNS records to be useful as an authoritative DNS
50 server for an enterprise.
54 de865b0da6a3e1cc73249e90a6e13fcc33785a9a38b704efb9cfb04ff57fc3c4 199862 ironsides_authoritative-2015_04_15.zip
57 [FILE:85:manifests/plist.single]
59 share/ironsides/dfcs.usafa.edu.zonefile
60 share/man/man1/ironsides.1.gz
63 [FILE:1778:patches/patch-ironsides.1]
64 --- ironsides.1.orig 2014-02-21 04:14:53.000000000 -0500
67 .\" Manpage for ironsides.
68 -.TH man 1 "06 May 2010" "1.0" "nuseradd man page"
70 -ironsides \- authoritative DNS server
73 -spark_dns_main configuration_file_name
80 +.Nd authoritative DNS server
83 +.Op Ar configuration_file
85 IRONSIDES is an authoritative DNS server that is provably invulnerable to
86 many of the problems that plague other servers. It achieves this property
87 through the use of formal methods in its design, in particular the language
88 @@ -13,17 +16,18 @@ Ada and the SPARK formal methods tool se
89 provably exception-free, contains no data flow errors, and terminates only
90 in the ways that its programmers explicitly say that it can. These are very
91 desirable properties from a computer security perspective.
94 IRONSIDES is not a complete implementation of DNS. In particular, it does
95 not support zone transfers or recursive queries. It does, however, support
96 a sufficient number of DNS records to be useful as an authoritative DNS
97 server for an enterprise.
100 WWW: http://ironsides.martincarlisle.com
102 -spark_dns_main does not take any options. However, you must supply a configuration file.
103 -dfcs.usafa.edu.zonefile is a sample configuration file.
107 +does not take any options. However, you must supply a configuration file.
108 +The included dfcs.usafa.edu.zonefile file is a sample configuration.
112 -Martin Carlisle (ironsides@martincarlisle.com)
113 \ No newline at end of file
115 +.An Martin Carlisle Aq Mt ironsides@martincarlisle.com
118 [FILE:336:files/Makefile]
122 gnatmake -p -P ironsides
125 mkdir -p ${DESTDIR}${PREFIX}/share/ironsides
126 ${BSD_INSTALL_PROGRAM} final/spark_dns_main \
127 ${DESTDIR}${PREFIX}/sbin/ironsides
128 ${BSD_INSTALL_DATA} dfcs.usafa.edu.zonefile \
129 ${DESTDIR}${PREFIX}/share/ironsides/
130 ${BSD_INSTALL_MAN} ironsides.1 ${DESTDIR}${MANPREFIX}/man/man1/
133 [FILE:300:files/ironsides.gpr]
134 with "spark2012.gpr";
137 for Source_Dirs use (".");
138 for Object_Dir use "build";
139 for Exec_Dir use "final";
140 for Main use ("spark_dns_main.adb");
143 for Default_Switches ("Ada") use ("-gnat05", "-gnatp", "-O3");