diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-10-04 01:54:38 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-10-04 01:54:38 +0000 |
| commit | 4c5a38bef4d9daefef4531e6148b4314c049d505 (patch) | |
| tree | 96ae326b37b4bae2b0e7d1a74c97b868a7e9822d /config | |
| parent | e92cc97ab7eea62b97cfea9f9fa08d4b6719be77 (diff) | |
oops, one more fix, hopefully the last
Diffstat (limited to 'config')
| -rw-r--r-- | config/antlr.m4 | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/config/antlr.m4 b/config/antlr.m4 index b376c0ecc..27e9200e5 100644 --- a/config/antlr.m4 +++ b/config/antlr.m4 @@ -94,7 +94,7 @@ AC_DEFUN([AC_LIB_ANTLR],[ ], [ AC_MSG_RESULT([found it (must be antlr3 3.2 or similar)]) - CVC4_ANTLR3_OLD_INPUT_STREAM=0 + CVC4CPPFLAGS="${CVC4CPPFLAGS:+$CVC4CPPFLAGS }-DCVC4_ANTLR3_OLD_INPUT_STREAM" ], [ AC_MSG_RESULT(failed) @@ -111,7 +111,6 @@ AC_DEFUN([AC_LIB_ANTLR],[ ], [ AC_MSG_RESULT([found it (must be antlr3 3.4 or similar)]) - CVC4_ANTLR3_OLD_INPUT_STREAM=0 ], [ AC_MSG_ERROR([cannot figure out how to create an antlr3 input stream, bailing..]) @@ -120,8 +119,6 @@ AC_DEFUN([AC_LIB_ANTLR],[ ] ) - AC_DEFINE_UNQUOTED(CVC4_ANTLR3_OLD_INPUT_STREAM, [$CVC4_ANTLR3_OLD_INPUT_STREAM], [Defined to 1 if we have libantlr3c v3.2 or equivalent.]) - # Return the old compile variables and pop the language. LIBS="$OLD_LIBS" CPPFLAGS="$OLD_CPPFLAGS" |