diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-07-18 15:25:15 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-07-23 11:57:16 -0400 |
commit | 59e1eadaa3c26bdd3f52c6347dd3cfe5ce9051b5 (patch) | |
tree | 244a76de1e34e1c892a98e9b8838f8b3426762c7 /configure.ac | |
parent | e12e7b9f980ec3f2b3db6de73e5fbe6f0daa1c00 (diff) |
fix for win32 option parsing via mingw32
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index bdce30f28..bbec2970c 100644 --- a/configure.ac +++ b/configure.ac @@ -976,6 +976,11 @@ AC_CHECK_HEADERS([getopt.h unistd.h]) #AC_TYPE_UINT64_T #AC_TYPE_SIZE_T +# guard against double-inclusion of the autoheader +AH_TOP([#ifndef __CVC4__CVC4AUTOCONFIG_H +#define __CVC4__CVC4AUTOCONFIG_H]) +AH_BOTTOM([#endif /* __CVC4__CVC4AUTOCONFIG_H */]) + AC_CHECK_DECLS([optreset], [], [], [#include <getopt.h>]) # check with which standard strerror_r() complies |