Moving to sci-mathematics/otter

diff --git a/app-sci/otter/ChangeLog b/app-sci/otter/ChangeLog
deleted file mode 100644 (file)
index c0d6e06..0000000
--- a/app-sci/otter/ChangeLog
+++ /dev/null
@@ -1,31 +0,0 @@
-# ChangeLog for app-sci/otter
-# Copyright 2002-2004 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/app-sci/otter/ChangeLog,v 1.8 2004/12/01 05:25:36 j4rg0n Exp $
-
-  01 Dec 2004; <burgundy@gentoo.org> otter-3.3.ebuild:
-  Keyworded ~ppc-macos.
-
-  01 Jul 2004; Jeremy Huddleston <eradicator@gentoo.org> otter-3.2.ebuild,
-  otter-3.3.ebuild:
-  virtual/glibc -> virtual/libc
-
-*otter-3.3 (31 Dec 2003)
-
-  31 Dec 2003; George Shapovalov <george@gentoo.org> otter-3.2.ebuild :
-  new version. Build procedure has slightly changed, adjusted ebuild to follow
-
-*otter-3.2 (16 May 2003)
-
-  16 May 2003; George Shapovalov <george@gentoo.org> Manifest, otter-3.2.ebuild, files/{digest-otter-3.2} :
-  initial release (#19036)
-  
-  Otter is designed to prove theorems
-  stated in first-order logic with equality. Otter's inference rules are based on
-  resolution and paramodulation, and it includes facilities for term rewriting,
-  term orderings, Knuth-Bendix completion, weighting, and strategies for directing
-  and restricting searches for proofs. Otter can also be used as a symbolic
-  calculator and has an embedded equational programming system. Otter is a
-  fourth-generation Argonne National Laboratory deduction system whose ancestors
-  (dating from the early 1960s) include the TP series, NIUTP, AURA, and ITP.
-  
-  ebuild submitted by Meghan Claire Pike <s0199782@sms.ed.ac.uk>

diff --git a/app-sci/otter/Manifest b/app-sci/otter/Manifest
deleted file mode 100644 (file)
index 5d22775..0000000
--- a/app-sci/otter/Manifest
+++ /dev/null
@@ -1,6 +0,0 @@
-MD5 3e97c23a3d5eaa47b946daf59770aebd ChangeLog 1409
-MD5 8c623e53daafa025137077c6b65815bd metadata.xml 156
-MD5 9987d1075d2f3f7f21b11830147fa29d otter-3.2.ebuild 686
-MD5 27c539dc5343b04d38b85d6e2fa6b664 otter-3.3.ebuild 709
-MD5 b299411e0aa76723d9617046d8d7ea5e files/digest-otter-3.2 62
-MD5 aa559b24f0a62ba3189129735c89b785 files/digest-otter-3.3 62

diff --git a/app-sci/otter/files/digest-otter-3.2 b/app-sci/otter/files/digest-otter-3.2
deleted file mode 100644 (file)
index 7bbfae3..0000000
--- a/app-sci/otter/files/digest-otter-3.2
+++ /dev/null
@@ -1 +0,0 @@
-MD5 8e318fa7b4f7115bc3b2b1d29df2ef32 otter-3.2.tar.gz 1540512

diff --git a/app-sci/otter/files/digest-otter-3.3 b/app-sci/otter/files/digest-otter-3.3
deleted file mode 100644 (file)
index 6d9defe..0000000
--- a/app-sci/otter/files/digest-otter-3.3
+++ /dev/null
@@ -1 +0,0 @@
-MD5 516b659ffe23ff64ea8af45724b83196 otter-3.3.tar.gz 2809092

diff --git a/app-sci/otter/metadata.xml b/app-sci/otter/metadata.xml
deleted file mode 100644 (file)
index b229aec..0000000
--- a/app-sci/otter/metadata.xml
+++ /dev/null
@@ -1,5 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
-<pkgmetadata>
-<herd>sci</herd>
-</pkgmetadata>

diff --git a/app-sci/otter/otter-3.2.ebuild b/app-sci/otter/otter-3.2.ebuild
deleted file mode 100644 (file)
index 4a22991..0000000
--- a/app-sci/otter/otter-3.2.ebuild
+++ /dev/null
@@ -1,31 +0,0 @@
-# Copyright 1999-2004 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/app-sci/otter/otter-3.2.ebuild,v 1.4 2004/07/01 11:54:13 eradicator Exp $
-
-DESCRIPTION="An Automated Deduction System."
-SRC_URI="http://www-unix.mcs.anl.gov/AR/${PN}/${P}.tar.gz"
-HOMEPAGE="http://www-unix.mcs.anl.gov/AR/otter/"
-
-KEYWORDS="x86"
-LICENSE="otter"
-SLOT="0"
-IUSE=""
-DEPEND="virtual/libc"
-S=${WORKDIR}/${P}/source
-WORK=${WORKDIR}/${P}
-
-
-src_compile() {
-       cd ${S}
-       emake || die
-       cd ${S}/mace
-       emake || die
-}
-
-src_install() {
-       cd ${S}
-       dobin otter mace/mace formed/formed
-       cd ${WORK}
-       dodoc README Legal Copying Changelog documents/*
-}
-

diff --git a/app-sci/otter/otter-3.3.ebuild b/app-sci/otter/otter-3.3.ebuild
deleted file mode 100644 (file)
index 3c212b8..0000000
--- a/app-sci/otter/otter-3.3.ebuild
+++ /dev/null
@@ -1,31 +0,0 @@
-# Copyright 1999-2004 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/app-sci/otter/otter-3.3.ebuild,v 1.4 2004/12/01 05:25:36 j4rg0n Exp $
-
-DESCRIPTION="An Automated Deduction System."
-SRC_URI="http://www-unix.mcs.anl.gov/AR/${PN}/${P}.tar.gz"
-HOMEPAGE="http://www-unix.mcs.anl.gov/AR/otter/"
-
-KEYWORDS="~x86 ~ppc-macos"
-LICENSE="otter"
-SLOT="0"
-IUSE=""
-DEPEND="virtual/libc"
-
-
-
-src_compile() {
-       cd source
-       make || die
-       cd ${S}/mace2
-       make || die
-}
-
-src_install() {
-       dobin bin/* source/formed/formed
-       dodoc README* Legal Changelog Contents documents/*.{tex,ps}
-       insinto /usr/share/doc/${PF}
-       doins documents/*.pdf
-       dohtml index.html
-}
-