allow one to set the version. closes #727

git-svn-id: file:///svn/mysql/tokudb-engine/src@3534 c7de825b-a66e-492c-adef-691d508d4ae1

storage/tokudb/configure.tokutek

@@ -4,6 +4,7 @@
 # command line parameters
 
 tokudb=/usr/local/tokudb
+tokudb_version=`basename $tokudb`
 mysql=/usr/local/mysql
 libdir=/usr/local/mysql/lib
 
@@ -11,6 +12,7 @@ while [ $# -gt 0 ] ; do
     arg=$1; shift
     if [[ $arg =~ "--with-tokudb=(.*)" ]] ; then
 	tokudb=${BASH_REMATCH[1]}
+	tokudb_version=`basename $tokudb`
     fi
     if [[ $arg =~ "--with-mysql=(.*)" ]] ; then
         mysql=${BASH_REMATCH[1]}
@@ -18,6 +20,9 @@ while [ $# -gt 0 ] ; do
     if [[ $arg =~ "--libdir=(.*)" ]] ; then
         libdir=${BASH_REMATCH[1]}
     fi
+    if [[ $arg =~ "--tokudb_version=(.*)" ]] ; then
+	tokudb_version=${BASH_REMATCH[1]}
+    fi
 done
 
 error=0
@@ -35,7 +40,6 @@ if [ ! -d $libdir ] ; then
 fi
 if [ $error -ne 0 ] ; then exit 1 ; fi
 
-tokudb_version=`basename $tokudb`
 # escape the path names so that the sed works
 # note: i was not smart enough to get this right without a sequence of experiments
 tokudb=`echo $tokudb | sed -e s/\\\//\\\\\\\\\\\//g`