make-it-quick/configure

#!/bin/bash
# Configure 'make-it-quick' with the most-common options
# Those are appended to config.local-setup.mk

output() {
    echo $1 >> config.local-setup.mk
}

rm config.local-setup.mk

while [ $# -ne 0 ]; do
    case "$1" in
    --build=*)                          output IGNORED_BUILD=${1/--build=/}/;;
    --host=*)                           output IGNORED_HOST=${1/--host=/}/;;
    --program-prefix=*)                 output IGNORED_PROGRAM_PREFIX=${1/--program-prefix=/}/;;
    --disable-dependency-tracking)      output IGNORED_DEPENDENCY_TRACKING=1/;;
    --prefix=*)                         output PREFIX=${1/--prefix=/}/;;
    --exec-prefix=*)                    output PREFIX_EXEC=${1/--exec-prefix=/}/;;
    --bindir=*)                         output PREFIX_BIN=${1/--bindir=/}/;;
    --sbindir=*)                        output PREFIX_SBIN=${1/--sbindir=/}/;;
    --sysconfigdir=*)                   output SYSCONFIG=${1/--sysconfigdir=/}/;;
    --datadir=*)                        output PREFIX_SHR=${1/--datadir=/}/;;
    --includedir=*)                     output PREFIX_HDR=${1/--includedir=/}/;;
    --libdir=*)                         output PREFIX_LIB=${1/--libdir=/}/;;
    --libexecdir=*)                     output PREFIX_LIBEXEC=${1/--libexecdir=/}/;;
    --localstatedir=*)                  output PREFIX_VAR=${1/--localstatedir=/}/;;
    --sharedstatedir==*)                output PREFIX_STR=${1/--sharedstatedir=/}/;;
    --mandir==*)                        output PREFIX_MAN=${1/--mandir=/}/;;
    --infodir==*)                       output PREFIX_INFO=${1/--infodir=/}/;;
    esac
    shift
done

echo "Summary of configuration:"
cat config.local-setup.mk