diff options
author | Nicolás Reynolds <fauno@endefensadelsl.org> | 2014-02-23 03:33:51 +0000 |
---|---|---|
committer | Nicolás Reynolds <fauno@endefensadelsl.org> | 2014-02-23 03:33:51 +0000 |
commit | 1d20e4962664ab152948a14b4320b12204a1053e (patch) | |
tree | 21362995661c2da0fb179adbd74da4391cb029ee /libre/antlr2/gcc4.4.patch | |
parent | d681aef185938981d5b5eb582d09fbc49927cf24 (diff) |
Sun Feb 23 03:31:10 UTC 2014
Diffstat (limited to 'libre/antlr2/gcc4.4.patch')
-rw-r--r-- | libre/antlr2/gcc4.4.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/libre/antlr2/gcc4.4.patch b/libre/antlr2/gcc4.4.patch new file mode 100644 index 000000000..15e25fb00 --- /dev/null +++ b/libre/antlr2/gcc4.4.patch @@ -0,0 +1,12 @@ +diff -Nur antlr-2.7.7.orig/lib/cpp/antlr/CharScanner.hpp antlr-2.7.7/lib/cpp/antlr/CharScanner.hpp +--- antlr-2.7.7.orig/lib/cpp/antlr/CharScanner.hpp ++++ antlr-2.7.7/lib/cpp/antlr/CharScanner.hpp +@@ -10,6 +10,8 @@ + + #include <antlr/config.hpp> + ++#include <cstdio> ++#include <cstring> + #include <map> + + #ifdef HAS_NOT_CCTYPE_H |