bucket_4A/ironsides

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