cleanup: Remove ports depending on expired lang/gcc6-aux

Keep ports-mgmt/synth and dependencies (including lang/gcc6-aux itself)
for now as synth is the only Ada port still maintained and might be
somewhat high-profile.

Removed ports:
archivers/zip-ada
cad/ghdl
databases/adabase
databases/apq
databases/apq-mysql
databases/apq-odbc
databases/apq-pgsql
devel/ada-util
devel/adabooch
devel/adaid
devel/ahven
devel/alog
devel/aunit
devel/florist-gpl
devel/gprbuild
devel/libspark2012
devel/matreshka
devel/pcsc-ada
devel/pragmarcs
devel/sdl_gnat
dns/ironsides
graphics/generic_image_decoder
lang/adacontrol
lang/asis
lang/gnat_util
lang/lua-ada
math/plplot-ada
misc/excel-writer
net/adasockets
net/anet
security/libadacrypt
textproc/adabrowse
textproc/templates_parser
textproc/words
textproc/xmlada
x11-toolkits/gtkada
x11-toolkits/gtkada3

7 files changed, 0 insertions, 126 deletions

diff --git a/dns/Makefile b/dns/Makefile
index 97a3519e229f..58f59b673354 100644
--- a/dns/Makefile
+++ b/dns/Makefile
@@ -87,7 +87,6 @@
     SUBDIR += idnkit2
     SUBDIR += inadyn
     SUBDIR += ipcheck
-    SUBDIR += ironsides
     SUBDIR += kadnode
     SUBDIR += kf5-kdnssd
     SUBDIR += knock
