[gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/files/

["Patrice Clement" <monsieurp@gentoo.org>]

commit:     4a25398a4b6d2199fc84a5ec726d4f45c5a8850e
Author:     Michael Mair-Keimberger (asterix) <m.mairkeimberger <AT> gmail <DOT> com>
AuthorDate: Sat Aug  6 15:06:34 2016 +0000
Commit:     Patrice Clement <monsieurp <AT> gentoo <DOT> org>
CommitDate: Mon Oct 10 12:07:42 2016 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4a25398a

dev-lang/polyml: remove unused patch.

Closes: https://github.com/gentoo/gentoo/pull/2164

Acked-By: Alexis Baller <aballier <AT> gentoo.org>
Signed-off-by: Patrice Clement <monsieurp <AT> gentoo.org>

 .../polyml/files/polyml-5.5.1-mprotect-exec.patch  | 29 ----------------------
 1 file changed, 29 deletions(-)

diff --git a/dev-lang/polyml/files/polyml-5.5.1-mprotect-exec.patch b/dev-lang/polyml/files/polyml-5.5.1-mprotect-exec.patch
deleted file mode 100644
index 3ead487..00000000
--- a/dev-lang/polyml/files/polyml-5.5.1-mprotect-exec.patch
+++ /dev/null
@@ -1,29 +0,0 @@
---- polyml.5.5.1-orig/libpolyml/memmgr.cpp	2013-07-10 22:56:07.000000000 +1000
-+++ polyml.5.5.1/libpolyml/memmgr.cpp	2014-02-10 14:08:51.866219101 +1100
-@@ -80,7 +80,7 @@
-     // Allocate the heap itself.
-     size_t iSpace = size*sizeof(PolyWord);
-     bottom  =
--        (PolyWord*)osMemoryManager->Allocate(iSpace, PERMISSION_READ|PERMISSION_WRITE|PERMISSION_EXEC);
-+        (PolyWord*)osMemoryManager->Allocate(iSpace, PERMISSION_READ|PERMISSION_EXEC);
- 
-     if (bottom == 0)
-         return false;
-@@ -359,7 +359,7 @@
-         // Allocate the memory itself.
-         size_t iSpace = size*sizeof(PolyWord);
-         space->bottom  =
--            (PolyWord*)osMemoryManager->Allocate(iSpace, PERMISSION_READ|PERMISSION_WRITE|PERMISSION_EXEC);
-+            (PolyWord*)osMemoryManager->Allocate(iSpace, PERMISSION_READ|PERMISSION_EXEC);
- 
-         if (space->bottom == 0)
-         {
-@@ -728,7 +728,7 @@
-             LocalMemSpace *space = lSpaces[i];
-             if (! space->isMutable)
-                 osMemoryManager->SetPermissions(space->bottom, (char*)space->top - (char*)space->bottom,
--                    on ? PERMISSION_READ|PERMISSION_EXEC : PERMISSION_READ|PERMISSION_EXEC|PERMISSION_WRITE);
-+                    on ? PERMISSION_READ|PERMISSION_EXEC : PERMISSION_READ|PERMISSION_WRITE);
-         }
-     }
- }