From 30088b1383891c1820363d8b0b4285efba9adc33 Mon Sep 17 00:00:00 2001 From: Olivier Fisette Date: Tue, 28 Dec 2004 14:55:35 +0000 Subject: [PATCH] Moving to sci-mathematics/otter --- app-sci/otter/ChangeLog | 31 ---------------------------- app-sci/otter/Manifest | 6 ------ app-sci/otter/files/digest-otter-3.2 | 1 - app-sci/otter/files/digest-otter-3.3 | 1 - app-sci/otter/metadata.xml | 5 ----- app-sci/otter/otter-3.2.ebuild | 31 ---------------------------- app-sci/otter/otter-3.3.ebuild | 31 ---------------------------- 7 files changed, 106 deletions(-) delete mode 100644 app-sci/otter/ChangeLog delete mode 100644 app-sci/otter/Manifest delete mode 100644 app-sci/otter/files/digest-otter-3.2 delete mode 100644 app-sci/otter/files/digest-otter-3.3 delete mode 100644 app-sci/otter/metadata.xml delete mode 100644 app-sci/otter/otter-3.2.ebuild delete mode 100644 app-sci/otter/otter-3.3.ebuild diff --git a/app-sci/otter/ChangeLog b/app-sci/otter/ChangeLog deleted file mode 100644 index c0d6e063d456..000000000000 --- 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; otter-3.3.ebuild: - Keyworded ~ppc-macos. - - 01 Jul 2004; Jeremy Huddleston otter-3.2.ebuild, - otter-3.3.ebuild: - virtual/glibc -> virtual/libc - -*otter-3.3 (31 Dec 2003) - - 31 Dec 2003; George Shapovalov 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 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 diff --git a/app-sci/otter/Manifest b/app-sci/otter/Manifest deleted file mode 100644 index 5d227759501b..000000000000 --- 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 index 7bbfae3b5482..000000000000 --- 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 index 6d9defe1aa7b..000000000000 --- 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 index b229aec85b8f..000000000000 --- a/app-sci/otter/metadata.xml +++ /dev/null @@ -1,5 +0,0 @@ - - - -sci - diff --git a/app-sci/otter/otter-3.2.ebuild b/app-sci/otter/otter-3.2.ebuild deleted file mode 100644 index 4a229919c5c0..000000000000 --- 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 index 3c212b85be69..000000000000 --- 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 -} - -- 2.26.2