diff options
author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-03-31 17:48:37 +0100 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-03-31 17:48:37 +0100 |
commit | fe94a48dc4508a2e498d51b6dd3bbca8e0c594d2 (patch) | |
tree | 63a526c73c7e67fb967d158174107b70e40b3fb3 /configure | |
parent | 58f947302c9807b7f6bea2fcb2a7bb325f8dd1b2 (diff) | |
download | klee-fe94a48dc4508a2e498d51b6dd3bbca8e0c594d2.tar.gz |
Moving to version 1.2.0
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/configure b/configure index ee5593d2..33893680 100755 --- a/configure +++ b/configure @@ -1,6 +1,6 @@ #! /bin/sh # Guess values for system-dependent variables and create Makefiles. -# Generated by GNU Autoconf 2.69 for KLEE 1.1.0. +# Generated by GNU Autoconf 2.69 for KLEE 1.2.0. # # Report bugs to <klee-dev@imperial.ac.uk>. # @@ -580,8 +580,8 @@ MAKEFLAGS= # Identity of this package. PACKAGE_NAME='KLEE' PACKAGE_TARNAME='klee-' -PACKAGE_VERSION='1.1.0' -PACKAGE_STRING='KLEE 1.1.0' +PACKAGE_VERSION='1.2.0' +PACKAGE_STRING='KLEE 1.2.0' PACKAGE_BUGREPORT='klee-dev@imperial.ac.uk' PACKAGE_URL='https://klee.github.io' @@ -1293,7 +1293,7 @@ if test "$ac_init_help" = "long"; then # Omit some internal or obsolete options to make the list less imposing. # This message is too long to be a string in the A/UX 3.1 sh. cat <<_ACEOF -\`configure' configures KLEE 1.1.0 to adapt to many kinds of systems. +\`configure' configures KLEE 1.2.0 to adapt to many kinds of systems. Usage: $0 [OPTION]... [VAR=VALUE]... @@ -1359,7 +1359,7 @@ fi if test -n "$ac_init_help"; then case $ac_init_help in - short | recursive ) echo "Configuration of KLEE 1.1.0:";; + short | recursive ) echo "Configuration of KLEE 1.2.0:";; esac cat <<\_ACEOF @@ -1474,7 +1474,7 @@ fi test -n "$ac_init_help" && exit $ac_status if $ac_init_version; then cat <<\_ACEOF -KLEE configure 1.1.0 +KLEE configure 1.2.0 generated by GNU Autoconf 2.69 Copyright (C) 2012 Free Software Foundation, Inc. @@ -2055,7 +2055,7 @@ cat >config.log <<_ACEOF This file contains any messages produced by compilers while running configure, to aid debugging if configure makes a mistake. -It was created by KLEE $as_me 1.1.0, which was +It was created by KLEE $as_me 1.2.0, which was generated by GNU Autoconf 2.69. Invocation command line was $ $0 $@ @@ -5934,7 +5934,7 @@ cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1 # report actual input values of CONFIG_FILES etc. instead of their # values after options handling. ac_log=" -This file was extended by KLEE $as_me 1.1.0, which was +This file was extended by KLEE $as_me 1.2.0, which was generated by GNU Autoconf 2.69. Invocation command line was CONFIG_FILES = $CONFIG_FILES @@ -6001,7 +6001,7 @@ _ACEOF cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1 ac_cs_config="`$as_echo "$ac_configure_args" | sed 's/^ //; s/[\\""\`\$]/\\\\&/g'`" ac_cs_version="\\ -KLEE config.status 1.1.0 +KLEE config.status 1.2.0 configured by $0, generated by GNU Autoconf 2.69, with options \\"\$ac_cs_config\\" |