bucket_4A/ironsides

   1 # Buildsheet autogenerated by ravenadm tool -- Do not edit.
   2
   3 NAMEBASE=               ironsides
   4 VERSION=                20150415
   5 REVISION=               1
   6 KEYWORDS=               dns ada
   7 VARIANTS=               standard
   8 SDESC[standard]=        Authoritative DNS server verified by SPARK/Ada
   9 HOMEPAGE=               http://ironsides.martincarlisle.com
  10 CONTACT=                John_Marino[draco@marino.st]
  11
  12 DOWNLOAD_GROUPS=        main draco
  13 SITES[main]=            http://ironsides.martincarlisle.com/
  14 SITES[draco]=           http://downloads.dragonlace.net/src/
  15 DISTFILE[1]=            ironsides_authoritative-2015_04_15.zip:main
  16 DISTFILE[2]=            libspark2012-2012.tar.bz2:main
  17 DF_INDEX=               1 2
  18 SPKGS[standard]=        complete
  19                         primary
  20                         man
  21
  22 OPTIONS_AVAILABLE=      none
  23 OPTIONS_STANDARD=       none
  24
  25 USES=                   dos2unix gprbuild
  26
  27 DISTNAME=               ironsides_authoritative-2015_04_15
  28
  29 LICENSE=                CUSTOM1:primary
  30 LICENSE_NAME=           CUSTOM1:"IRONSIDES - Free software, unlimited redistribution"
  31 LICENSE_FILE=           CUSTOM1:{{WRKSRC}}/COPYRIGHT.txt
  32 LICENSE_SCHEME=         solo
  33
  34 DOS2UNIX_FILES=         dfcs.usafa.edu.zonefile
  35                         COPYRIGHT.txt
  36                         ironsides.1
  37
  38 post-extract:
  39         ${CP} ${FILESDIR}/ironsides.gpr ${FILESDIR}/Makefile ${WRKSRC}/
  40         ${CP} ${FILESDIR}/spark2012.gpr ${WRKSRC}/
  41
  42 [FILE:755:descriptions/desc.primary]
  43 IRONSIDES is an authoritative DNS server that is provably invulnerable to
  44 many of the problems that plague other servers. It achieves this property
  45 through the use of formal methods in its design, in particular the language
  46 Ada and the SPARK formal methods tool set. Code validated in this way is
  47 provably exception-free, contains no data flow errors, and terminates only
  48 in the ways that its programmers explicitly say that it can. These are very
  49 desirable properties from a computer security perspective.
  50
  51 IRONSIDES is not a complete implementation of DNS. In particular, it does
  52 not support zone transfers or recursive queries. It does, however, support
  53 a sufficient number of DNS records to be useful as an authoritative DNS
  54 server for an enterprise.
  55
  56
  57 [FILE:221:distinfo]
  58 de865b0da6a3e1cc73249e90a6e13fcc33785a9a38b704efb9cfb04ff57fc3c4       199862 ironsides_authoritative-2015_04_15.zip
  59 862e6b23ff44aea02ab10a4dcc2c00a9893231286d51a6bc587230366c936db2        23773 libspark2012-2012.tar.bz2
  60
  61
  62 [FILE:55:manifests/plist.primary]
  63 sbin/ironsides
  64 share/ironsides/dfcs.usafa.edu.zonefile
  65
  66
  67 [FILE:30:manifests/plist.man]
  68 share/man/man1/ironsides.1.gz
  69
  70
  71 [FILE:1778:patches/patch-ironsides.1]
  72 --- ironsides.1.orig    2014-02-21 04:14:53.000000000 -0500
  73 +++ ironsides.1
  74 @@ -1,11 +1,14 @@
  75  .\" Manpage for ironsides.
  76 -.TH man 1 "06 May 2010" "1.0" "nuseradd man page"
  77 -.SH NAME
  78 -ironsides \- authoritative DNS server
  79 -
  80 -.SH SYNOPSIS
  81 -spark_dns_main configuration_file_name
  82 -.SH DESCRIPTION
  83 +.Dd 20 February 2014
  84 +.Dt IRONSIDES 1
  85 +.Os
  86 +.Sh NAME
  87 +.Nm ironsides
  88 +.Nd authoritative DNS server
  89 +.Sh SYNOPSIS
  90 +.Nm
  91 +.Op Ar configuration_file
  92 +.Sh DESCRIPTION
  93  IRONSIDES is an authoritative DNS server that is provably invulnerable to
  94  many of the problems that plague other servers. It achieves this property
  95  through the use of formal methods in its design, in particular the language
  96 @@ -13,17 +16,18 @@ Ada and the SPARK formal methods tool se
  97  provably exception-free, contains no data flow errors, and terminates only
  98  in the ways that its programmers explicitly say that it can. These are very
  99  desirable properties from a computer security perspective.
 100 -
 101 +.Pp
 102  IRONSIDES is not a complete implementation of DNS. In particular, it does
 103  not support zone transfers or recursive queries. It does, however, support
 104  a sufficient number of DNS records to be useful as an authoritative DNS
 105  server for an enterprise.
 106 -
 107 +.Pp
 108  WWW: http://ironsides.martincarlisle.com
 109 -.SH OPTIONS
 110 -spark_dns_main does not take any options. However, you must supply a configuration file.
 111 -dfcs.usafa.edu.zonefile is a sample configuration file.
 112 -.SH BUGS
 113 +.Sh OPTIONS
 114 +.Nm
 115 +does not take any options. However, you must supply a configuration file.
 116 +The included dfcs.usafa.edu.zonefile file is a sample configuration.
 117 +.Sh BUGS
 118  No known bugs.
 119 -.SH AUTHOR
 120 -Martin Carlisle (ironsides@martincarlisle.com)
 121 \ No newline at end of file
 122 +.Sh AUTHOR
 123 +.An Martin Carlisle Aq Mt ironsides@martincarlisle.com
 124
 125
 126 [FILE:336:files/Makefile]
 127 all: build
 128
 129 build:
 130         gnatmake -p -P ironsides
 131
 132 install:
 133         mkdir -p ${DESTDIR}${PREFIX}/share/ironsides
 134         ${BSD_INSTALL_PROGRAM} final/spark_dns_main \
 135                 ${DESTDIR}${PREFIX}/sbin/ironsides
 136         ${BSD_INSTALL_DATA} dfcs.usafa.edu.zonefile \
 137                 ${DESTDIR}${PREFIX}/share/ironsides/
 138         ${BSD_INSTALL_MAN} ironsides.1 ${DESTDIR}${MANPREFIX}/man/man1/
 139
 140
 141 [FILE:300:files/ironsides.gpr]
 142 with "spark2012.gpr";
 143
 144 project Ironsides is
 145    for Source_Dirs use (".");
 146    for Object_Dir use "build";
 147    for Exec_Dir use "final";
 148    for Main use ("spark_dns_main.adb");
 149
 150    package Compiler is
 151       for Default_Switches ("Ada") use ("-gnat05", "-gnatp", "-O3");
 152    end Compiler;
 153
 154 end Ironsides;
 155
 156
 157 [FILE:91:files/spark2012.gpr]
 158 project SPARK2012 is
 159
 160    for Source_Dirs use ("../libspark2012-2012/src");
 161
 162 end SPARK2012;
 163