From 221f5f9544c086c68363e5b3234e10282cf27030 Mon Sep 17 00:00:00 2001
From: René 'Necoro' Neumann <necoro@necoro.net>
Date: Sat, 4 Sep 2010 03:46:11 +0200
Subject: Delete old stuff

---
 sci-mathematics/isabelle/Manifest                  |   3 -
 .../isabelle-2009-proofgeneral-gentoo-path.patch   |  10 --
 sci-mathematics/isabelle/isabelle-2009.ebuild      | 101 ---------------------
 3 files changed, 114 deletions(-)
 delete mode 100644 sci-mathematics/isabelle/Manifest
 delete mode 100644 sci-mathematics/isabelle/files/isabelle-2009-proofgeneral-gentoo-path.patch
 delete mode 100644 sci-mathematics/isabelle/isabelle-2009.ebuild

(limited to 'sci-mathematics/isabelle')

diff --git a/sci-mathematics/isabelle/Manifest b/sci-mathematics/isabelle/Manifest
deleted file mode 100644
index 05573d6..0000000
--- a/sci-mathematics/isabelle/Manifest
+++ /dev/null
@@ -1,3 +0,0 @@
-AUX isabelle-2009-proofgeneral-gentoo-path.patch 316 RMD160 ecf031c8807f0e8a0403293e1c47abc92c7ddb76 SHA1 4e38535264f69901c00e48c8ccf75af42256cae9 SHA256 84fe80a5f7f5e623b0e9fd9da67e8ca5b216551fd2e05ce4f62456f051a73a8c
-DIST Isabelle2009.tar.gz 9073615 RMD160 7cbde579b6f897b8110c465f17a185f04f6587e0 SHA1 2af6f19f23436c37611d8df23e918f76e9190f39 SHA256 49f8708962a89102cd25d9b5b7bf1298017c0689f9ced7741c124351b58f8e71
-EBUILD isabelle-2009.ebuild 2513 RMD160 ad2b37163d5910f83c48f55d4d6b84d5e71caa74 SHA1 f1085a941b87bdb5a7acc434c4d47540072d3dd9 SHA256 60005b9776b841d1afcec0eb7aace720f247786085174b02f82337d0e110bc4c
diff --git a/sci-mathematics/isabelle/files/isabelle-2009-proofgeneral-gentoo-path.patch b/sci-mathematics/isabelle/files/isabelle-2009-proofgeneral-gentoo-path.patch
deleted file mode 100644
index f64581d..0000000
--- a/sci-mathematics/isabelle/files/isabelle-2009-proofgeneral-gentoo-path.patch
+++ /dev/null
@@ -1,10 +0,0 @@
---- Isabelle/etc/settings.old	2009-09-28 15:20:14.000000000 +0200
-+++ Isabelle/etc/settings	2009-09-28 15:20:34.000000000 +0200
-@@ -194,6 +194,7 @@
-   "/usr/local/ProofGeneral" \
-   "/usr/share/ProofGeneral" \
-   "/opt/ProofGeneral" \
-+  "/usr/share/emacs/site-lisp/ProofGeneral" \
-   "")
- 
- PROOFGENERAL_OPTIONS=""
diff --git a/sci-mathematics/isabelle/isabelle-2009.ebuild b/sci-mathematics/isabelle/isabelle-2009.ebuild
deleted file mode 100644
index 548a9a8..0000000
--- a/sci-mathematics/isabelle/isabelle-2009.ebuild
+++ /dev/null
@@ -1,101 +0,0 @@
-# Copyright 1999-2009 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: $
-
-EAPI="2"
-
-inherit eutils multilib
-
-DESCRIPTION="Isabelle is a generic proof assistant"
-HOMEPAGE="http://isabelle.in.tum.de/ http://www.cl.cam.ac.uk/research/hvg/Isabelle/"
-SRC_URI="http://isabelle.in.tum.de/dist/Isabelle${PV}.tar.gz"
-
-LICENSE="BSD"
-SLOT="0"
-KEYWORDS="~x86 ~amd64"
-IUSE="doc graphbrowsing +proofgeneral"
-
-
-#upstream says
-#bash 2.x/3.x, Poly/ML 5.x, Perl 5.x,
-#for Proof General GNU Emacs 21/22, xemacs 21.4.x, NOT xemacs 21.5 beta
-#for document preparation: complete LaTeX
-DEPEND=">=app-shells/bash-3.0
-	graphbrowsing? (
-		virtual/jdk
-	)"
-
-#proofgeneral uses eclass elisp that depends on virtual/emacs-21
-RDEPEND=">=dev-lang/polyml-5.2.1
-	>=dev-lang/perl-5.8.8-r2
-	doc? (
-		virtual/latex-base
-	)
-	proofgeneral? (
-		app-emacs/proofgeneral
-	)
-	${DEPEND}"
-
-S="${WORKDIR}"/Isabelle${PV}
-TARGETDIR="/usr/share/Isabelle"${PV}
-LIBDIR="/usr/"$(get_libdir)"/Isabelle"${PV}
-
-pkg_setup() {
-	if ! use proofgeneral
-	then
-		ewarn "You have deselected the Proof General interface."
-		ewarn "Only a text terminal will be installed."
-		ewarn "Emerge Isabelle with the proofgeneral USE flag enabled"
-		ewarn "to get the common interface, that most people want."
-	fi
-}
-
-src_prepare() {
-	use proofgeneral && epatch ${FILESDIR}/isabelle-2009-proofgeneral-gentoo-path.patch
-}
-
-src_compile() {
-	einfo "Building Isabelle logics. This may take some time."
-	./build -b || die "building logics failed"
-	if use graphbrowsing
-	then
-		cd lib/browser
-		emake clean || die "failed cleaning graph browser directory"
-		emake || die "failed building the graph browser"
-	fi
-}
-
-src_test() {
-	einfo "Running tests. A test run can take up to several hours!"
-	./build -b HOL -t
-}
-
-src_install() {
-	exeinto ${TARGETDIR}/bin
-	doexe bin/isabelle-process bin/isabelle \
-		|| die "install failed"
-
-	exeinto ${TARGETDIR}
-	doexe build || die "install failed"
-
-	insinto ${TARGETDIR}
-	use doc && ( doins -r doc || die "install failed" )
-
-	doins -r etc || die "install failed"
-	dosym ${LIBDIR}/heaps ${TARGETDIR}/heaps
-
-	insinto ${LIBDIR}
-	doins -r heaps || die "install failed"
-
-	# use cp to keep file attributes
-	cp -R lib ${D}${TARGETDIR} || die "install failed"
-
-	bin/isabelle install -d ${TARGETDIR} -p ${D}usr/bin
-	newicon lib/icons/isabelle.xpm ${PN}.xpm
-	dodoc ANNOUNCE CONTRIBUTORS INSTALL NEWS README \
-		|| die "dodoc failed"
-}
-
-pkg_postinst() {
-	elog "You will need to re-emerge Isabelle after emerging polyml."
-}
-- 
cgit v1.2.3-70-g09d2