Remove this obsolete port of Temporally Enhanced Security Logic

Assertions (TESLA).

It's one of two dependencies on clang33/llvm33 and no one is using it
(we'd be seeing support requests if they were).

Should a new version be useful, we'll add a new port.

7 files changed, 1 insertions, 72 deletions

diff --git a/MOVED b/MOVED
index 742f6aca2530..1e916ad8c0e5 100644
--- a/MOVED
+++ b/MOVED
@@ -10178,3 +10178,4 @@ lang/py-clojure_py||2018-04-30|Has expired: Upstream disappeared and it does not
 textproc/rubygem-escape_utils-rails4|textproc/rubygem-escape_utils|2018-04-30|Has expired: Use textproc/rubygem-escape_utils instead
 databases/rubygem-seed-fu236|databases/rubygem-seed-fu|2018-05-01|Has expired: Obsoleted by update of www/gitlab. Please use databases/rubygem-seed-fu
 security/polarssl13||2018-05-01|Has expired: has reached end of life
+devel/tesla/||2018-05-06|Outdated and almost certainly unused
diff --git a/devel/Makefile b/devel/Makefile
index 529eff6f5b6b..5d840725453a 100644
--- a/devel/Makefile
+++ b/devel/Makefile
@@ -6108,7 +6108,6 @@
     SUBDIR += tclxml
     SUBDIR += tdl
     SUBDIR += terminality
-    SUBDIR += tesla
     SUBDIR += tevent
     SUBDIR += tex-kpathsea
     SUBDIR += tex-libtexlua
diff --git a/devel/tesla/Makefile b/devel/tesla/Makefile
deleted file mode 100644
index d34161265497..000000000000
--- a/devel/tesla/Makefile
+++ /dev/null
@@ -1,32 +0,0 @@
-# $FreeBSD$
-
-PORTNAME=	tesla
-DISTVERSION=	0.0.20140425
-PORTREVISION=	7
-CATEGORIES=	devel lang
-
-MAINTAINER=	brooks@FreeBSD.org
-COMMENT=	Temporally Enhanced Security Logic Assertions
-
-BUILD_DEPENDS=	clang33:lang/clang33
-RUN_DEPENDS=	clang33:lang/clang33
-LIB_DEPENDS=	libprotobuf.so:devel/protobuf
-
-BROKEN_armv6=		fails to link: cmTC_8106f uses VFP register arguments, testCCompiler.c.o does not
-BROKEN_armv7=		fails to link: cmTC_8106f uses VFP register arguments, testCCompiler.c.o does not
-
-SHEBANG_FILES=	scripts/highlight-transitions
-
-USES=		cmake:outsource python:run shebangfix
-
-USE_GITHUB=	yes
-GH_ACCOUNT=	CTSRD-TESLA
-GH_PROJECT=	TESLA
-GH_TAGNAME=	3136f0f
-
-CC=		clang33
-CXX=		clang++33
-
-CMAKE_ARGS+=	-DCMAKE_LLVM_CONFIG=llvm-config33
-
-.include <bsd.port.mk>
diff --git a/devel/tesla/distinfo b/devel/tesla/distinfo
deleted file mode 100644
index a86e68b8b61a..000000000000
--- a/devel/tesla/distinfo
+++ /dev/null
@@ -1,2 +0,0 @@
-SHA256 (CTSRD-TESLA-TESLA-0.0.20140425-3136f0f_GH0.tar.gz) = c3423aabd64a9b4926020098ec85baa99c50621ce3157970c72443217e18d4bb
-SIZE (CTSRD-TESLA-TESLA-0.0.20140425-3136f0f_GH0.tar.gz) = 781902
diff --git a/devel/tesla/files/patch-doc__CMakeLists.txt b/devel/tesla/files/patch-doc__CMakeLists.txt
deleted file mode 100644
index 442a7666f9f1..000000000000
--- a/devel/tesla/files/patch-doc__CMakeLists.txt
+++ /dev/null
@@ -1,11 +0,0 @@
---- ./doc/CMakeLists.txt.orig	2014-04-15 09:28:42.000000000 +0000
-+++ ./doc/CMakeLists.txt	2014-04-25 22:01:46.147952919 +0000
-@@ -15,7 +15,7 @@
- #
- # Static HTML content.
- #
--add_subdirectory(html)
-+#add_subdirectory(html)
- 
- 
- #
diff --git a/devel/tesla/pkg-descr b/devel/tesla/pkg-descr
deleted file mode 100644
index 71c3fcec2ade..000000000000
--- a/devel/tesla/pkg-descr
+++ /dev/null
@@ -1,15 +0,0 @@
-TESLA builds on our experiences developing the TrustedBSD MAC Framework
-and Capsicum: our most critical security properties are frequently
-safety (temporal) properties rather than static invariants.  Current
-tools for testing temporal properties are largely static, and unable to
-work effectively on extremely large C-language software bases, such as
-multi-million lines-of-code operating system kernels and web browsers.
-TESLA borrows ideas from model checking, applying them in a dynamic
-context using compiler-assisted instrumentation to continuously validate
-temporal security assertions during software execution.  We have
-implemented a prototype of TESLA based on clang/LLVM AST transforms,
-which is able to test both explicit automata against C implementations
-(such as protocol state machines in the kernel and OpenSSL) and inline
-assertions checking for missing access control checks in OS logic.
-
-WWW: https://www.cl.cam.ac.uk/research/security/ctsrd/tesla/
diff --git a/devel/tesla/pkg-plist b/devel/tesla/pkg-plist
deleted file mode 100644
index eb19188aa143..000000000000
--- a/devel/tesla/pkg-plist
+++ /dev/null
@@ -1,11 +0,0 @@
-bin/tesla
-bin/tesla-analyse
-bin/tesla-cat
-bin/tesla-get-triple
-bin/tesla-highlight
-bin/tesla-instrument
-bin/tesla-print
-include/libtesla.h
-include/tesla-macros.h
-include/tesla.h
-lib/libtesla.so