From 21435953e16cda318a82334ddbadb3b5c36d9ea7 Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@redcorelinux.org>
Date: Wed, 15 Jan 2020 15:51:32 +0000
Subject: gentoo resync : 15.01.2020

---
 .../p9m4/files/p9m4-v05-use-inst-paths.patch       | 42 ----------------------
 1 file changed, 42 deletions(-)
 delete mode 100644 sci-mathematics/p9m4/files/p9m4-v05-use-inst-paths.patch

(limited to 'sci-mathematics/p9m4/files/p9m4-v05-use-inst-paths.patch')

diff --git a/sci-mathematics/p9m4/files/p9m4-v05-use-inst-paths.patch b/sci-mathematics/p9m4/files/p9m4-v05-use-inst-paths.patch
deleted file mode 100644
index 5b48b94b27bf..000000000000
--- a/sci-mathematics/p9m4/files/p9m4-v05-use-inst-paths.patch
+++ /dev/null
@@ -1,42 +0,0 @@
-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 *
-- 
cgit v1.2.3