diff options
| author | Julian Büning <julian.buening@comsys.rwth-aachen.de> | 2023-05-29 18:14:30 +0200 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-06-05 17:04:19 +0100 |
| commit | 58fb505496b0bae75a300f618cd6e7279a460e95 (patch) | |
| tree | 70d20a4b064edb0785216e8d648db8b7ca995415 /include | |
| parent | a1665020e9ab501eedc7b5b77f9f0fe0ccc69317 (diff) | |
| download | klee-58fb505496b0bae75a300f618cd6e7279a460e95.tar.gz | |
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.
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/Config/config.h.cmin | 3 |
1 files changed, 3 insertions, 0 deletions
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@ |