summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael Mair-Keimberger (asterix) <m.mairkeimberger@gmail.com>2017-08-09 11:36:13 +0200
committerDavid Seifert <soap@gentoo.org>2017-08-13 13:24:22 +0200
commit788ad814089396518ce55e73e109aa02deb2831a (patch)
tree8633653a9832db01b6bf69770b09a2559d133f89
parentapp-office/texmacs: remove unused file (diff)
downloadgentoo-788ad814089396518ce55e73e109aa02deb2831a.tar.gz
gentoo-788ad814089396518ce55e73e109aa02deb2831a.tar.bz2
gentoo-788ad814089396518ce55e73e109aa02deb2831a.zip
dev-lang/maude: remove unused patch
Closes: https://github.com/gentoo/gentoo/pull/5370
-rw-r--r--dev-lang/maude/files/maude-2.6-gcc47.patch25
1 files changed, 0 insertions, 25 deletions
diff --git a/dev-lang/maude/files/maude-2.6-gcc47.patch b/dev-lang/maude/files/maude-2.6-gcc47.patch
deleted file mode 100644
index 65dcc302ab33..000000000000
--- a/dev-lang/maude/files/maude-2.6-gcc47.patch
+++ /dev/null
@@ -1,25 +0,0 @@
-Get maude to compile on amd64 with g++ 4.7
-bicatali@gentoo.org nov 2013
-
---- Maude-2.6.orig/src/Mixfix/lexerAux.cc 2013-11-06 09:41:00.821049550 -0800
-+++ Maude-2.6/src/Mixfix/lexerAux.cc 2013-11-06 09:41:33.174247429 -0800
-@@ -35,7 +35,7 @@
- bool fakeNewlineStack[MAX_IN_DEPTH];
-
- void
--getInput(char* buf, int& result, int max_size)
-+getInput(char* buf, size_t& result, int max_size)
- {
- result = YY_NULL;
- if (UserLevelRewritingContext::interrupted())
---- Maude-2.6.orig/src/Mixfix/lexerAux.hh 2013-11-06 09:41:00.821049550 -0800
-+++ Maude-2.6/src/Mixfix/lexerAux.hh 2013-11-06 09:41:23.466187406 -0800
-@@ -27,7 +27,7 @@
- //extern int inStackPtr;
- //extern YY_BUFFER_STATE inStack[];
-
--void getInput(char* buf, int& result, int max_size);
-+void getInput(char* buf, size_t& result, int max_size);
- void lexerIdMode();
- void lexerTokenTreeMode(int terminatingTokens);
- void lexerCmdMode();