summaryrefslogtreecommitdiff
path: root/sci-mathematics/p9m4
diff options
context:
space:
mode:
Diffstat (limited to 'sci-mathematics/p9m4')
-rw-r--r--sci-mathematics/p9m4/Manifest9
-rw-r--r--sci-mathematics/p9m4/files/p9m4-v05-package.patch67
-rw-r--r--sci-mathematics/p9m4/files/p9m4-v05-python2.6.patch44
-rw-r--r--sci-mathematics/p9m4/files/p9m4-v05-use-inst-paths.patch42
-rw-r--r--sci-mathematics/p9m4/metadata.xml17
-rw-r--r--sci-mathematics/p9m4/p9m4-05-r1.ebuild108
6 files changed, 287 insertions, 0 deletions
diff --git a/sci-mathematics/p9m4/Manifest b/sci-mathematics/p9m4/Manifest
new file mode 100644
index 000000000000..26d5e7154811
--- /dev/null
+++ b/sci-mathematics/p9m4/Manifest
@@ -0,0 +1,9 @@
+AUX p9m4-v05-package.patch 1860 SHA256 5e4e32d75267fde57222baa0820cd43bb04e9d9a6b8764b14ce1650d8b2c9c90 SHA512 31bbf42c9fc6d266c1bdcc33278dbf2fc7f83c57c302d0af4808a181bcd3f4d64780e02b875c174a7d245c0d3c4ea3703bc8c04d4a70a8543c4d76b2ed3f946f WHIRLPOOL eb63f762f882f657d40db4459c412ee7624a825597e359bbbbb9a643fec4c94aae06c3e2e64f56f1fc4a3194bb218df0848db16fa7c35a635ea5c6a499e40448
+AUX p9m4-v05-python2.6.patch 1909 SHA256 1b0156a2d425eaabf0f7fcb2b8bd7c3dd5036fd043ba073ba95ec937c1a957d6 SHA512 b41da95bff1ea30f45b170383592b8dee78b58592c925ec2979f27810d64e8d9814187b254ff5b005776fe56f00d38b36cfb80c3d5a4abc5a17519a5ebd866a4 WHIRLPOOL 40d330853f7458e87a07103ee5126becec4850d7d97a1b434a6ac19722d5fbb5a4e4c15db240b1c3fe849cf9a5e9bf042e5a1b0b57b1309cd102a46d9b0c4ae2
+AUX p9m4-v05-use-inst-paths.patch 1151 SHA256 67e84e86bd6af5ee972cd45b22df0c4c3c517345d144d6e960cd377d7168471b SHA512 285c92ba2d97346408dbea07ecd2047bd67d7b9b0de96c8676d9280e8cce23c93abba8fdb1443c5f1b942b79903d2f11bf8e90591e2ff70b167ad507fb4c6f85 WHIRLPOOL 67ecd88d27bdbcd0734135199fa7fe474919b5f7d5704822e54f44c45f9adc8d3426de7b7abdb6e29ea42eb966fc2c8703a7f82757b4b9e5ce9e56633c3b2d09
+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
+EBUILD p9m4-05-r1.ebuild 2899 SHA256 a842c2a2f0037cec5c0f3943f7b8d7d6c3c61b5036aff156af84e6b5ed1e018c SHA512 354a9d06a50fc2423d4505f0f5aeee1b12c7d7ad848abdd65cd48dbeec79f1db116b70385f3606141fe9ac9485089ef598590a7e17368a1f082d85f1998dfdca WHIRLPOOL 802704824dde8a0e3b71231d71994bb0cc3e0611015ae1fb78fdfb77371415b9629a80c2d1156919e8955116b803fe0786a87dbd8c503d9efc0b264a996870fb
+MISC ChangeLog 2943 SHA256 fee215e3f391f5617e349afe3a5aab919e709a8cf832b8957565e22e0e9a7c85 SHA512 211122b4f55e03ac45e17c69182ad954bc954940bda18dfa18255234bc30e144c0dfbd9e64de75ae98f4204c01a855a80ae32234b09ebf2dc29459127866b3df WHIRLPOOL 4fc082ae3094a9a3a7d36a5e5891e1ccb35ff4ffe0e0b6a7877c8673bc0055b3ad99051133a87b88b31c1b44cee7e221a4fc04b610eeb2e26a55fe67e1f8bc16
+MISC ChangeLog-2015 1696 SHA256 322db62d94cda9676962b943a8f00c960fc1be82a874036187fb278483af0c4b SHA512 ebec9ff78cb752a772af8d227957c0ddb65209dcf74810c6dbe66b753a32bf10208cb116265cd06b7d24c37069e089a93cf0561699d8de7a4c1ff0f2ed1470da WHIRLPOOL 5683a8a7c5076ae6e271013fe7b25c49b93821f74162837072f70c31ed7ed058f1c246ce339da508ecc6f9989f7b64c6a41a80f55aef65d33f1cf398dfadef6d
+MISC metadata.xml 637 SHA256 3f5d186890aaf88926ae42efb870195fd14a128e4da3f0c5f184158b3805c7b8 SHA512 68890672339a213c5309632728ff6ef0f4287c1fe22d217fcd2db8bd453802cbf9ed7ab2c2cbf1004f874e5dfc99b313359f37507eccffeec0297ad0a6ed35e3 WHIRLPOOL 5dc3610edfe4c10a21e0b4782f57a66101425fbb6e40f4c3f5491539fc4a9a755d8d8bf0dd9c99e1ae1de44efc9de500d9f723e9ec3189e1e8cf26fe7c8d1fa4
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..a1db72097c3a
--- /dev/null
+++ b/sci-mathematics/p9m4/metadata.xml
@@ -0,0 +1,17 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+<maintainer type="person">
+ <email>gienah@gentoo.org</email>
+</maintainer>
+<maintainer type="project">
+ <email>sci-mathematics@gentoo.org</email>
+ <name>Gentoo Mathematics Project</name>
+</maintainer>
+<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..a97703003bec
--- /dev/null
+++ b/sci-mathematics/p9m4/p9m4-05-r1.ebuild
@@ -0,0 +1,108 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+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
+ https://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
+}
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-03 15:50:21 +0000