proj/gentoo: Initial commit

This commit represents a new era for Gentoo:
Storing the gentoo-x86 tree in Git, as converted from CVS.

This commit is the start of the NEW history.
Any historical data is intended to be grafted onto this point.

Creation process:
1. Take final CVS checkout snapshot
2. Remove ALL ChangeLog* files
3. Transform all Manifests to thin
4. Remove empty Manifests
5. Convert all stale $Header$/$Id$ CVS keywords to non-expanded Git $Id$
5.1. Do not touch files with -kb/-ko keyword flags.

Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
X-Thanks: Alec Warner <antarus@gentoo.org> - did the GSoC 2006 migration tests
X-Thanks: Robin H. Johnson <robbat2@gentoo.org> - infra guy, herding this project
X-Thanks: Nguyen Thai Ngoc Duy <pclouds@gentoo.org> - Former Gentoo developer, wrote Git features for the migration
X-Thanks: Brian Harring <ferringb@gentoo.org> - wrote much python to improve cvs2svn
X-Thanks: Rich Freeman <rich0@gentoo.org> - validation scripts
X-Thanks: Patrick Lauer <patrick@gentoo.org> - Gentoo dev, running new 2014 work in migration
X-Thanks: Michał Górny <mgorny@gentoo.org> - scripts, QA, nagging
X-Thanks: All of other Gentoo developers - many ideas and lots of paint on the bikeshed

6 files changed, 278 insertions, 0 deletions

