diff options
author | Michael Mair-Keimberger (asterix) <m.mairkeimberger@gmail.com> | 2017-08-09 11:36:13 +0200 |
---|---|---|
committer | David Seifert <soap@gentoo.org> | 2017-08-13 13:24:22 +0200 |
commit | 788ad814089396518ce55e73e109aa02deb2831a (patch) | |
tree | 8633653a9832db01b6bf69770b09a2559d133f89 /dev-lang/maude | |
parent | app-office/texmacs: remove unused file (diff) | |
download | gentoo-788ad814089396518ce55e73e109aa02deb2831a.tar.gz gentoo-788ad814089396518ce55e73e109aa02deb2831a.tar.bz2 gentoo-788ad814089396518ce55e73e109aa02deb2831a.zip |
dev-lang/maude: remove unused patch
Closes: https://github.com/gentoo/gentoo/pull/5370
Diffstat (limited to 'dev-lang/maude')
-rw-r--r-- | dev-lang/maude/files/maude-2.6-gcc47.patch | 25 |
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(); |