gentoo resync : 22.01.2021

2 files changed, 0 insertions, 114 deletions

diff --git a/sci-mathematics/twelf/Manifest b/sci-mathematics/twelf/Manifest
index da382e5b8f87..9d51e6127ddd 100644
--- a/sci-mathematics/twelf/Manifest
+++ b/sci-mathematics/twelf/Manifest
@@ -8,5 +8,4 @@ AUX twelf-1.7.1-mlton-20180207.patch 310 BLAKE2B b372c7ca65b4bb12983d84e590d4e30
 AUX twelf-1.7.1-mlton-mlb.patch 11244 BLAKE2B e07adfd1520179a8ca3c292638689c8cc344b8d01ebcf2ba9f668cbf2afa5b5132a88d0521ca4123a9165d8fea49cdbab20b48b791bd3e78610d54b534e9e596 SHA512 2d0f42399e444cbb736f38ad7bdc54f51322c17c010b273c365d9db9a1e6c045c19b872d4b5c1e50444559a981aa5569764ac859c7702c116c97c935fd959bfd
 DIST twelf-src-1.7.1.tar.gz 1147610 BLAKE2B 9fbb3c5a4823845a0c721112744330658be0e68784ef209a3d17fb72874ef50d7dbb434a7104704a5540f2f0bc30727bfe1ff602f986570f944454e77c24609d SHA512 1b4baa0f385b6b605583a9da312f23c775aab43e7398c6e151833a6b95c74112492530f44fcb7b14f8288774e9b63e2f9618a5debfbc4d34737bc2588f5850df
 EBUILD twelf-1.7.1-r1.ebuild 2438 BLAKE2B 2b0f2461f8c1f6b245ea41f39043f3f1ad3633643521c1fccd5384acd319962c1d403a7de9d1d6c655a54a44b10daf215da28e6f82ebeadc77286717072f73b8 SHA512 4de8be441caf012ee6735e37408072639491935ab114c1b8966a4c3ed3bc238293ca63e6a5c0869912f9e0b2ebc5fd2274ac5519ea2c10645c73fd04a003c4cd
-EBUILD twelf-1.7.1.ebuild 2366 BLAKE2B aa2a68eddd7ba17aa5966d01937afc5085a8bf37e0bdcb2b7a9abc62cd092aa9ab7a338d5b01be6e2ebdb2fbcbd264b34bedce90bbf0115a3f5c0cbead05ec95 SHA512 6e3dfa9bea7843bb43903b963ad6cc3764a69cfffc0651788fdb140191981f8edf6cc2adb401b7d118ad9bcbbf01ff539effba702f296e5eb05476dc2fab7e8c
 MISC metadata.xml 446 BLAKE2B 318daa8b8e87beff1553a9e49e7db737736b8bad6f157753f42dd8fcfa0941dd83273cab94c056ab4e9555019263f1356e99baea1ef4dbca1da2df3d8f096ec7 SHA512 7fcca73104456672c8e262129cdcc232073d6d0a4cd48d6593734646a3611ac6056325cc88be5c3a3585d67bc76fa9fb663a0171df7b84612c56c0ec93bc0e2e
diff --git a/sci-mathematics/twelf/twelf-1.7.1.ebuild b/sci-mathematics/twelf/twelf-1.7.1.ebuild
deleted file mode 100644
index 9506fdd82542..000000000000
--- a/sci-mathematics/twelf/twelf-1.7.1.ebuild
+++ /dev/null
@@ -1,113 +0,0 @@
-# Copyright 1999-2019 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI="5"
-
-inherit elisp-common eutils multilib
-
-MY_PN="${PN}-src"
-MY_P="${MY_PN}-${PV}"
-
-DESCRIPTION="Implementation of the logical framework LF"
-HOMEPAGE="http://twelf.org/"
-SRC_URI="http://twelf.plparty.org/releases/${MY_P}.tar.gz"
-
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-LICENSE="BSD-2"
-IUSE="doc emacs examples"
-
-# tests reference non-existing directory TEST
-RESTRICT="test"
-
-RDEPEND="
-	dev-lang/mlton
-	doc? (
-		virtual/latex-base
-		app-text/texi2html
-	)
-	emacs? (
-		>=app-editors/emacs-23.1:*
-	)"
-DEPEND="${RDEPEND}"
-
-S=${WORKDIR}/${PN}
-
-SITEFILE=50${PN}-gentoo.el
-
-PATCHES=(
-	"${FILESDIR}/${PN}-1.7.1-doc-guide-twelf-dot-texi.patch"
-	"${FILESDIR}/${PN}-1.7.1-doc-guide-Makefile.patch"
-	"${FILESDIR}/${PN}-1.7.1-emacs-twelf.patch"
-	"${FILESDIR}/${PN}-1.7.1-emacs-twelf-init.patch"
-	"${FILESDIR}/${PN}-1.7.1-Makefile.patch"
-	"${FILESDIR}/${PN}-1.7.1-mlton-mlb.patch"
-)
-
-src_prepare() {
-	epatch "${PATCHES[@]}"
-	sed \
-		-e "s@/usr/bin@${ROOT}usr/bin@g" \
-		-e "s@/usr/share@${ROOT}usr/share@" \
-		-i "${S}"/emacs/twelf-init.el \
-		|| die "Could not set ROOT in ${S}/emacs/twelf-init.el"
-}
-
-src_compile() {
-	emake mlton CFLAGS="${CFLAGS}" LDFLAGS="${LDFLAGS} -fno-PIE"
-	if use emacs ; then
-		pushd "${S}/emacs" || die "Could change directory to emacs"
-		elisp-compile \
-			auc-menu.el \
-			twelf-font.el \
-			twelf-init.el \
-			twelf.el \
-			|| die "emacs elisp compile failed"
-		popd
-	fi
-	if use doc; then
-		pushd doc/guide
-		emake all
-		popd
-	fi
-}
-
-ins_example_dir() {
-	insinto "/usr/share/${PN}/examples/${1}"
-	pushd "${S}/${1}"
-	doins -r *
-	popd
-}
-
-src_install() {
-	if use emacs ; then
-		elisp-install ${PN} emacs/*.{el,elc}
-		cp "${FILESDIR}"/${SITEFILE} "${S}"
-		elisp-site-file-install ${SITEFILE}
-	fi
-	if use examples; then
-		ins_example_dir examples
-		ins_example_dir examples-clp
-		ins_example_dir examples-delphin
-	fi
-	dobin bin/twelf-server
-	if use doc; then
-		dohtml doc/html/index.html
-		doinfo doc/guide/twelf.info
-		dodoc doc/guide/twelf.dvi doc/guide/twelf.ps doc/guide/twelf.pdf
-		dohtml doc/guide/twelf/*
-	fi
-}
-
-pkg_postinst() {
-	if use emacs; then
-		elisp-site-regen
-		ewarn "For twelf emacs, add this line to ~/.emacs"
-		ewarn ""
-		ewarn '(load (concat twelf-root "/twelf-init.el"))'
-	fi
-}
-
-pkg_postrm() {
-	use emacs && elisp-site-regen
-}