diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-03-30 01:44:43 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-03-30 01:44:43 +0000 |
commit | 4a9a8b6368393f50cefae5ef19719fe717ea0b8e (patch) | |
tree | c1f56bd9d5447df9cab83315bfc8b3ccf7e1f8ae /config/antlr.m4 | |
parent | 889d34864fb2218516fd18250e4f086213f14611 (diff) |
fixing some build systme warnings
Diffstat (limited to 'config/antlr.m4')
-rw-r--r-- | config/antlr.m4 | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/config/antlr.m4 b/config/antlr.m4 index 27e9200e5..18b2eff73 100644 --- a/config/antlr.m4 +++ b/config/antlr.m4 @@ -59,7 +59,7 @@ AC_DEFUN([AC_LIB_ANTLR],[ do CPPFLAGS="$OLD_CPPFLAGS -I$antlr_prefix/include" LIBS="$OLD_LIBS -L$antlr_prefix/lib -lantlr3c" - AC_LINK_IFELSE( + AC_LINK_IFELSE([AC_LANG_SOURCE( [ #include <antlr3.h> @@ -67,7 +67,7 @@ AC_DEFUN([AC_LIB_ANTLR],[ pANTLR3_TOKEN_FACTORY factory = antlr3TokenFactoryNew((pANTLR3_INPUT_STREAM) NULL); return 0; } - ], + ])], [ AC_MSG_RESULT(found in $antlr_prefix) ANTLR_INCLUDES="-I$antlr_prefix/include" @@ -82,7 +82,7 @@ AC_DEFUN([AC_LIB_ANTLR],[ done AC_MSG_CHECKING([for presence of older antlr3AsciiFileStreamNew()]) - AC_LINK_IFELSE( + AC_LINK_IFELSE([AC_LANG_SOURCE( [ #include <antlr3.h> @@ -91,7 +91,7 @@ AC_DEFUN([AC_LIB_ANTLR],[ pANTLR3_INPUT_STREAM input = antlr3AsciiFileStreamNew(fName); return 0; } - ], + ])], [ AC_MSG_RESULT([found it (must be antlr3 3.2 or similar)]) CVC4CPPFLAGS="${CVC4CPPFLAGS:+$CVC4CPPFLAGS }-DCVC4_ANTLR3_OLD_INPUT_STREAM" @@ -99,7 +99,7 @@ AC_DEFUN([AC_LIB_ANTLR],[ [ AC_MSG_RESULT(failed) AC_MSG_CHECKING([for presence of newer antlr3FileStreamNew()]) - AC_LINK_IFELSE( + AC_LINK_IFELSE([AC_LANG_SOURCE( [ #include <antlr3.h> @@ -108,7 +108,7 @@ AC_DEFUN([AC_LIB_ANTLR],[ pANTLR3_INPUT_STREAM input = antlr3FileStreamNew(fName, ANTLR3_ENC_8BIT); return 0; } - ], + ])], [ AC_MSG_RESULT([found it (must be antlr3 3.4 or similar)]) ], |