8 files changed, 0 insertions, 304 deletions
diff --git a/security/libsparkcrypto/Makefile b/security/libsparkcrypto/Makefile
deleted file mode 100644
index ba3093d2f7d9..000000000000
--- a/security/libsparkcrypto/Makefile
+++ /dev/null
@@ -1,45 +0,0 @@
-# Created by: John Marino <marino@FreeBSD.org>
-# $FreeBSD$
-
-PORTNAME=	libsparkcrypto
-PORTVERSION=	0.1.1
-PORTREVISION=	5
-CATEGORIES=	security
-MASTER_SITES=	http://senier.net/libsparkcrypto/
-
-MAINTAINER=	ports@FreeBSD.org
-COMMENT=	Cryptographic library implemented in SPARK
-
-LICENSE=	BSD3CLAUSE
-
-BROKEN=		unfetchable
-DEPRECATED=	Unfetchable, unmaintained
-EXPIRATION_DATE=	2019-10-16
-
-USES=		ada dos2unix gmake tar:tgz
-DOS2UNIX_FILES=	Makefile build/libsparkcrypto.gpr \
-		src/shared/generic/lsc-byteswap64.ads \
-		src/shared/generic/lsc-types.ads
-SPARKARCH:=	${ARCH:S/amd64/x86_64/:S/i386/i686/}
-ALL_TARGET=	all build
-
-BROKEN_aarch64=		fails to compile: unsupported architecture: aarch64
-
-MAKE_ENV+=	SPARKARCH=${SPARKARCH} \
-		SPARK_DIR=${WRKSRC}/src/spark \
-		MODE=release \
-		RUNTIME=native \
-		NO_TESTS=true \
-		NO_PROOF=true
-
-OPTIONS_DEFINE=		DOCS
-
-DOCS_BUILD_DEPENDS=	adabrowse:textproc/adabrowse
-DOCS_MAKE_ENV_OFF=	NO_APIDOC=true
-
-post-patch:
-#	ports passed unwanted ARCH definition to Makefile
-	@${REINPLACE_CMD} -e 's|ARCH|SPARKARCH|g' \
-		${WRKSRC}/Makefile
-
-.include <bsd.port.mk>
diff --git a/security/libsparkcrypto/distinfo b/security/libsparkcrypto/distinfo
deleted file mode 100644
index b32135fb105a..000000000000
--- a/security/libsparkcrypto/distinfo
+++ /dev/null
@@ -1,2 +0,0 @@
-SHA256 (libsparkcrypto-0.1.1.tgz) = 47582d6910b8c5bb46df51d0e76c27e6fa2b13e8ab73fb4ae0f1d9f7cbd7aa6a
-SIZE (libsparkcrypto-0.1.1.tgz) = 101491
diff --git a/security/libsparkcrypto/files/patch-Makefile b/security/libsparkcrypto/files/patch-Makefile
deleted file mode 100644
index 46a53a5fb4c6..000000000000
--- a/security/libsparkcrypto/files/patch-Makefile
+++ /dev/null
@@ -1,88 +0,0 @@
---- Makefile.orig	2013-07-20 13:54:32.000000000 +0000
-+++ Makefile
-@@ -5,7 +5,6 @@ UNAME_M   := $(shell uname -m)
- ARCH        ?= $(UNAME_M)
- RUNTIME     ?= native
- TESTS       ?= test_aes test_hmac test_ripemd160 test_sha2 test_shadow benchmark
--DESTDIR     ?= /usr/local
- TARGET_CFG  ?= $(OUTPUT_DIR)/target.cfg
- 
- VERSION     ?= 0.1.1
-@@ -33,7 +32,7 @@ SHARED_DIRS = src/shared/$(ENDIANESS) sr
- ARCH_FILES  = $(wildcard src/ada/$(ARCH)/*.ad?)
- ADT_FILES   = $(addprefix $(OUTPUT_DIR)/tree/,$(notdir $(patsubst %.ads,%.adt,$(wildcard src/shared/generic/*.ads))))
- 
--ALL_GOALS      = install_local
-+ALL_GOALS      = 
- INSTALL_DEPS   = install_files
- 
- # SPARK_DIR must be set
-@@ -78,6 +77,7 @@ endif
- # Feature: NO_APIDOC
- ifeq ($(NO_APIDOC),)
- ALL_GOALS += apidoc
-+INSTALL_DEPS += install_docs
- endif
- 
- ###############################################################################
-@@ -119,9 +119,12 @@ proof: $(OUTPUT_DIR)/proof/libsparkcrypt
- apidoc: $(ADT_FILES)
- 	echo $^ | xargs -n1 > $(OUTPUT_DIR)/tree.lst
- 	adabrowse -T $(OUTPUT_DIR)/tree -f @$(OUTPUT_DIR)/tree.lst -w1 -c doc/adabrowse.conf -o $(OUTPUT_DIR)/doc/
--	install -m 644 doc/libsparkcrypto.css $(OUTPUT_DIR)/doc/libsparkcrypto.css
--	install -m 644 doc/apidoc.css $(OUTPUT_DIR)/doc/apidoc.css
--	install -m 644 doc/lsc_logo.png $(OUTPUT_DIR)/doc/lsc_logo.png
-+
-+install_docs:
-+	install -d -m 755 $(DESTDIR)$(PREFIX)/share/doc/libsparkcrypto
-+	install -m 644 doc/libsparkcrypto.css doc/apidoc.css \
-+		doc/lsc_logo.png $(DESTDIR)$(PREFIX)/share/doc/libsparkcrypto
-+	install -m 644 $(OUTPUT_DIR)/doc/* $(DESTDIR)$(PREFIX)/share/doc/libsparkcrypto/
- 
- archive: $(OUTPUT_DIR)/doc/libsparkcrypto-$(VERSION).tgz
- 
-@@ -154,21 +157,33 @@ $(OUTPUT_DIR)/proof/libsparkcrypto.idx:
- install: $(INSTALL_DEPS)
- 
- install_files: build
--	install -d -m 755 $(DESTDIR)/adalib $(DESTDIR)/adainclude $(DESTDIR)/sharedinclude
--	install -p -m 755 $(OUTPUT_DIR)/build/adalib/libsparkcrypto.a $(DESTDIR)/adalib/libsparkcrypto.a
--	install -p -m 644 build/libsparkcrypto.gpr $(DESTDIR)/libsparkcrypto.gpr
--	install -p -m 644 src/shared/$(ENDIANESS)/*.ad? $(DESTDIR)/sharedinclude/
--	install -p -m 644 src/shared/generic/*.ad? $(DESTDIR)/sharedinclude/
--	install -p -m 644 src/ada/generic/*.ad? $(DESTDIR)/adainclude/
--	install -p -m 644 src/ada/$(IO)/*.ad? $(DESTDIR)/adainclude/
-+	install -d -m 755 $(DESTDIR)$(PREFIX)/lib/libsparkcrypto \
-+		$(DESTDIR)$(PREFIX)/include/libsparkcrypto/adainclude \
-+		$(DESTDIR)$(PREFIX)/lib/gnat \
-+		$(DESTDIR)$(PREFIX)/include/libsparkcrypto/sharedinclude
-+	install -p -m 755 $(OUTPUT_DIR)/build/adalib/libsparkcrypto.a \
-+		$(DESTDIR)$(PREFIX)/lib/libsparkcrypto
-+	install -p -m 644 build/libsparkcrypto.gpr \
-+		$(DESTDIR)$(PREFIX)/lib/gnat
-+	install -p -m 644 src/shared/$(ENDIANESS)/*.ad? \
-+		$(DESTDIR)$(PREFIX)/include/libsparkcrypto/sharedinclude/
-+	install -p -m 644 src/shared/generic/*.ad? \
-+		$(DESTDIR)$(PREFIX)/include/libsparkcrypto/sharedinclude/
-+	install -p -m 644 src/ada/generic/*.ad? \
-+		$(DESTDIR)$(PREFIX)/include/libsparkcrypto/adainclude/
-+	install -p -m 644 src/ada/$(IO)/*.ad? \
-+		$(DESTDIR)$(PREFIX)/include/libsparkcrypto/adainclude/
- ifneq ($(strip $(ARCH_FILES)),)
--	install -p -m 644 $(ARCH_FILES) $(DESTDIR)/adainclude/
-+	install -p -m 644 $(ARCH_FILES) \
-+		$(DESTDIR)$(PREFIX)/include/libsparkcrypto/adainclude/
- endif
--	install -p -m 444 $(OUTPUT_DIR)/build/adalib/*.ali $(DESTDIR)/adalib/
-+	install -p -m 444 $(OUTPUT_DIR)/build/adalib/*.ali \
-+		$(DESTDIR)$(PREFIX)/lib/libsparkcrypto/
- 
- install_proof: install_files proof
--	install -D -p -m 444 $(OUTPUT_DIR)/proof/libsparkcrypto.sum $(DESTDIR)/libsparkcrypto.sum
--	(cd $(OUTPUT_DIR)/empty && sparkmake -include=*\.ads -dir=$(DESTDIR)/sharedinclude -nometa -index=$(DESTDIR)/libsparkcrypto.idx)
-+	install -D -p -m 444 $(OUTPUT_DIR)/proof/libsparkcrypto.sum \
-+		$(DESTDIR)$(PREFIX)/include/libsparkcrypto
-+	(cd $(OUTPUT_DIR)/empty && sparkmake -include=*\.ads -dir=$(DESTDIR)$(PREFIX)/include/libsparkcrypto/sharedinclude -nometa -index=$(DESTDIR)$(PREFIX)/include/libsparkcrypto/libsparkcrypto.idx)
- 
- install_local: DESTDIR = $(OUTPUT_DIR)/libsparkcrypto
- install_local: install
diff --git a/security/libsparkcrypto/files/patch-build_libsparkcrypto.gpr b/security/libsparkcrypto/files/patch-build_libsparkcrypto.gpr
deleted file mode 100644
index 2483214ff5c5..000000000000
--- a/security/libsparkcrypto/files/patch-build_libsparkcrypto.gpr
+++ /dev/null
@@ -1,13 +0,0 @@
---- build/libsparkcrypto.gpr.orig	2013-06-26 21:14:37.000000000 +0000
-+++ build/libsparkcrypto.gpr
-@@ -1,7 +1,8 @@
- project Libsparkcrypto
- is
--   for Source_Dirs  use ("adainclude", "sharedinclude");
--   for Library_Dir  use "adalib";
-+   for Source_Dirs  use ("../../include/libsparkcryto/adainclude",
-+      "../../include/libsparkcrypto/sharedinclude");
-+   for Library_Dir  use "../libsparkcrypto";
-    for Library_Kind use "static";
-    for Library_Name use "sparkcrypto";
-    for Externally_Built use "true";
diff --git a/security/libsparkcrypto/files/patch-src_shared_generic_lsc-byteswap64.ads b/security/libsparkcrypto/files/patch-src_shared_generic_lsc-byteswap64.ads
deleted file mode 100644
index 4a33dd64ac57..000000000000
--- a/security/libsparkcrypto/files/patch-src_shared_generic_lsc-byteswap64.ads
+++ /dev/null
@@ -1,9 +0,0 @@
---- src/shared/generic/lsc-byteswap64.ads.orig	2015-07-05 09:06:26 UTC
-+++ src/shared/generic/lsc-byteswap64.ads
-@@ -44,6 +44,5 @@ package LSC.Byteswap64 is
- 
-    -- Byte-swap @Value@
-    function Swap (Value : Types.Word64) return Types.Word64;
--   pragma Inline (Swap);
- 
- end LSC.Byteswap64;
diff --git a/security/libsparkcrypto/files/patch-src_shared_generic_lsc-types.ads b/security/libsparkcrypto/files/patch-src_shared_generic_lsc-types.ads
deleted file mode 100644
index 5613ca8a4d48..000000000000
--- a/security/libsparkcrypto/files/patch-src_shared_generic_lsc-types.ads
+++ /dev/null
@@ -1,21 +0,0 @@
---- src/shared/generic/lsc-types.ads.orig	2015-03-16 17:16:28 UTC
-+++ src/shared/generic/lsc-types.ads
-@@ -102,18 +102,14 @@ package LSC.Types is
- 
-    -- Convert 32-bit word to 32-bit byte array
-    function Word32_To_Byte_Array32 (Value : Word32) return Byte_Array32_Type;
--   pragma Inline (Word32_To_Byte_Array32);
- 
-    -- Convert 32-bit byte array to 32-bit word
-    function Byte_Array32_To_Word32 (Value : Byte_Array32_Type) return Word32;
--   pragma Inline (Byte_Array32_To_Word32);
- 
-    -- Convert 64-bit word to 64-bit byte array
-    function Word64_To_Byte_Array64 (Value : Word64) return Byte_Array64_Type;
--   pragma Inline (Word64_To_Byte_Array64);
- 
-    -- Convert 64-bit byte array to 64-bit word
-    function Byte_Array64_To_Word64 (Value : Byte_Array64_Type) return Word64;
--   pragma Inline (Byte_Array64_To_Word64);
- 
- end LSC.Types;
diff --git a/security/libsparkcrypto/pkg-descr b/security/libsparkcrypto/pkg-descr
deleted file mode 100644
index cb64120ca02b..000000000000
--- a/security/libsparkcrypto/pkg-descr
+++ /dev/null
@@ -1,12 +0,0 @@
-libsparkcrypto is a formally verified implementation of several widely used
-symmetric cryptographic algorithms using the SPARK programming language and
-toolset. For the complete library proofs of the absence of run-time errors
-like type range violations, division by zero and numerical overflows are
-available. Some of its subprograms include proofs of partial correctness.
-
-The distribution contains test cases for all implemented algorithms and a
-benchmark to compare its performance with the OpenSSL library. The achieved
-speed has been found to be very close to the optimized C and Assembler
-implementations of OpenSSL.
-
-WWW: http://senier.net/libsparkcrypto/
diff --git a/security/libsparkcrypto/pkg-plist b/security/libsparkcrypto/pkg-plist
deleted file mode 100644
index a51adea6a6ff..000000000000
--- a/security/libsparkcrypto/pkg-plist
+++ /dev/null
@@ -1,114 +0,0 @@
-include/libsparkcrypto/adainclude/lsc-aes-print.adb
-include/libsparkcrypto/adainclude/lsc-aes-print.ads
-include/libsparkcrypto/adainclude/lsc-byteswap32.adb
-include/libsparkcrypto/adainclude/lsc-byteswap64.adb
-include/libsparkcrypto/adainclude/lsc-debug.ads
-include/libsparkcrypto/adainclude/lsc-io.adb
-include/libsparkcrypto/adainclude/lsc-ripemd160-print.adb
-include/libsparkcrypto/adainclude/lsc-ripemd160-print.ads
-include/libsparkcrypto/adainclude/lsc-test.adb
-include/libsparkcrypto/adainclude/lsc-types.adb
-include/libsparkcrypto/sharedinclude/lsc-aes-cbc.adb
-include/libsparkcrypto/sharedinclude/lsc-aes-cbc.ads
-include/libsparkcrypto/sharedinclude/lsc-aes-print.ads
-include/libsparkcrypto/sharedinclude/lsc-aes-tables.ads
-include/libsparkcrypto/sharedinclude/lsc-aes.adb
-include/libsparkcrypto/sharedinclude/lsc-aes.ads
-include/libsparkcrypto/sharedinclude/lsc-byteorder32.adb
-include/libsparkcrypto/sharedinclude/lsc-byteorder32.ads
-include/libsparkcrypto/sharedinclude/lsc-byteorder64.adb
-include/libsparkcrypto/sharedinclude/lsc-byteorder64.ads
-include/libsparkcrypto/sharedinclude/lsc-byteswap32.adb
-include/libsparkcrypto/sharedinclude/lsc-byteswap32.ads
-include/libsparkcrypto/sharedinclude/lsc-byteswap64.adb
-include/libsparkcrypto/sharedinclude/lsc-byteswap64.ads
-include/libsparkcrypto/sharedinclude/lsc-debug.ads
-include/libsparkcrypto/sharedinclude/lsc-hmac_ripemd160.adb
-include/libsparkcrypto/sharedinclude/lsc-hmac_ripemd160.ads
-include/libsparkcrypto/sharedinclude/lsc-hmac_sha256.adb
-include/libsparkcrypto/sharedinclude/lsc-hmac_sha256.ads
-include/libsparkcrypto/sharedinclude/lsc-hmac_sha384.adb
-include/libsparkcrypto/sharedinclude/lsc-hmac_sha384.ads
-include/libsparkcrypto/sharedinclude/lsc-hmac_sha512.adb
-include/libsparkcrypto/sharedinclude/lsc-hmac_sha512.ads
-include/libsparkcrypto/sharedinclude/lsc-io.ads
-include/libsparkcrypto/sharedinclude/lsc-ops32.adb
-include/libsparkcrypto/sharedinclude/lsc-ops32.ads
-include/libsparkcrypto/sharedinclude/lsc-ops64.adb
-include/libsparkcrypto/sharedinclude/lsc-ops64.ads
-include/libsparkcrypto/sharedinclude/lsc-pad32.adb
-include/libsparkcrypto/sharedinclude/lsc-pad32.ads
-include/libsparkcrypto/sharedinclude/lsc-pad64.adb
-include/libsparkcrypto/sharedinclude/lsc-pad64.ads
-include/libsparkcrypto/sharedinclude/lsc-ripemd160-print.ads
-include/libsparkcrypto/sharedinclude/lsc-ripemd160.adb
-include/libsparkcrypto/sharedinclude/lsc-ripemd160.ads
-include/libsparkcrypto/sharedinclude/lsc-sha256-tables.ads
-include/libsparkcrypto/sharedinclude/lsc-sha256.adb
-include/libsparkcrypto/sharedinclude/lsc-sha256.ads
-include/libsparkcrypto/sharedinclude/lsc-sha512-tables.ads
-include/libsparkcrypto/sharedinclude/lsc-sha512.adb
-include/libsparkcrypto/sharedinclude/lsc-sha512.ads
-include/libsparkcrypto/sharedinclude/lsc-test.ads
-include/libsparkcrypto/sharedinclude/lsc-types.ads
-include/libsparkcrypto/sharedinclude/lsc.ads
-lib/gnat/libsparkcrypto.gpr
-lib/libsparkcrypto/libsparkcrypto.a
-lib/libsparkcrypto/lsc-aes-cbc.ali
-lib/libsparkcrypto/lsc-aes-print.ali
-lib/libsparkcrypto/lsc-aes-tables.ali
-lib/libsparkcrypto/lsc-aes.ali
-lib/libsparkcrypto/lsc-byteorder32.ali
-lib/libsparkcrypto/lsc-byteorder64.ali
-lib/libsparkcrypto/lsc-byteswap32.ali
-lib/libsparkcrypto/lsc-byteswap64.ali
-lib/libsparkcrypto/lsc-debug.ali
-lib/libsparkcrypto/lsc-hmac_ripemd160.ali
-lib/libsparkcrypto/lsc-hmac_sha256.ali
-lib/libsparkcrypto/lsc-hmac_sha384.ali
-lib/libsparkcrypto/lsc-hmac_sha512.ali
-lib/libsparkcrypto/lsc-io.ali
-lib/libsparkcrypto/lsc-ops32.ali
-lib/libsparkcrypto/lsc-ops64.ali
-lib/libsparkcrypto/lsc-pad32.ali
-lib/libsparkcrypto/lsc-pad64.ali
-lib/libsparkcrypto/lsc-ripemd160-print.ali
-lib/libsparkcrypto/lsc-ripemd160.ali
-lib/libsparkcrypto/lsc-sha256-tables.ali
-lib/libsparkcrypto/lsc-sha256.ali
-lib/libsparkcrypto/lsc-sha512-tables.ali
-lib/libsparkcrypto/lsc-sha512.ali
-lib/libsparkcrypto/lsc-test.ali
-lib/libsparkcrypto/lsc-types.ali
-lib/libsparkcrypto/lsc.ali
-%%PORTDOCS%%%%DOCSDIR%%/apidoc.css
-%%PORTDOCS%%%%DOCSDIR%%/libsparkcrypto.css
-%%PORTDOCS%%%%DOCSDIR%%/lsc-aes-cbc.html
-%%PORTDOCS%%%%DOCSDIR%%/lsc-aes-print.html
-%%PORTDOCS%%%%DOCSDIR%%/lsc-aes-tables.html
-%%PORTDOCS%%%%DOCSDIR%%/lsc-aes.html
-%%PORTDOCS%%%%DOCSDIR%%/lsc-byteorder32.html
-%%PORTDOCS%%%%DOCSDIR%%/lsc-byteorder64.html
-%%PORTDOCS%%%%DOCSDIR%%/lsc-byteswap32.html
-%%PORTDOCS%%%%DOCSDIR%%/lsc-byteswap64.html
-%%PORTDOCS%%%%DOCSDIR%%/lsc-debug.html
-%%PORTDOCS%%%%DOCSDIR%%/lsc-hmac_ripemd160.html
-%%PORTDOCS%%%%DOCSDIR%%/lsc-hmac_sha256.html
-%%PORTDOCS%%%%DOCSDIR%%/lsc-hmac_sha384.html
-%%PORTDOCS%%%%DOCSDIR%%/lsc-hmac_sha512.html
-%%PORTDOCS%%%%DOCSDIR%%/lsc-io.html
-%%PORTDOCS%%%%DOCSDIR%%/lsc-ops32.html
-%%PORTDOCS%%%%DOCSDIR%%/lsc-ops64.html
-%%PORTDOCS%%%%DOCSDIR%%/lsc-pad32.html
-%%PORTDOCS%%%%DOCSDIR%%/lsc-pad64.html
-%%PORTDOCS%%%%DOCSDIR%%/lsc-ripemd160-print.html
-%%PORTDOCS%%%%DOCSDIR%%/lsc-ripemd160.html
-%%PORTDOCS%%%%DOCSDIR%%/lsc-sha256-tables.html
-%%PORTDOCS%%%%DOCSDIR%%/lsc-sha256.html
-%%PORTDOCS%%%%DOCSDIR%%/lsc-sha512-tables.html
-%%PORTDOCS%%%%DOCSDIR%%/lsc-sha512.html
-%%PORTDOCS%%%%DOCSDIR%%/lsc-test.html
-%%PORTDOCS%%%%DOCSDIR%%/lsc-types.html
-%%PORTDOCS%%%%DOCSDIR%%/lsc.html
-%%PORTDOCS%%%%DOCSDIR%%/lsc_logo.png
-%%PORTDOCS%%%%DOCSDIR%%/subprograms.html