git: 8012c43c7885 - main - lang/twelf: Remove expired port

The branch main has been updated by rene:

URL: https://cgit.FreeBSD.org/ports/commit/?id=8012c43c7885fdd6d85b68adf5d5630aa49ab421

commit 8012c43c7885fdd6d85b68adf5d5630aa49ab421
Author:     Rene Ladan <rene@FreeBSD.org>
AuthorDate: 2025-01-01 12:37:55 +0000
Commit:     Rene Ladan <rene@FreeBSD.org>
CommitDate: 2025-01-01 12:37:55 +0000

    lang/twelf: Remove expired port
    
    2024-05-31 lang/twelf: Dead upstream and fails to build
---
 MOVED                |  1 +
 lang/Makefile        |  1 -
 lang/twelf/Makefile  | 57 ----------------------------------------------------
 lang/twelf/distinfo  |  2 --
 lang/twelf/pkg-descr | 16 ---------------
 5 files changed, 1 insertion(+), 76 deletions(-)

diff --git a/MOVED b/MOVED
index 58da6995e868..f87b3b26bbc4 100644
--- a/MOVED
+++ b/MOVED
@@ -3852,3 +3852,4 @@ devel/electron29||2025-01-01|Has expired: EOLed upstream, switch to newer versio
 devel/electron30||2025-01-01|Has expired: EOLed upstream, switch to newer version
 comms/libconcord||2025-01-01|Has expired: Logitech Harmony were officially discontinued in 2021, last major product in 2019
 japanese/onew||2025-01-01|Has expired: Unfetchabled and listed BROKEN for over year
+lang/twelf||2025-01-01|Has expired: Dead upstream and fails to build
diff --git a/lang/Makefile b/lang/Makefile
index 0f2fcf853887..731b04cd5bdf 100644
--- a/lang/Makefile
+++ b/lang/Makefile
@@ -383,7 +383,6 @@
     SUBDIR += tolua
     SUBDIR += tolua++
     SUBDIR += tuareg-mode.el
-    SUBDIR += twelf
     SUBDIR += typstfmt
     SUBDIR += typstyle
     SUBDIR += ucc
diff --git a/lang/twelf/Makefile b/lang/twelf/Makefile
deleted file mode 100644
index e18ab1541807..000000000000
--- a/lang/twelf/Makefile
+++ /dev/null
@@ -1,57 +0,0 @@
-PORTNAME=	twelf
-PORTVERSION=	1.7.1
-PORTREVISION=	4
-DISTVERSIONPREFIX=	src-
-CATEGORIES=	lang math
-MASTER_SITES=	http://twelf.plparty.org/releases/ \
-		http://www-2.cs.cmu.edu/~twelf/dist/ http://www.cs.cmu.edu/~twelf/dist/
-
-MAINTAINER=	beyert@cs.ucr.edu
-COMMENT=	Meta-logical framework for deductive systems
-WWW=		http://www.cs.cmu.edu/~twelf
-
-LICENSE=	BSD2CLAUSE
-LICENSE_FILE=	${WRKSRC}/LICENSE
-
-BROKEN=	invalid target: self
-DEPRECATED=	Dead upstream and fails to build
-EXPIRATION_DATE=2024-05-31
-
-RUN_DEPENDS=	mlton:lang/mlton
-BUILD_DEPENDS=	mlton:lang/mlton \
-		texi2html:textproc/texi2html
-
-OPTIONS_DEFINE=	DOCS
-
-USES=		gmake
-ALL_TARGET=	mlton
-PLIST_FILES=	bin/${PORTNAME}-server
-PORTDATA=	emacs examples examples-clp examples-delphin tex vim README
-PORTDOCS=	dvi html pdf ps
-WRKSRC=		${WRKDIR}/twelf
-DOCS_INFO=	twelf
-
-DOCS_USE=	TEX=dvipsk:build,tex:build
-DOCS_USES=	makeinfo tex
-
-post-patch-DOCS-on:
-	@${REINPLACE_CMD} 's|-number|-number-sections|g' \
-		${WRKSRC}/doc/guide/Makefile
-	@${REINPLACE_CMD} 's|twelf_\*.html|twelf/\*.html|g' \
-		${WRKSRC}/doc/guide/Makefile
-
-post-build-DOCS-on:
-	cd ${WRKSRC}/doc/guide && ${MAKE} all ${INSTALL_TARGET}
-
-do-install:
-	${INSTALL_PROGRAM} ${WRKSRC}/bin/${PORTNAME}-server \
-		${STAGEDIR}${PREFIX}/bin
-	${MKDIR} ${STAGEDIR}${DATADIR}
-	cd ${WRKSRC} && ${COPYTREE_SHARE} "${PORTDATA}" ${STAGEDIR}${DATADIR}
-
-do-install-DOCS-on:
-	@${MKDIR} ${STAGEDIR}${DOCSDIR}
-	cd ${WRKSRC}/doc && ${COPYTREE_SHARE} "${PORTDOCS}" ${STAGEDIR}${DOCSDIR}
-	${INSTALL_DATA} ${WRKSRC}/doc/info/twelf.info* ${STAGEDIR}${PREFIX}/${INFO_PATH}
-
-.include <bsd.port.mk>
diff --git a/lang/twelf/distinfo b/lang/twelf/distinfo
deleted file mode 100644
index 2ad884334bc7..000000000000
--- a/lang/twelf/distinfo
+++ /dev/null
@@ -1,2 +0,0 @@
-SHA256 (twelf-src-1.7.1.tar.gz) = 91b0d4d8c2e54452a042da0ff642f3b46b25efb36a84497aa8b96598f49a213a
-SIZE (twelf-src-1.7.1.tar.gz) = 1147610
diff --git a/lang/twelf/pkg-descr b/lang/twelf/pkg-descr
deleted file mode 100644
index 7a409cce6972..000000000000
--- a/lang/twelf/pkg-descr
+++ /dev/null
@@ -1,16 +0,0 @@
-The Twelf implementation comprises
-
- * the LF logical framework, including type reconstruction;
- * the Elf constraint logic programming language;
- * an inductive meta-theorem prover for LF;
- * and an Emacs interface.
-
-Twelf provides a uniform meta-language for specifying,
-implementing, and proving properties of programming languages
-and logics.  Example suites include Cartesian Closed Categories
-and lambda-calculus, the Church-Rosser theorem for the untyped
-lambda-calculus, Mini-ML including type preservation and
-compilation, cut elimination, theory of logic programming,
-and Hilbert's deduction theorem.
-
--- the Twelf home page