From f3d3cca63d1e2500764279f7b4fc302fd8106676 Mon Sep 17 00:00:00 2001 From: Frank Busse Date: Wed, 3 Oct 2018 22:23:49 +0100 Subject: add support for klee-replay on OSX * also adds klee-replay as dependency for systemtests --- include/klee/Config/config.h.cmin | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'include') 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 header file. */ +#cmakedefine HAVE_PTY_H @HAVE_PTY_H@ + +/* Define to 1 if you have the header file. */ +#cmakedefine HAVE_UTIL_H @HAVE_UTIL_H@ + +/* Define to 1 if you have the header file. */ +#cmakedefine HAVE_SYSSTATFS_H @HAVE_SYSSTATFS_H@ + /* Define to 1 if you have the header file. */ #cmakedefine HAVE_SELINUX_SELINUX_H @HAVE_SELINUX_SELINUX_H@ -- cgit 1.4.1