From 13fc9118ccb99498c3b9a35d238b20e62aab3c33 Mon Sep 17 00:00:00 2001
From: George Shapovalov <george@gentoo.org>
Date: Thu, 1 Jan 2004 04:04:33 +0000
Subject: new version, marked 3.2 stable

---
 app-sci/otter/ChangeLog              |  7 ++++++-
 app-sci/otter/Manifest               |  6 ++++--
 app-sci/otter/files/digest-otter-3.3 |  1 +
 app-sci/otter/otter-3.2.ebuild       |  6 +++---
 app-sci/otter/otter-3.3.ebuild       | 31 +++++++++++++++++++++++++++++++
 5 files changed, 45 insertions(+), 6 deletions(-)
 create mode 100644 app-sci/otter/files/digest-otter-3.3
 create mode 100644 app-sci/otter/otter-3.3.ebuild

(limited to 'app-sci')

diff --git a/app-sci/otter/ChangeLog b/app-sci/otter/ChangeLog
index 0f44d26a92e9..6f8b3365a4de 100644
--- a/app-sci/otter/ChangeLog
+++ b/app-sci/otter/ChangeLog
@@ -1,6 +1,11 @@
 # ChangeLog for app-sci/otter
 # Copyright 2002 Gentoo Technologies, Inc.; Distributed under the GPL
-# $Header: /var/cvsroot/gentoo-x86/app-sci/otter/ChangeLog,v 1.1 2003/05/16 09:54:21 george Exp $
+# $Header: /var/cvsroot/gentoo-x86/app-sci/otter/ChangeLog,v 1.2 2004/01/01 04:04:22 george Exp $
+
+*otter-3.3.ebuild (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.ebuild (16 May 2003)
 
diff --git a/app-sci/otter/Manifest b/app-sci/otter/Manifest
index 8bbe4cbadc74..476ea5eadf06 100644
--- a/app-sci/otter/Manifest
+++ b/app-sci/otter/Manifest
@@ -1,4 +1,6 @@
-MD5 756057cd6d74bff8b4d6d5d30e880f0e ChangeLog 1031
-MD5 c17f2faaafec0a69cc6b4a5394cb1c87 otter-3.2.ebuild 693
+MD5 32241a0477811627a036a7331003e888 otter-3.3.ebuild 708
+MD5 4675c1e4d650d8152221fa01f938bc96 otter-3.2.ebuild 692
+MD5 eed755b1d448a416bbaa5d200a74c44c ChangeLog 1216
 MD5 8c623e53daafa025137077c6b65815bd metadata.xml 156
 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.3 b/app-sci/otter/files/digest-otter-3.3
new file mode 100644
index 000000000000..6d9defe1aa7b
--- /dev/null
+++ b/app-sci/otter/files/digest-otter-3.3
@@ -0,0 +1 @@
+MD5 516b659ffe23ff64ea8af45724b83196 otter-3.3.tar.gz 2809092
diff --git a/app-sci/otter/otter-3.2.ebuild b/app-sci/otter/otter-3.2.ebuild
index f7ef39ef891d..156935c711d3 100644
--- a/app-sci/otter/otter-3.2.ebuild
+++ b/app-sci/otter/otter-3.2.ebuild
@@ -1,12 +1,12 @@
-# Copyright 1999-2003 Gentoo Technologies, Inc.
+# Copyright 1999-2004 Gentoo Technologies, Inc.
 # 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.1 2003/05/16 09:54:21 george Exp $
+# $Header: /var/cvsroot/gentoo-x86/app-sci/otter/otter-3.2.ebuild,v 1.2 2004/01/01 04:04:22 george 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"
+KEYWORDS="x86"
 LICENSE="otter"
 SLOT="0"
 IUSE=""
diff --git a/app-sci/otter/otter-3.3.ebuild b/app-sci/otter/otter-3.3.ebuild
new file mode 100644
index 000000000000..a25fc006009a
--- /dev/null
+++ b/app-sci/otter/otter-3.3.ebuild
@@ -0,0 +1,31 @@
+# Copyright 1999-2004 Gentoo Technologies, Inc.
+# 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.1 2004/01/01 04:04:22 george 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/glibc"
+
+
+
+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
+}
+
-- 
cgit v1.2.3-65-gdbad