From f386b67bd27d2d0c2ca33aa2de84ae5b3e119022 Mon Sep 17 00:00:00 2001
From: Jakov Smolic <jakov.smolic@sartura.hr>
Date: Wed, 20 Jan 2021 11:15:55 +0100
Subject: sci-mathematics/twelf: Remove old

Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr>
Signed-off-by: David Seifert <soap@gentoo.org>
---
 sci-mathematics/twelf/twelf-1.7.1.ebuild | 113 -------------------------------
 1 file changed, 113 deletions(-)
 delete mode 100644 sci-mathematics/twelf/twelf-1.7.1.ebuild

(limited to 'sci-mathematics/twelf')

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
-}
-- 
cgit v1.2.3-65-gdbad