From 58fb505496b0bae75a300f618cd6e7279a460e95 Mon Sep 17 00:00:00 2001 From: Julian Büning Date: Mon, 29 May 2023 18:14:30 +0200 Subject: config.h: include FSTATAT_PATH_ACCEPTS_NULL This variable was introduced by d2f5906da4ae37a41ae257e5308d50e19689877b but not included in `config.h` before. As a result `#ifdef` would always fail. Moving the code is necessary to set the variable before `config.h` is created using `configure_file()` in CMakeLists.txt. --- include/klee/Config/config.h.cmin | 3 +++ 1 file changed, 3 insertions(+) (limited to 'include') diff --git a/include/klee/Config/config.h.cmin b/include/klee/Config/config.h.cmin index 50ccf3fd..f0c3f629 100644 --- a/include/klee/Config/config.h.cmin +++ b/include/klee/Config/config.h.cmin @@ -13,6 +13,9 @@ /* Using Z3 Solver backend */ #cmakedefine ENABLE_Z3 @ENABLE_Z3@ +/* Define if fstatat() accepts NULL as pathname argument. */ +#cmakedefine FSTATAT_PATH_ACCEPTS_NULL 1 + /* Does the platform use __ctype_b_loc, etc. */ #cmakedefine HAVE_CTYPE_EXTERNALS @HAVE_CTYPE_EXTERNALS@ -- cgit 1.4.1