From 576babae91739be0824bb71ba6e224abd0878049 Mon Sep 17 00:00:00 2001 From: Jiri Slaby Date: Thu, 29 Sep 2016 10:26:25 +0200 Subject: configure: run AutoRegen.sh The previous change altered .ac files, regenerate the scripts. Signed-off-by: Jiri Slaby --- configure | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) (limited to 'configure') 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 : -- cgit 1.4.1