Prepare for 6.0.1

Author: Christian Schulte

changelog.in

@@ -64,9 +64,11 @@
 
 [RELEASE]
 Version: 6.0.1
-Date: TBD
+Date: 2018-05-21
 [DESCRIPTION]
-Changes
+Contains a number of small fixes and one large fix for float
+variables (basically, minimodel using float variables would
+always lead to overflow and hence throw an exception).
 
 [ENTRY]
 Module: float

configure

@@ -1,7 +1,7 @@
 #! /bin/sh
 # From configure.ac Id.
 # Guess values for system-dependent variables and create Makefiles.
-# Generated by GNU Autoconf 2.69 for GECODE 6.0.0.
+# Generated by GNU Autoconf 2.69 for GECODE 6.0.1.
 #
 # Report bugs to <[email protected]>.
 #
@@ -581,8 +581,8 @@ MAKEFLAGS=
 # Identity of this package.
 PACKAGE_NAME='GECODE'
 PACKAGE_TARNAME='gecode'
-PACKAGE_VERSION='6.0.0'
-PACKAGE_STRING='GECODE 6.0.0'
+PACKAGE_VERSION='6.0.1'
+PACKAGE_STRING='GECODE 6.0.1'
 PACKAGE_BUGREPORT='[email protected]'
 PACKAGE_URL=''
 
@@ -1383,7 +1383,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 GECODE 6.0.0 to adapt to many kinds of systems.
+\`configure' configures GECODE 6.0.1 to adapt to many kinds of systems.
 
 Usage: $0 [OPTION]... [VAR=VALUE]...
 
@@ -1444,7 +1444,7 @@ fi
 
 if test -n "$ac_init_help"; then
   case $ac_init_help in
-     short | recursive ) echo "Configuration of GECODE 6.0.0:";;
+     short | recursive ) echo "Configuration of GECODE 6.0.1:";;
    esac
   cat <<\_ACEOF
 
@@ -1593,7 +1593,7 @@ fi
 test -n "$ac_init_help" && exit $ac_status
 if $ac_init_version; then
   cat <<\_ACEOF
-GECODE configure 6.0.0
+GECODE configure 6.0.1
 generated by GNU Autoconf 2.69
 
 Copyright (C) 2012 Free Software Foundation, Inc.
@@ -2271,7 +2271,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 GECODE $as_me 6.0.0, which was
+It was created by GECODE $as_me 6.0.1, which was
 generated by GNU Autoconf 2.69.  Invocation command line was
 
   $ $0 $@
@@ -2626,7 +2626,7 @@ ac_config_headers="$ac_config_headers gecode/support/config.hpp"
 
 
 
-ac_gecode_soversion=46
+ac_gecode_soversion=47
 GECODE_SOVERSION=${ac_gecode_soversion}
 
 ac_gecode_flatzincversion=1.6
@@ -13680,7 +13680,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 GECODE $as_me 6.0.0, which was
+This file was extended by GECODE $as_me 6.0.1, which was
 generated by GNU Autoconf 2.69.  Invocation command line was
 
   CONFIG_FILES    = $CONFIG_FILES
@@ -13742,7 +13742,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="\\
-GECODE config.status 6.0.0
+GECODE config.status 6.0.1
 configured by $0, generated by GNU Autoconf 2.69,
   with options \\"\$ac_cs_config\\"
 

configure.ac

@@ -40,11 +40,11 @@ dnl
 
 AC_REVISION([$Id$])
 AC_PREREQ(2.53)
-AC_INIT(GECODE, 6.0.0, [email protected])
+AC_INIT(GECODE, 6.0.1, [email protected])
 AC_CONFIG_HEADERS([gecode/support/config.hpp])
 AC_CONFIG_SRCDIR(gecode/kernel.hh)
 
-ac_gecode_soversion=46
+ac_gecode_soversion=47
 AC_SUBST(GECODE_SOVERSION, ${ac_gecode_soversion})
 ac_gecode_flatzincversion=1.6
 AC_SUBST(GECODE_FLATZINC_VERSION, ${ac_gecode_flatzincversion})

configure.ac.in

@@ -36,11 +36,11 @@ dnl
 
 AC_REVISION([$Id$])
 AC_PREREQ(2.53)
-AC_INIT(GECODE, 6.0.0, [email protected])
+AC_INIT(GECODE, 6.0.1, [email protected])
 AC_CONFIG_HEADERS([gecode/support/config.hpp])
 AC_CONFIG_SRCDIR(gecode/kernel.hh)
 
-ac_gecode_soversion=46
+ac_gecode_soversion=47
 AC_SUBST(GECODE_SOVERSION, ${ac_gecode_soversion})
 ac_gecode_flatzincversion=1.6
 AC_SUBST(GECODE_FLATZINC_VERSION, ${ac_gecode_flatzincversion})