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
  22 USES=                   dos2unix gprbuild
  23
  24 DISTNAME=               ironsides_authoritative-2015_04_15
  25
  26 LICENSE=                CUSTOM1:single
  27 LICENSE_NAME=           CUSTOM1:"IRONSIDES - Free software, unlimited redistribution"
  28 LICENSE_FILE=           CUSTOM1:{{WRKSRC}}/COPYRIGHT.txt
  29 LICENSE_SCHEME=         solo
  30
  31 DOS2UNIX_FILES=         dfcs.usafa.edu.zonefile
  32                         ironsides.1
  33 FPC_EQUIVALENT=         dns/ironsides
  34
  35 post-extract:
  36         ${CP} ${FILESDIR}/ironsides.gpr ${FILESDIR}/Makefile ${WRKSRC}/
  37
  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.
  46
  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.
  51
  52
  53 [FILE:117:distinfo]
  54 de865b0da6a3e1cc73249e90a6e13fcc33785a9a38b704efb9cfb04ff57fc3c4       199862 ironsides_authoritative-2015_04_15.zip
  55
  56
  57 [FILE:85:manifests/plist.single]
  58 sbin/ironsides
  59 share/ironsides/dfcs.usafa.edu.zonefile
  60 share/man/man1/ironsides.1.gz
  61
  62
  63 [FILE:1778:patches/patch-ironsides.1]
  64 --- ironsides.1.orig    2014-02-21 04:14:53.000000000 -0500
  65 +++ ironsides.1
  66 @@ -1,11 +1,14 @@
  67  .\" Manpage for ironsides.
  68 -.TH man 1 "06 May 2010" "1.0" "nuseradd man page"
  69 -.SH NAME
  70 -ironsides \- authoritative DNS server
  71 -
  72 -.SH SYNOPSIS
  73 -spark_dns_main configuration_file_name
  74 -.SH DESCRIPTION
  75 +.Dd 20 February 2014
  76 +.Dt IRONSIDES 1
  77 +.Os
  78 +.Sh NAME
  79 +.Nm ironsides
  80 +.Nd authoritative DNS server
  81 +.Sh SYNOPSIS
  82 +.Nm
  83 +.Op Ar configuration_file
  84 +.Sh DESCRIPTION
  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.
  92 -
  93 +.Pp
  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.
  98 -
  99 +.Pp
 100  WWW: http://ironsides.martincarlisle.com
 101 -.SH OPTIONS
 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.
 104 -.SH BUGS
 105 +.Sh OPTIONS
 106 +.Nm
 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.
 109 +.Sh BUGS
 110  No known bugs.
 111 -.SH AUTHOR
 112 -Martin Carlisle (ironsides@martincarlisle.com)
 113 \ No newline at end of file
 114 +.Sh AUTHOR
 115 +.An Martin Carlisle Aq Mt ironsides@martincarlisle.com
 116
 117
 118 [FILE:336:files/Makefile]
 119 all: build
 120
 121 build:
 122         gnatmake -p -P ironsides
 123
 124 install:
 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/
 131
 132
 133 [FILE:300:files/ironsides.gpr]
 134 with "spark2012.gpr";
 135
 136 project Ironsides is
 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");
 141
 142    package Compiler is
 143       for Default_Switches ("Ada") use ("-gnat05", "-gnatp", "-O3");
 144    end Compiler;
 145
 146 end Ironsides;
 147