new version, marked 3.2 stable

diff --git a/app-sci/otter/ChangeLog b/app-sci/otter/ChangeLog
index 0f44d26a92e9412cef4b6d3315af166c8de2dcbb..6f8b3365a4de96e37a8cfdb97723dc5aa192866f 100644 (file)
--- 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 8bbe4cbadc74ec3b85277aa77aea1b8332e0d8c0..476ea5eadf0685ab2b08a152a4591f2a9d6dba2d 100644 (file)
--- 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 (file)
index 0000000..6d9defe
--- /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 f7ef39ef891db953dbbaa55d0cc3d5944b7020f5..156935c711d330173ce730433a61fa618d83dd02 100644 (file)
--- 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 (file)
index 0000000..a25fc00
--- /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
+}
+