diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 54 |
1 files changed, 28 insertions, 26 deletions
diff --git a/configure b/configure index e4f8ffb6..9e524f41 100755 --- a/configure +++ b/configure @@ -1,8 +1,8 @@ #! /bin/sh # Guess values for system-dependent variables and create Makefiles. -# Generated by GNU Autoconf 2.69 for KLEE 0.01. +# Generated by GNU Autoconf 2.69 for KLEE 0.2.0. # -# Report bugs to <daniel@minormatter.com>. +# Report bugs to <klee-dev@imperial.ac.uk>. # # # Copyright (C) 1992-1996, 1998-2012 Free Software Foundation, Inc. @@ -267,10 +267,10 @@ fi $as_echo "$0: be upgraded to zsh 4.3.4 or later." else $as_echo "$0: Please tell bug-autoconf@gnu.org and -$0: daniel@minormatter.com about your system, including any -$0: error possibly output before this message. Then install -$0: a modern shell, or manually run the script under such a -$0: shell if you do have one." +$0: [klee-dev@imperial.ac.uk] about your system, including +$0: any error possibly output before this message. Then +$0: install a modern shell, or manually run the script +$0: under such a shell if you do have one." fi exit 1 fi @@ -579,11 +579,11 @@ MAKEFLAGS= # Identity of this package. PACKAGE_NAME='KLEE' -PACKAGE_TARNAME='-klee-' -PACKAGE_VERSION='0.01' -PACKAGE_STRING='KLEE 0.01' -PACKAGE_BUGREPORT='daniel@minormatter.com' -PACKAGE_URL='' +PACKAGE_TARNAME='klee-' +PACKAGE_VERSION='0.2.0' +PACKAGE_STRING='KLEE 0.2.0' +PACKAGE_BUGREPORT='klee-dev@imperial.ac.uk' +PACKAGE_URL='https://klee.github.io' ac_unique_file=""Makefile.config.in"" # Factoring default headers for most tests. @@ -1285,7 +1285,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 0.01 to adapt to many kinds of systems. +\`configure' configures KLEE 0.2.0 to adapt to many kinds of systems. Usage: $0 [OPTION]... [VAR=VALUE]... @@ -1333,7 +1333,7 @@ Fine tuning of the installation directories: --infodir=DIR info documentation [DATAROOTDIR/info] --localedir=DIR locale-dependent data [DATAROOTDIR/locale] --mandir=DIR man documentation [DATAROOTDIR/man] - --docdir=DIR documentation root [DATAROOTDIR/doc/-klee-] + --docdir=DIR documentation root [DATAROOTDIR/doc/klee-] --htmldir=DIR html documentation [DOCDIR] --dvidir=DIR dvi documentation [DOCDIR] --pdfdir=DIR pdf documentation [DOCDIR] @@ -1351,7 +1351,7 @@ fi if test -n "$ac_init_help"; then case $ac_init_help in - short | recursive ) echo "Configuration of KLEE 0.01:";; + short | recursive ) echo "Configuration of KLEE 0.2.0:";; esac cat <<\_ACEOF @@ -1399,7 +1399,8 @@ Some influential environment variables: Use these variables to override the choices made by `configure' or to help it to find libraries and programs with nonstandard names/locations. -Report bugs to <daniel@minormatter.com>. +Report bugs to <klee-dev@imperial.ac.uk>. +KLEE home page: <https://klee.github.io>. _ACEOF ac_status=$? fi @@ -1462,7 +1463,7 @@ fi test -n "$ac_init_help" && exit $ac_status if $ac_init_version; then cat <<\_ACEOF -KLEE configure 0.01 +KLEE configure 0.2.0 generated by GNU Autoconf 2.69 Copyright (C) 2012 Free Software Foundation, Inc. @@ -1705,9 +1706,9 @@ $as_echo "$as_me: WARNING: $2: see the Autoconf documentation" >&2;} $as_echo "$as_me: WARNING: $2: section \"Present But Cannot Be Compiled\"" >&2;} { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: $2: proceeding with the compiler's result" >&5 $as_echo "$as_me: WARNING: $2: proceeding with the compiler's result" >&2;} -( $as_echo "## ------------------------------------- ## -## Report this to daniel@minormatter.com ## -## ------------------------------------- ##" +( $as_echo "## -------------------------------------- ## +## Report this to klee-dev@imperial.ac.uk ## +## -------------------------------------- ##" ) | sed "s/^/$as_me: WARNING: /" >&2 ;; esac @@ -1952,9 +1953,9 @@ $as_echo "$as_me: WARNING: $2: see the Autoconf documentation" >&2;} $as_echo "$as_me: WARNING: $2: section \"Present But Cannot Be Compiled\"" >&2;} { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: $2: proceeding with the compiler's result" >&5 $as_echo "$as_me: WARNING: $2: proceeding with the compiler's result" >&2;} -( $as_echo "## ------------------------------------- ## -## Report this to daniel@minormatter.com ## -## ------------------------------------- ##" +( $as_echo "## -------------------------------------- ## +## Report this to klee-dev@imperial.ac.uk ## +## -------------------------------------- ##" ) | sed "s/^/$as_me: WARNING: /" >&2 ;; esac @@ -2043,7 +2044,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 0.01, which was +It was created by KLEE $as_me 0.2.0, which was generated by GNU Autoconf 2.69. Invocation command line was $ $0 $@ @@ -5618,7 +5619,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 0.01, which was +This file was extended by KLEE $as_me 0.2.0, which was generated by GNU Autoconf 2.69. Invocation command line was CONFIG_FILES = $CONFIG_FILES @@ -5678,13 +5679,14 @@ $config_headers Configuration commands: $config_commands -Report bugs to <daniel@minormatter.com>." +Report bugs to <klee-dev@imperial.ac.uk>. +KLEE home page: <https://klee.github.io>." _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 0.01 +KLEE config.status 0.2.0 configured by $0, generated by GNU Autoconf 2.69, with options \\"\$ac_cs_config\\" |