diff options
| -rwxr-xr-x | configure | 21 | ||||
| -rw-r--r-- | include/klee/Config/config.h.in | 3 |
2 files changed, 24 insertions, 0 deletions
diff --git a/configure b/configure index f6059789..35ec06d1 100755 --- a/configure +++ b/configure @@ -735,6 +735,7 @@ enable_cxx11 with_llvm_build_mode with_llvmcc with_llvmcxx +enable_timestamp with_uclibc enable_posix_runtime with_runtime @@ -1373,6 +1374,8 @@ Optional Features: --disable-FEATURE do not include FEATURE (same as --enable-FEATURE=no) --enable-FEATURE[=ARG] include FEATURE [ARG=yes] --enable-cxx11 Build using C++11 + --enable-timestamp Enable timestamping the source code while building. + (default=disabled) --enable-posix-runtime Enable the POSIX runtime Optional Packages: @@ -3996,6 +3999,24 @@ KLEE_BITCODE_CXX_COMPILER=$klee_llvm_bc_cxx_compiler +# Check whether --enable-timestamp was given. +if test "${enable_timestamp+set}" = set; then : + enableval=$enable_timestamp; +fi + + +if test "x${enable_timestamp}" = "xyes" ; then + +$as_echo "#define KLEE_ENABLE_TIMESTAMP 1" >>confdefs.h + + { $as_echo "$as_me:${as_lineno-$LINENO}: Source timestamping enabled." >&5 +$as_echo "$as_me: Source timestamping enabled." >&6;} +else + { $as_echo "$as_me:${as_lineno-$LINENO}: Source timestamping disabled." >&5 +$as_echo "$as_me: Source timestamping disabled." >&6;} +fi + + # Check whether --with-uclibc was given. if test "${with_uclibc+set}" = set; then : diff --git a/include/klee/Config/config.h.in b/include/klee/Config/config.h.in index 87d6ee75..76d391e4 100644 --- a/include/klee/Config/config.h.in +++ b/include/klee/Config/config.h.in @@ -72,6 +72,9 @@ /* Define to 1 if you have the <zlib.h> header file. */ #undef HAVE_ZLIB_H +/* Enable time stamping the sources */ +#undef KLEE_ENABLE_TIMESTAMP + /* Define to empty or 'const' depending on how SELinux qualifies its security context parameters. */ #undef KLEE_SELINUX_CTX_CONST |