reinit the tree, so we can have metadata

5 files changed, 187 insertions, 0 deletions

diff --git a/sci-mathematics/otter/Manifest b/sci-mathematics/otter/Manifest
new file mode 100644
index 000000000000..4eb4716145cc
--- /dev/null
+++ b/sci-mathematics/otter/Manifest
@@ -0,0 +1,7 @@
+AUX otter-3.3-build.patch 3072 SHA256 03f1adfca5d49f0bb3d688e8b68341242213d1213e50697eda9c0cc85a7c6bca SHA512 6f961b9fc629fd7ddc0092f12286d6361503e540dd5a9ff2e48a33b95e6122b2ac78a438e1abd765ee4d269062734c28ec2fc997a1b00011e2fdd34812dd228d WHIRLPOOL 036351b5efcebc91552a5aa00ee6d08a0694fdc345c6f3a3b976d5336cf8f2290639e34f80aa480fe6895fbba9deab511540ce13ab91b4d12ea7c9842c8850bb
+AUX otter-3.3-gold.patch 503 SHA256 4699ad771f06f0e7c1384fdfaa2c77f893670a443f762e30679610f299ed3cc1 SHA512 66e4d3f246a1d4efbfdc8b3442bd269990d9c23b90426123ba2ef04b181179fe3a20f39e49bc67c2ad9158946fb0611e4b5700825b27b1af5226ab66fdee16c8 WHIRLPOOL 4059234b3279eff24296be3adae25bcc68a1884b3d888ddd3760117f47fc29479fb66bce22a34b0d8d7b185e17b448f5b1726a733ec2636c75541e7adeb9f957
+DIST otter-3.3.tar.gz 2809092 SHA256 40d7399e96491bcdabce1427c58945b3cfa414e1cefb8edae7bbea02dd6c0249 SHA512 c33d0f89cec647567cb84467a0adff2cd6023d7713f207ceca1736567b40be4ed6ab98f2ded151fa8dac7184a653cd00358ef8b18cf407ac8387d200e6dc073f WHIRLPOOL d2e66951128fb1dfc7fd594d4beb363e1a8c2dfa9df44bc3a89501719426b22b484d3df9ea07051198d58a6ed90a6ddfc52f674139f48dcf32eb5a66f4428196
+EBUILD otter-3.3-r3.ebuild 782 SHA256 ac83124e7227dd6358e6de78000c205e988b75f3b9d8016d9656d7ccdb72e653 SHA512 52786e5b9a7893321503e885a0d4f84cf1a8f3ba0bf6ea5ba0947d052270f662d4fec3f53f86d99a65a15b76e693f2aeb06c7701743b8ca3a399cb774a6ecfd0 WHIRLPOOL 2d1594fb296ba3561316bb8fe0f2499cf0ac68773aa69e8ddac3365bae3b50d8a67e3a78c63620bc3b2edf1a3b10dbc5baf023e5878d8cdd0b0fc8568cc3a9bc
+MISC ChangeLog 2541 SHA256 6d0a12ad0528841c2b4e0de0819c272c645146cca841b0767735a6afff841727 SHA512 93314bfe2ae50f3d5089938accacc04449237db229a64143dcfb45ea0cf568e5d9d390bc47f7c72df2fd262e686aad089fd42616f0039ba7b715456e5a72059a WHIRLPOOL 95abc7c5560bb64155895ee84a2dc1ad7af44242fc8fa0802f06f6eb47d5852e69e2ce14ce005473ac02bed303aea2385109e97163e533dbea7e83791ca86928
+MISC ChangeLog-2015 3516 SHA256 51c191ac900016229f9a8e81cbd8daa295395216b50a8c536984fe9263172325 SHA512 aa98b4d8b3f38db2cf9cb0223cebfffdabd9185bad60d7712cbd648b9cfc45ff4836398783e6b66d02a728148c3807e5bbe468cb52cb36d7968ecbc3e53639f8 WHIRLPOOL ea0c1be5985bcb51b21148d5ccd2876054a8fef8e53ef0e5aa72ac9b5b0b60b4b43c65459353d47e8004f0c1ccd9103cbe1bb953b1534268eec15df867f5c0d7
+MISC metadata.xml 253 SHA256 45344b6a377f639b56950e98338690fa1e0c5b51d2bf174635aff3b025b7e616 SHA512 819062e1ccefa39fc7f577279b08e781b9631eb14b7794db691ab92263c013ca432d279ac08671b19c80f7effb8c67528e5221278c573dd29dc0354bbff4a77e WHIRLPOOL 73680e667729b1d31cac7b2b730a5d94195071c96383438c66c4a94e445fe874e78d3e5e2c9c5a6d77406dc392eab967595402e063e557f9a3680714d709e830
diff --git a/sci-mathematics/otter/files/otter-3.3-build.patch b/sci-mathematics/otter/files/otter-3.3-build.patch
new file mode 100644
index 000000000000..b933d86252d6
--- /dev/null
+++ b/sci-mathematics/otter/files/otter-3.3-build.patch
@@ -0,0 +1,114 @@
+diff -Naur otter-3.3/mace2/Makefile otter-3.3.new/mace2/Makefile
+--- otter-3.3/mace2/Makefile	2003-08-06 10:18:09.000000000 -0400
++++ otter-3.3.new/mace2/Makefile	2010-01-12 19:41:44.000000000 -0500
+@@ -1,8 +1,8 @@
+ DFLAGS = -DTP_NAMES -DTP_SIGNAL -DTP_RUSAGE
+ 
+-CC = gcc
++#CC = gcc
+ 
+-CFLAGS = -O $(DFLAGS)
++CFLAGS += $(DFLAGS)
+ 
+ # CFLAGS = -g $(DFLAGS)
+ 
+@@ -12,20 +12,17 @@
+ OBJECTS = clock.o avail.o opts.o stats.o miscellany.o flatten.o\
+ 	dp.o generate.o print.o part.o
+ 
+-all: mace2 anldp install clean
++all: mace2 anldp 
+ 
+ mace2: mace2.o $(OBJECTS)
+-	$(CC) $(CFLAGS) mace2.o $(OBJECTS) ../source/libotter.a -o mace2 
++	$(CC) $(CFLAGS) $(LDFLAGS) mace2.o $(OBJECTS) ../source/libotter.a -o ../bin/mace2 
+ 
+ anldp: anldp.o $(OBJECTS)
+-	$(CC) $(CFLAGS) anldp.o $(OBJECTS) ../source/libotter.a -o anldp 
++	$(CC) $(CFLAGS) $(LDFLAGS) anldp.o $(OBJECTS) ../source/libotter.a -o ../bin/anldp 
+ 
+ mace2.o anldp.o $(OBJECTS): Mace2.h Clock.h Avail.h Opts.h Stats.h\
+ 	Miscellany.h Dp.h Generate.h Flatten.h Part.h
+ 
+-install:
+-	/bin/mv mace2 anldp ../bin
+-
+ clean:
+ 	/bin/rm -f *.o
+ 
+diff -Naur otter-3.3/source/Makefile otter-3.3.new/source/Makefile
+--- otter-3.3/source/Makefile	2003-08-06 21:48:29.000000000 -0400
++++ otter-3.3.new/source/Makefile	2010-01-12 19:58:16.000000000 -0500
+@@ -66,7 +66,7 @@
+ # Specify the C compiler.  I recommend gcc (GNU C Compiler) if you have it.
+ # In many Linux environments, cc is just a symlink to gcc.
+ 
+-CC = gcc
++#CC = gcc
+ 
+ #############################################################################
+ #
+@@ -74,7 +74,7 @@
+ #
+ # optimized
+ 
+-CFLAGS = -O $(DFLAGS)
++CFLAGS += $(DFLAGS)
+ 
+ #
+ # check for strict ANSI conformance with Solaris cc:
+@@ -108,19 +108,20 @@
+ 
+ #############################################################################
+ 
+-all: otter install clean
++all: formed
++
++formed: otter
++	+make -C formed clean
++	+make -C formed
+ 
+ otter: main.o libotter.a
+-	$(CC) $(CFLAGS) main.o libotter.a -o otter
++	$(CC) $(CFLAGS) $(LDFLAGS) main.o libotter.a -o ../bin/otter
+ 
+ libotter.a: $(OBJECTS)
+ 	$(AR) rs libotter.a $(OBJECTS)
+ 
+ main.o $(OBJECTS): header.h types.h macros.h cos.h proto.h foreign.h lisp.h
+ 
+-install:
+-	/bin/mv otter ../bin
+-
+ clean:
+ 	/bin/rm -f *.o
+ 
+diff -Naur otter-3.3/source/formed/Makefile otter-3.3.new/source/formed/Makefile
+--- otter-3.3/source/formed/Makefile	2003-07-21 15:34:44.000000000 -0400
++++ otter-3.3.new/source/formed/Makefile	2010-01-12 19:37:46.000000000 -0500
+@@ -1,14 +1,14 @@
+ 
+ DFLAGS = -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE
+ 
+-CC = gcc
++#CC = gcc
+ 
+ #############################################################################
+ # Specify the compiler flags; include DFLAGS (above)
+ #
+ # optimized
+ 
+-CFLAGS = -O $(DFLAGS)
++CFLAGS += $(DFLAGS)
+ 
+ #
+ # save symbols for debuggers
+@@ -40,7 +40,7 @@
+ XLIBS = -L/usr/X11R6/lib -lXaw 
+ 
+ formed: formed.o display.o callback.o
+-	$(CC) $(CFLAGS) formed.o display.o callback.o \
++	$(CC) $(CFLAGS) $(LDFLAGS) formed.o display.o callback.o \
+ 	../libotter.a $(XLIBS) -o formed
+ 
+ display.o callback.o formed.o: formed.h
diff --git a/sci-mathematics/otter/files/otter-3.3-gold.patch b/sci-mathematics/otter/files/otter-3.3-gold.patch
new file mode 100644
index 000000000000..a41672321d67
--- /dev/null
+++ b/sci-mathematics/otter/files/otter-3.3-gold.patch
@@ -0,0 +1,16 @@
+ source/formed/Makefile |    2 +-
+ 1 files changed, 1 insertions(+), 1 deletions(-)
+
+diff --git a/source/formed/Makefile b/source/formed/Makefile
+index 39eaae5..7526c03 100644
+--- a/source/formed/Makefile
++++ b/source/formed/Makefile
+@@ -37,7 +37,7 @@ CFLAGS += $(DFLAGS)
+ #
+ # The following works on a RedHat 7.3 computer
+ 
+-XLIBS = -L/usr/X11R6/lib -lXaw 
++XLIBS = -L/usr/X11R6/lib -lXaw -lXt -lX11
+ 
+ formed: formed.o display.o callback.o
+ 	$(CC) $(CFLAGS) $(LDFLAGS) formed.o display.o callback.o \
diff --git a/sci-mathematics/otter/metadata.xml b/sci-mathematics/otter/metadata.xml
new file mode 100644
index 000000000000..ae9640ffb9f1
--- /dev/null
+++ b/sci-mathematics/otter/metadata.xml
@@ -0,0 +1,8 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+	<maintainer type="project">
+		<email>sci@gentoo.org</email>
+		<name>Gentoo Science Project</name>
+	</maintainer>
+</pkgmetadata>
diff --git a/sci-mathematics/otter/otter-3.3-r3.ebuild b/sci-mathematics/otter/otter-3.3-r3.ebuild
new file mode 100644
index 000000000000..eec8a1d25164
--- /dev/null
+++ b/sci-mathematics/otter/otter-3.3-r3.ebuild
@@ -0,0 +1,42 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+inherit toolchain-funcs
+
+DESCRIPTION="An Automated Deduction System"
+HOMEPAGE="http://www.cs.unm.edu/~mccune/otter/"
+SRC_URI="http://www.cs.unm.edu/~mccune/otter/${P}.tar.gz"
+
+LICENSE="otter"
+SLOT="0"
+KEYWORDS="amd64 ~ppc x86 ~amd64-linux ~x86-linux ~ppc-macos"
+IUSE=""
+
+RDEPEND="
+	x11-libs/libX11
+	x11-libs/libXaw
+	x11-libs/libXt"
+DEPEND="${RDEPEND}"
+
+PATCHES=(
+	"${FILESDIR}"/${P}-build.patch
+	"${FILESDIR}"/${P}-gold.patch
+)
+
+src_compile() {
+	tc-export CC
+
+	emake -C source
+	emake -C mace2
+}
+
+src_install() {
+	dobin bin/* source/formed/formed
+
+	dodoc README* Legal Changelog Contents documents/*.pdf
+
+	insinto /usr/share/${PN}
+	doins -r examples examples-mace2
+}