gentoo resync : 10.04.2018

2 files changed, 0 insertions, 119 deletions

diff --git a/sci-mathematics/e/Manifest b/sci-mathematics/e/Manifest
index a6fbb918c0b0..1444fdcb9d47 100644
--- a/sci-mathematics/e/Manifest
+++ b/sci-mathematics/e/Manifest
@@ -4,5 +4,4 @@ DIST E-1.8.tgz 1832975 BLAKE2B ebac17f157f591874107009d1ad45d03449c8d440f3ad6dab
 EBUILD e-1.5.ebuild 3351 BLAKE2B 1e5ccec6ef815a1d102333da7afecd4a252b8b47e234b81d296e391e9bf002796448983902615118cb0a92e8dc8c02135d22717752086d19d32696dac822232d SHA512 076d4b17661ed30e3321dd9312fcb4a7904a98d69a61bbf6cf9718ba55422048a861e54e1780513b7fb4384a3ea6a3a05d8f6c79c43ff051f06e7a301612573e
 EBUILD e-1.6.ebuild 3351 BLAKE2B a92fde5209ec23fd45574c3f82527549aa18e5dac9ae2247a1d68d17ae7e96c0a19e8a54c5c685c505cfc07dfe977b64a634454ee7cf1f16072c08c7cb52aee5 SHA512 07ae850f91c1406369fbd89ed5a12205da41bccb762af521b88bec2557a30c87d8ce332353e5f9f124ecfb9bde23343665d90464ce41d211c341c205454779ed
 EBUILD e-1.8-r1.ebuild 3172 BLAKE2B b7e844811d5e81724af7b6b6c14d0cab271cda71a66d60086d639ebd31ac216ac55e67a2d34245e67499eb0f40644cecd5295636fe1bdd22c83fde0c7ac8b6ba SHA512 ca65245640594ff13a36e6350b91229835e21fe8a9a1841d3168007899fcf4e9db25c36901008d4fba1250e948635001322e2a9b3408b79fae1d126913a4733a
-EBUILD e-1.8.ebuild 3172 BLAKE2B 762cbd4e2abea3554b60065f4ea0d1c71d8652686fd1e48f694729e323015f5c2da2197bd652162ed4db5962fc8cfdf472fe5a1ea64f8beffbec010d77ec337c SHA512 13e554697d0c8386c0b58a2b73ccc52c0f741436c36e6e18d7fc2fd382ffa1f01c2a580ce296c1aa8191634f6857d0e6ab5e585a66dd4606fe49b6471fb25597
 MISC metadata.xml 1462 BLAKE2B 3b2783ef3103c8a0f8606b0553e89b5265867b2b3272dd28530f5a8e8a745240726c937db655a31cc6ba923b579da8ba33a180c6f745a45e238b28b7a688a173 SHA512 635575800430295b5110104d38cbab61277b8d32acd23b883053a3092df0ea6531bac0fbae8a402cc9af0e11d7095959f44bee989050e4123ea7400c4c671e23