diff --git a/sci-mathematics/p9m4/Manifest b/sci-mathematics/p9m4/Manifest
new file mode 100644
index 000000000000..d7467c769075
--- /dev/null
+++ b/sci-mathematics/p9m4/Manifest
@@ -0,0 +1,2 @@
+DIST p9m4-v05-64bit.patch.bz2 5095 SHA256 038eafb0198deabb358e3b9aabe19052970730e7cace2b7dbbbc09947d901d6f SHA512 b80ea7ae9b652b55eee2542ba8d45712871e56dfda2e97bae2011a521e732d221a5c6a36ba33269a80f02ddc98a8f3c2470c7e832fc2b79331e7cca551aa7a36 WHIRLPOOL e5f8dcd5690c3d8ab0cd77c65d4fa31c313ccfe4bd8df57c3cc942c70b30aba694d3f48e6133a9a21f3a370d34c55853df14942c6cd85d523240ee9aa531913e
+DIST p9m4-v05.tar.gz 889707 SHA256 451a05179fcb025b666ec992cd45e0d71dac26e43c1fca814747bef541a040b4 SHA512 6ed8f3a5ab6e6b876eee388ab0f1bc535e60432317131657ba518781912f0f851aeab361d0169f96e29538130d691cf2d3798135e2386a7793799f0c4931120e WHIRLPOOL b05b02523c2e60ef594a34654b997925c43f7d64c0302f0b630d4a4036ccd20e58e39d292a4a1504914357cefc6b71ffdb10a52e5f1e3d467fc18e1d8603cfd7
diff --git a/sci-mathematics/p9m4/files/p9m4-v05-package.patch b/sci-mathematics/p9m4/files/p9m4-v05-package.patch
new file mode 100644
index 000000000000..9ca737ce2ffe
--- /dev/null
+++ b/sci-mathematics/p9m4/files/p9m4-v05-package.patch
@@ -0,0 +1,67 @@
+--- p9m4-v05-orig/setup.py	2007-11-17 09:31:26.000000000 +1100
++++ p9m4-v05/setup.py	2012-07-02 23:48:21.753760992 +1000
+@@ -26,23 +26,24 @@
+ 
+ from setuptools import setup
+ 
+-APP = ['prover9-mace4.py']
+-DATA_FILES = ['platforms.py',
+- 'utilities.py',
+- 'wx_utilities.py',
+- 'files.py',
+- 'options.py',
+- 'partition_input.py',
+- 'my_setup.py',
+- 'control.py',
+- 'Images',
+- 'Samples',
+- 'bin-mac']
+-OPTIONS = {'argv_emulation': True, 'iconfile': '/Users/mccune/gui/v4/p9.icns'}
++OPTIONS = {'argv_emulation': True, 'iconfile': '/usr/share/p9m4/Images/p9.ico'}
+ 
+ setup(
+-    app=APP,
+-    data_files=DATA_FILES,
+-    options={'py2app': OPTIONS},
+-    setup_requires=['py2app'],
++    name='p9m4',
++    version='05',
++    scripts=['prover9-mace4.py'],
++    package_dir = {'p9m4': 'p9m4'},
++    py_modules=['p9m4.platforms',
++             'p9m4.utilities',
++             'p9m4.wx_utilities',
++             'p9m4.files',
++             'p9m4.options',
++             'p9m4.partition_input',
++             'p9m4.my_setup',
++             'p9m4.control'],
++    # remove py2app
++    # https://bugs.gentoo.org/show_bug.cgi?id=423555
++    # sci-mathematics/p9m4-05: tries to use network during install
++    # options={'py2app': OPTIONS},
++    # setup_requires=['py2app'],
+ )
+--- p9m4-v05-orig/prover9-mace4.py	2007-12-08 03:27:13.000000000 +1100
++++ p9m4-v05/prover9-mace4.py	2012-01-08 18:12:09.970620044 +1100
+@@ -27,13 +27,13 @@
+ 
+ # local imports
+ 
+-import partition_input
+-import utilities
+-from files import *
+-from platforms import *
+-from wx_utilities import *
+-from my_setup import *
+-from control import *
++import p9m4.partition_input
++import p9m4.utilities
++from p9m4.files import *
++from p9m4.platforms import *
++from p9m4.wx_utilities import *
++from p9m4.my_setup import *
++from p9m4.control import *
+ 
+ Program_name = 'Prover9-Mace4'
+ Program_version = '0.5'
diff --git a/sci-mathematics/p9m4/files/p9m4-v05-python2.6.patch b/sci-mathematics/p9m4/files/p9m4-v05-python2.6.patch
new file mode 100644
index 000000000000..70cb006d268e
--- /dev/null
+++ b/sci-mathematics/p9m4/files/p9m4-v05-python2.6.patch
@@ -0,0 +1,44 @@
+diff -Nur p9m4-0.5/my_setup.py p9m4-0.5.new/my_setup.py
+--- p9m4-0.5/my_setup.py	2008-01-14 23:30:55.000000000 +0000
++++ p9m4-0.5.new/my_setup.py	2008-01-14 23:35:45.000000000 +0000
+@@ -158,7 +158,9 @@
+                     self.ed.SetStyle(start, end,
+                                      wx.TextAttr('RED',
+                                                  wx.Colour(200,200,255)))
+-            error_dialog('%s\n%s' % (message,error if error else ''))
++                error_dialog('%s\n%s' % (message,error))
++            else:
++                error_dialog(message)
+         else:
+             frame = Text_frame(self, to_top(self).box_font,
+                                'Error Output',
+diff -Nur p9m4-0.5/partition_input.py p9m4-0.5.new/partition_input.py
+--- p9m4-0.5/partition_input.py	2008-01-14 23:30:55.000000000 +0000
++++ p9m4-0.5.new/partition_input.py	2008-01-14 23:35:45.000000000 +0000
+@@ -63,14 +63,23 @@
+             m2 = r2.search(str, m1.end())
+             while m2 and in_span(m2.start(), comments):
+                 m2 = r2.search(str, m2.end())
+-            match_end = m2.end() if m2 else len(str)
++            if m2:
++                match_end = m2.end()
++            else:
++                match_end = len(str)
+             other   += str[other_start:m1.start()]
+             if remove_patterns:
+                 keep_start = m1.end()
+-                keep_end = m2.start() if m2 else len(str)
++                if m2:
++                    keep_end = m2.start()
++                else:
++                    keep_end = len(str)
+             else:
+                 keep_start = m1.start()
+-                keep_end = m2.end() if m2 else len(str)
++                if m2:
++                    keep_end = m2.end()
++                else:
++                    keep_end = len(str)
+             matched += str[keep_start:keep_end]
+             next = other_start = match_end
+         else:
diff --git a/sci-mathematics/p9m4/files/p9m4-v05-use-inst-paths.patch b/sci-mathematics/p9m4/files/p9m4-v05-use-inst-paths.patch
new file mode 100644
index 000000000000..5b48b94b27bf
--- /dev/null
+++ b/sci-mathematics/p9m4/files/p9m4-v05-use-inst-paths.patch
@@ -0,0 +1,42 @@
+diff -Nur p9m4-0.5/files.py p9m4-0.5.new/files.py
+--- p9m4-0.5/files.py	2008-01-14 23:31:00.000000000 +0000
++++ p9m4-0.5.new/files.py	2008-01-14 23:39:51.000000000 +0000
+@@ -51,6 +51,9 @@
+         return sys.path[0]
+         # return os.path.dirname(os.path.abspath(sys.argv[0]))
+ 
++def data_dir():
++    return '/usr/share/p9m4'
++
+ def bin():
+     if Win32():
+         return 'bin-win32'
+@@ -63,13 +66,13 @@
+         return 'bin'
+ 
+ def bin_dir():
+-    return os.path.join(program_dir(), bin())
++    return '/usr/bin'
+ 
+ def image_dir():
+-    return os.path.join(program_dir(), 'Images')
++    return os.path.join(data_dir(), 'Images')
+ 
+ def sample_dir():
+-    return os.path.join(program_dir(), 'Samples')
++    return os.path.join(data_dir(), 'Samples')
+ 
+ def binary_ok(fullpath):
+     if not fullpath:
+diff -Nur p9m4-0.5/prover9-mace4.py p9m4-0.5.new/prover9-mace4.py
+--- p9m4-0.5/prover9-mace4.py	2007-12-07 16:27:13.000000000 +0000
++++ p9m4-0.5.new/prover9-mace4.py	2008-02-10 22:45:45.000000000 +0000
+@@ -27,6 +27,8 @@
+ 
+ # local imports
+ 
++sys.path.append('/usr/share/p9m4/lib')
++
+ import partition_input
+ import utilities
+ from files import *
diff --git a/sci-mathematics/p9m4/metadata.xml b/sci-mathematics/p9m4/metadata.xml
new file mode 100644
index 000000000000..037c455fa05d
--- /dev/null
+++ b/sci-mathematics/p9m4/metadata.xml
@@ -0,0 +1,14 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+<maintainer>
+  <email>gienah@gentoo.org</email>
+</maintainer>
+<herd>sci-mathematics</herd>
+<longdescription lang='en'>
+  This is a Graphical User Interface for Prover9 and Mace4.
+  Prover9 is an automated theorem prover for first-order and
+  equational logic, and Mace4 searches for finite models and
+  counterexamples. Prover9 is the successor of the Otter prover.
+</longdescription>
+</pkgmetadata>
diff --git a/sci-mathematics/p9m4/p9m4-05-r1.ebuild b/sci-mathematics/p9m4/p9m4-05-r1.ebuild
new file mode 100644
index 000000000000..00f30e2b5648
--- /dev/null
+++ b/sci-mathematics/p9m4/p9m4-05-r1.ebuild
@@ -0,0 +1,109 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI="5"
+
+PYTHON_COMPAT=( python2_7 )
+DISTUTILS_SINGLE_IMPL=1
+
+inherit distutils-r1
+
+MY_PN="p9m4-v"
+MY_P="${MY_PN}${PV}"
+
+DESCRIPTION="This is a Graphical User Interface for Prover9 and Mace4"
+HOMEPAGE="http://www.cs.unm.edu/~mccune/mace4/"
+SRC_URI="http://www.cs.unm.edu/~mccune/prover9/gui/${MY_P}.tar.gz
+		http://dev.gentoo.org/~gienah/2big4tree/sci-mathematics/p9m4/p9m4-v05-64bit.patch.bz2"
+
+LICENSE="GPL-2"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+IUSE="examples"
+
+RDEPEND="dev-python/wxpython:*
+		sci-mathematics/prover9"
+DEPEND="${RDEPEND}
+		dev-python/setuptools"
+
+PATCHES=( "${DISTDIR}/${MY_PN}05-64bit.patch.bz2"
+		"${FILESDIR}/${MY_PN}05-use-inst-paths.patch"
+		"${FILESDIR}/${MY_PN}05-package.patch"
+		"${FILESDIR}/${MY_PN}05-python2.6.patch" )
+
+S="${WORKDIR}/${MY_P}/"
+
+python_check_deps() {
+	has_version "dev-python/foo[${PYTHON_USEDEP}]"
+}
+
+pkg_setup() {
+	python-single-r1_pkg_setup
+}
+
+python_prepare_all() {
+	rm -f p9m4-v05/bin/prover9 \
+		p9m4-v05/bin/mace4 \
+		p9m4-v05/bin/interpformat \
+		p9m4-v05/bin/prooftrans \
+		p9m4-v05/bin/isofilter \
+		p9m4-v05/bin/isofilter2 || die "Could not rm old executables"
+	distutils-r1_python_prepare_all
+	mkdir p9m4 || die "Could not create directory p9m4"
+	mv Mac-setup.py \
+		Win32-setup.py \
+		control.py \
+		files.py \
+		my_setup.py \
+		options.py \
+		partition_input.py \
+		platforms.py \
+		utilities.py \
+		wx_utilities.py \
+		p9m4 \
+		|| die "Could not move package p9m4 python files to p9m4 directory"
+	touch p9m4/__init__.py \
+		|| die "Could not create empty p9m4/__init__.py file"
+}
+
+python_install_all() {
+	dosym /usr/bin/prover9-mace4.py /usr/bin/prover9-mace4
+	insinto /usr/share
+	dodir /usr/share/${PN}/Images
+	insinto /usr/share/${PN}/Images
+	cd "${S}/Images" \
+		|| die "Could not cd to Images"
+	doins *.gif *.ico
+	if use examples; then
+		dodir /usr/share/${PN}/Samples
+		insinto /usr/share/${PN}/Samples
+		cd "${S}/Samples" \
+			|| die "Could not cd to Samples"
+		doins *.in
+
+		dodir /usr/share/${PN}/Samples/Equality/Mace4
+		insinto /usr/share/${PN}/Samples/Equality/Mace4
+		cd "${S}/Samples/Equality/Mace4" \
+			|| die "Could not cd to Samples/Equality/Mace4"
+		doins *.in
+
+		dodir /usr/share/${PN}/Samples/Equality/Prover9
+		insinto /usr/share/${PN}/Samples/Equality/Prover9
+		cd "${S}/Samples/Equality/Prover9" \
+			|| die "Could not cd to Samples/Equality/Prover9"
+		doins *.in
+
+		dodir /usr/share/${PN}/Samples/Non-Equality/Mace4
+		insinto /usr/share/${PN}/Samples/Non-Equality/Mace4
+		cd "${S}/Samples/Non-Equality/Mace4" \
+			|| die "Could cd to Samples/Non-Equality/Mace4"
+		doins *.in
+
+		dodir /usr/share/${PN}/Samples/Non-Equality/Prover9
+		insinto /usr/share/${PN}/Samples/Non-Equality/Prover9
+		cd "${S}/Samples/Non-Equality/Prover9" \
+			|| die "Could not cd to Samples/Non-Equality/Prover9"
+		doins *.in
+	fi
+}