aboutsummaryrefslogtreecommitdiff
path: root/dns/ironsides
Commit message (Collapse)AuthorAgeFilesLines
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
|
* Add EXAMPLES options to ports that should have one.Mathieu Arnold2018-09-101-0/+2
| | | | | | | | | | | Also various fixes related to said option. PR: 230864 Submitted by: mat exp-runs by: antoine Notes: svn path=/head/; revision=479407
* Bump PORTREVISIONs of all users of math/mpc that we just updated toGerald Pfeifer2018-03-101-1/+1
| | | | | | | version 1.1.0 (via revision 464079). Notes: svn path=/head/; revision=464084
* Return ports maintained by John Marino to the pool, he is no longer interested.Rene Ladan2017-04-211-1/+1
| | | | | | | Submitted by: Mark Millard via private e-mail Notes: svn path=/head/; revision=439129
* Return the ports mistakenly reset to ports@ in r433856 to John Marino.Rene Ladan2017-02-151-1/+1
| | | | | | | | | | | The mistake was completely on my part, I somehow connected the dots the wrong way in my head. The only exceptions (for now) are archivers/zstd and ports-mgmt/synth which were already picked up by new volunteers in the mean time. Notes: svn path=/head/; revision=434195
* Return ports maintained by John Marino to the pool, see r433827 for detailsRene Ladan2017-02-111-1/+1
| | | | Notes: svn path=/head/; revision=433856
* dns/ironsides finally builds on gcc6-aux, switch over to itJohn Marino2016-08-271-1/+2
| | | | | | | | | | It appears the previous STORAGE ERROR was a compiler bug that got fixed between the GCC 6.1 and 6.2 versions of gcc6-aux. Switch it and the helper port devel/libspark2012 over to it, which are the last two ports that depend on lang/gcc6-aux. Notes: svn path=/head/; revision=421003
* Restrict dns/ironsides to gcc5-aux onlyJohn Marino2016-04-111-1/+1
| | | | | | | | | | | | Right now, ironsides emits a STORAGE ERROR during building with lang/gcc6-aux. It's unclear if the problem lies with compiler or with ironsides. For now, limit building it with gcc5-aux (the default). The USES=ada:5 setting wasn't supported, but it should have been. This has also been fixed. Notes: svn path=/head/; revision=413032
* Remove ${PORTSDIR}/ from dependencies, categories d, e, f, and g.Mathieu Arnold2016-04-011-1/+1
| | | | | | | | With hat: portmgr Sponsored by: Absolight Notes: svn path=/head/; revision=412346
* dns/ironsides: Upgrade snapshot 2014-04-20 => 2015-04-15John Marino2015-11-072-4/+3
| | | | Notes: svn path=/head/; revision=400981
* dns/ironsides: Remove pkg-plistJohn Marino2014-10-162-5/+3
| | | | Notes: svn path=/head/; revision=370994
* dns/ironsides: USES+= zipJohn Marino2014-05-281-2/+2
| | | | Notes: svn path=/head/; revision=355662
* dns/ironsides: Actually install the man page!John Marino2014-02-213-0/+3
| | | | Notes: svn path=/head/; revision=345365
* dns/ironsides: Upgrade version 20130315 to 20140220John Marino2014-02-213-7/+59
| | | | | | | | | After contacting the author, he updated the snapshot to the latest, remove 7M worth of dead files and adding a man page. I made some corrections to that man page and converted it to mdoc tags. Notes: svn path=/head/; revision=345353
* dns/ironsides: Fix extraction problem on clean jailJohn Marino2014-02-191-2/+1
| | | | | | | | | | GNATMake was used to clean up the WRKSRC after extraction, but the problem is that it's not present at that point on a clean build; it comes in later as a build dependency. Rather than a messy definition of extract-depends, just remove the files manually without gnatmake. Notes: svn path=/head/; revision=344987
* Add new Ada-based DNS server port: dns/ironsidesJohn Marino2014-02-176-0/+72
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 Ada and the SPARK formal methods tool set. Code validated in this way is 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. 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. Notes: svn path=/head/; revision=344727