File indexing completed on 2024-04-28 04:48:05

 #!/bin/bash
 
 # Assume you have mysql sources at ~/dev/mysql
 # Create dir ~/dev/mysql/patches and copy patches over there
 # Then run this script from ~/dev/mysql dir like this: ./build-mysqle.sh --prefix=${HOME}/usr
 # This script respects CFLAGS, CXXFLAGS and MAKEOPTS variables
 
 echo ">>> Hi there!"
 
 if [ -e .configured ]
 then
     echo ">>> Looks like sources are already configured. Remove .configured if that's untrue"
 else
     MYOPTS="--without-server --with-embedded-server --without-docs --without-man --without-bench --without-ssl --without-extra-tools --with-pic --without-libwrap --with-mysqld-ldflags=-all-static --with-client-ldflags=-all-static --disable-shared"
     EXTRAOPTS="$@"
     CFLAGS="-fPIC -ggdb ${CFLAGS}"
     CXXFLAGS="-fPIC -ggdb ${CXXFLAGS}"
     echo ">>> Ready to run configure like this:"
     echo "CFLAGS=\"${CFLAGS}\" CXXFLAGS=\"${CXXFLAGS}\" ./configure ${MYOPTS} ${EXTRAOPTS}"
     echo -n ">>> Configuring in "
     countdown=6
     while [ $countdown -gt 0 ]
     do
         echo -n $((countdown--)) ""
         sleep 1
     done
     
     CFLAGS="${CFLAGS}" CXXFLAGS="${CXXFLAGS}" ./configure ${MYOPTS} ${EXTRAOPTS} || {
         echo "!!! configure failed, aborting"
         exit 2
     }
 
     touch .configured
 fi
 
 echo ">>> Running make"
 
 make ${MAKEOPTS} || {
     echo "!!! make failed, aborting"
     exit 3
 }
 
 echo ">>> Running make install"
 
 make install || {
     echo "!!! make install failed"
     exit 4
 }
 
 echo ">>> Done."