diff --git a/sci-mathematics/e/e-1.8.ebuild b/sci-mathematics/e/e-1.8.ebuild
deleted file mode 100644
index c6173fc90ec2..000000000000
--- a/sci-mathematics/e/e-1.8.ebuild
+++ /dev/null
@@ -1,118 +0,0 @@
-# Copyright 1999-2013 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI="5"
-
-MY_PN="E"
-MY_P="${MY_PN}-${PV}"
-
-DESCRIPTION="E is a theorem prover for full first-order logic with equality"
-HOMEPAGE="http://www4.informatik.tu-muenchen.de/~schulz/E/E.html"
-SRC_URI="http://www4.in.tum.de/~schulz/WORK/E_DOWNLOAD/V_${PV}/${MY_PN}.tgz -> ${MY_P}.tgz"
-
-LICENSE="GPL-2"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-IUSE="doc examples isabelle"
-
-RDEPEND="isabelle? (
-			>=sci-mathematics/isabelle-2011.1-r1:=
-		)"
-DEPEND="${RDEPEND}"
-
-S="${WORKDIR}"/${MY_PN}
-
-src_configure() {
-	./configure --prefix="${ROOT}usr" \
-		--man-prefix="${ROOT}share/man" \
-		|| die "E configure failed"
-
-	sed -e "s@CFLAGS     = @CFLAGS     = ${CFLAGS} @" \
-		-e "s@LD         = \$(CC) @LD         = \$(CC) ${LDFLAGS} @" \
-		-i "${S}/Makefile.vars" \
-		|| die "Could not add our flags to Makefile.vars"
-}
-
-src_install() {
-	dobin "${S}/PROVER/eprover" \
-		"${S}/PROVER/epclextract" \
-		"${S}/PROVER/eproof" \
-		"${S}/PROVER/eproof_ram" \
-		"${S}/PROVER/eground" \
-		"${S}/PROVER/e_ltb_runner" \
-		"${S}/PROVER/e_axfilter" \
-		"${S}/PROVER/checkproof" \
-		"${S}/PROVER/ekb_create" \
-		"${S}/PROVER/ekb_delete" \
-		"${S}/PROVER/ekb_ginsert" \
-		"${S}/PROVER/ekb_insert"
-
-	doman "${S}/DOC/man/eprover.1" \
-		"${S}/DOC/man/epclextract.1" \
-		"${S}/DOC/man/eproof.1" \
-		"${S}/DOC/man/eproof_ram.1" \
-		"${S}/DOC/man/eground.1" \
-		"${S}/DOC/man/e_ltb_runner.1" \
-		"${S}/DOC/man/e_axfilter.1" \
-		"${S}/DOC/man/checkproof.1" \
-		"${S}/DOC/man/ekb_create.1" \
-		"${S}/DOC/man/ekb_delete.1" \
-		"${S}/DOC/man/ekb_ginsert.1" \
-		"${S}/DOC/man/ekb_insert.1"
-
-	if use doc; then
-		pushd "${S}"/DOC || die "Could not cd to DOC"
-		dodoc ANNOUNCE CREDITS DONE E-REMARKS E-REMARKS.english E-USERS \
-			HISTORY NEWS PORTING ReadMe THINKME TODO TPTP_SUBMISSION \
-			WISHLIST eprover.pdf
-		dohtml *.html
-		dohtml estyle.sty
-		popd
-	fi
-
-	if use examples; then
-		insinto /usr/share/${MY_PN}/examples
-		doins -r EXAMPLE_PROBLEMS
-		doins -r SIMPLE_APPS
-	fi
-
-	if use isabelle; then
-		ISABELLE_HOME="$(isabelle getenv ISABELLE_HOME | cut -d'=' -f 2)" \
-			|| die "isabelle getenv ISABELLE_HOME failed"
-		[[ -n "${ISABELLE_HOME}" ]] || die "ISABELLE_HOME empty"
-		cat <<- EOF >> "${S}/settings"
-			E_HOME="${ROOT}usr/bin"
-			E_VERSION="${PV}"
-		EOF
-		insinto "${ISABELLE_HOME}/contrib/${PN}-${PV}/etc"
-		doins "${S}/settings"
-	fi
-}
-
-pkg_postinst() {
-	if use isabelle; then
-		if [ -f "${ROOT}etc/isabelle/components" ]; then
-			if egrep "contrib/${PN}-[0-9.]*" "${ROOT}etc/isabelle/components"; then
-				sed -e "/contrib\/${PN}-[0-9.]*/d" \
-					-i "${ROOT}etc/isabelle/components"
-			fi
-			cat <<- EOF >> "${ROOT}etc/isabelle/components"
-				contrib/${PN}-${PV}
-			EOF
-		fi
-	fi
-}
-
-pkg_postrm() {
-	if use isabelle; then
-		if [ ! -f "${ROOT}usr/bin/eproof" ]; then
-			if [ -f "${ROOT}etc/isabelle/components" ]; then
-				# Note: this sed should only match the version of this ebuild
-				# Which is what we want as we do not want to remove the line
-				# of a new E being installed during an upgrade.
-				sed -e "/contrib\/${PN}-${PV}/d" \
-					-i "${ROOT}etc/isabelle/components"
-			fi
-		fi
-	fi
-}