diff --git a/dns/ironsides/Makefile b/dns/ironsides/Makefile
deleted file mode 100644
index 6709cf711c3a..000000000000
--- a/dns/ironsides/Makefile
+++ /dev/null
@@ -1,32 +0,0 @@
-# Created by: John Marino <marino@FreeBSD.org>
-
-PORTNAME=	ironsides
-PORTVERSION=	${SNAPSHOT:S/_//g}
-PORTREVISION=	2
-CATEGORIES=	dns
-MASTER_SITES=	http://ironsides.martincarlisle.com/
-DISTNAME=	ironsides_authoritative-${SNAPSHOT}
-
-MAINTAINER=	ports@FreeBSD.org
-COMMENT=	Authoritative DNS server formally verified by SPARK/Ada
-
-LICENSE=	Ironsides
-LICENSE_NAME=	IRONSIDES - Free software, unlimited redistribution
-LICENSE_FILE=	${WRKSRC}/COPYRIGHT.txt
-LICENSE_PERMS=	dist-mirror dist-sell pkg-mirror pkg-sell auto-accept
-
-BUILD_DEPENDS=	${LOCALBASE}/include/spark2012/spark.ads:devel/libspark2012
-
-USES=		ada dos2unix zip
-DOS2UNIX_FILES=	dfcs.usafa.edu.zonefile ironsides.1
-SNAPSHOT=	2015_04_15
-WRKSRC=		${WRKDIR}/${DISTFILES:S/.zip//}
-PLIST_FILES=	sbin/ironsides man/man1/ironsides.1.gz
-PORTEXAMPLES=	dfcs.usafa.edu.zonefile
-
-OPTIONS_DEFINE=	EXAMPLES
-
-post-extract:
-	@${CP} ${FILESDIR}/ironsides.gpr ${FILESDIR}/Makefile ${WRKSRC}/
-
-.include <bsd.port.mk>
diff --git a/dns/ironsides/distinfo b/dns/ironsides/distinfo
deleted file mode 100644
index 414ced1ddf93..000000000000
--- a/dns/ironsides/distinfo
+++ /dev/null
@@ -1,2 +0,0 @@
-SHA256 (ironsides_authoritative-2015_04_15.zip) = de865b0da6a3e1cc73249e90a6e13fcc33785a9a38b704efb9cfb04ff57fc3c4
-SIZE (ironsides_authoritative-2015_04_15.zip) = 199862
diff --git a/dns/ironsides/files/Makefile b/dns/ironsides/files/Makefile
deleted file mode 100644
index ec0787312a22..000000000000
--- a/dns/ironsides/files/Makefile
+++ /dev/null
@@ -1,12 +0,0 @@
-all: build
-
-build:
-	gnatmake -p -P ironsides
-
-install:
-	mkdir -p ${DESTDIR}${PREFIX}/share/examples/ironsides
-	${BSD_INSTALL_PROGRAM} final/spark_dns_main \
-		${DESTDIR}${PREFIX}/sbin/ironsides
-	${BSD_INSTALL_DATA} dfcs.usafa.edu.zonefile \
-		${DESTDIR}${PREFIX}/share/examples/ironsides/
-	${BSD_INSTALL_MAN} ironsides.1 ${DESTDIR}${PREFIX}/man/man1/
diff --git a/dns/ironsides/files/ironsides.gpr b/dns/ironsides/files/ironsides.gpr
deleted file mode 100644
index 1182641fd29d..000000000000
--- a/dns/ironsides/files/ironsides.gpr
+++ /dev/null
@@ -1,13 +0,0 @@
-with "spark2012.gpr";
-
-project Ironsides is
-   for Source_Dirs use (".");
-   for Object_Dir use "build";
-   for Exec_Dir use "final";
-   for Main use ("spark_dns_main.adb");
-
-   package Compiler is
-      for Default_Switches ("Ada") use ("-gnat05", "-gnatp", "-O3");
-   end Compiler;
-
-end Ironsides;
diff --git a/dns/ironsides/files/patch-ironsides.1 b/dns/ironsides/files/patch-ironsides.1
deleted file mode 100644
index de2821f78d3b..000000000000
--- a/dns/ironsides/files/patch-ironsides.1
+++ /dev/null
@@ -1,52 +0,0 @@
---- ironsides.1.orig	2014-02-21 04:14:53.000000000 -0500
-+++ ironsides.1
-@@ -1,11 +1,14 @@
- .\" Manpage for ironsides.
--.TH man 1 "06 May 2010" "1.0" "nuseradd man page"
--.SH NAME
--ironsides \- authoritative DNS server
--
--.SH SYNOPSIS
--spark_dns_main configuration_file_name
--.SH DESCRIPTION
-+.Dd 20 February 2014
-+.Dt IRONSIDES 1
-+.Os
-+.Sh NAME
-+.Nm ironsides
-+.Nd authoritative DNS server
-+.Sh SYNOPSIS
-+.Nm
-+.Op Ar configuration_file
-+.Sh DESCRIPTION
- 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
-@@ -13,17 +16,18 @@ Ada and the SPARK formal methods tool se
- 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.
--
-+.Pp
- 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.
--
-+.Pp
- WWW: http://ironsides.martincarlisle.com
--.SH OPTIONS
--spark_dns_main does not take any options. However, you must supply a configuration file. 
--dfcs.usafa.edu.zonefile is a sample configuration file.
--.SH BUGS
-+.Sh OPTIONS
-+.Nm
-+does not take any options. However, you must supply a configuration file.
-+The included dfcs.usafa.edu.zonefile file is a sample configuration.
-+.Sh BUGS
- No known bugs.
--.SH AUTHOR
--Martin Carlisle (ironsides@martincarlisle.com)
-\ No newline at end of file
-+.Sh AUTHOR
-+.An Martin Carlisle Aq Mt ironsides@martincarlisle.com
diff --git a/dns/ironsides/pkg-descr b/dns/ironsides/pkg-descr
deleted file mode 100644
index b13b3adcacaa..000000000000
--- a/dns/ironsides/pkg-descr
+++ /dev/null
@@ -1,14 +0,0 @@
-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.
-
-WWW: http://ironsides.martincarlisle.com