projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: c5000be)
support for configure-discovery of antlr3-3.4-beta4
authorMorgan Deters <mdeters@gmail.com>
Tue, 4 Oct 2011 00:26:35 +0000 (00:26 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 4 Oct 2011 00:26:35 +0000 (00:26 +0000)
config/antlr.m4 patch | blob | history

diff --git a/config/antlr.m4 b/config/antlr.m4
index 2f0898b807c4753d6185837dd8d62a3421376f09..4ec81cbc7a1c1b95ffe35a56b301ec7dbf316bdd 100644 (file)
--- a/config/antlr.m4
+++ b/config/antlr.m4
@@ -64,8 +64,7 @@ AC_DEFUN([AC_LIB_ANTLR],[
         #include <antlr3.h>
 
         int main() {
-          pANTLR3_UINT8 fName = (pANTLR3_UINT8)"foo";
-          pANTLR3_INPUT_STREAM input = antlr3AsciiFileStreamNew(fName);
+          pANTLR3_STRING_FACTORY factory = antlr3StringFactoryNew(ANTLR3_ENC_8BIT);
           return 0;
         }
       ],