diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-18 15:30:32 -0400 |
---|---|---|
committer | lianah <lianahady@gmail.com> | 2014-06-19 18:24:40 -0400 |
commit | cbdf393fa0ba314493260991ddc1a163e9d2bade (patch) | |
tree | 9656ca0e7dc20a607382c8ee6eabb4fb5bcbb48a /configure.ac | |
parent | 0720ea721663177c3919eb2415dccdcc018f5c73 (diff) |
Fix for mac readline.
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index 629e1625b..31dec369b 100644 --- a/configure.ac +++ b/configure.ac @@ -982,7 +982,7 @@ AC_LIB_ANTLR CVC4_CHECK_BINDINGS([c java])dnl csharp perl php python ruby tcl ocaml]) # Checks for header files and their contents. -AC_CHECK_HEADERS([getopt.h unistd.h]) +AC_CHECK_HEADERS([getopt.h unistd.h ext/stdio_filebuf.h]) # Checks for typedefs, structures, and compiler characteristics. #AC_HEADER_STDBOOL |