diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/Config/config.h.cmin | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/include/klee/Config/config.h.cmin b/include/klee/Config/config.h.cmin index b2b9692a..0a5811b7 100644 --- a/include/klee/Config/config.h.cmin +++ b/include/klee/Config/config.h.cmin @@ -25,6 +25,15 @@ /* Define to 1 if you have the `malloc_zone_statistics' function. */ #cmakedefine HAVE_MALLOC_ZONE_STATISTICS @HAVE_MALLOC_ZONE_STATISTICS@ +/* Define to 1 if you have the <pty.h> header file. */ +#cmakedefine HAVE_PTY_H @HAVE_PTY_H@ + +/* Define to 1 if you have the <util.h> header file. */ +#cmakedefine HAVE_UTIL_H @HAVE_UTIL_H@ + +/* Define to 1 if you have the <sys/statfs.h> header file. */ +#cmakedefine HAVE_SYSSTATFS_H @HAVE_SYSSTATFS_H@ + /* Define to 1 if you have the <selinux/selinux.h> header file. */ #cmakedefine HAVE_SELINUX_SELINUX_H @HAVE_SELINUX_SELINUX_H@ |