diff options
Diffstat (limited to 'misc/pascal/Reconfigure')
-rwxr-xr-x | misc/pascal/Reconfigure | 89 |
1 files changed, 89 insertions, 0 deletions
diff --git a/misc/pascal/Reconfigure b/misc/pascal/Reconfigure new file mode 100755 index 000000000..98c5e5e74 --- /dev/null +++ b/misc/pascal/Reconfigure @@ -0,0 +1,89 @@ +#! /bin/sh +############################################################################ +# Reconfigure +# +# Copyright (C) 2008 Gregory Nutt. All rights reserved. +# Author: Gregory Nutt <spudmonkey@racsa.co.cr> +# +# Redistribution and use in source and binary forms, with or without +# modification, are permitted provided that the following conditions +# are met: +# +# 1. Redistributions of source code must retain the above copyright +# notice, this list of conditions and the following disclaimer. +# 2. Redistributions in binary form must reproduce the above copyright +# notice, this list of conditions and the following disclaimer in +# the documentation and/or other materials provided with the +# distribution. +# 3. Neither the name NuttX nor the names of its contributors may be +# used to endorse or promote products derived from this software +# without specific prior written permission. +# +# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS +# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT +# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS +# FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE +# COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, +# INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, +# BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS +# OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED +# AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT +# LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN +# ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE +# POSSIBILITY OF SUCH DAMAGE. +# +############################################################################ + +function show_usage () +{ + echo "USAGE:" + echo " ./Configure [--debug] [--help] <config-file>" + echo "OPTIONS:" + echo " --debug" + echo " Prints what script is doing" + echo " --help" + echo " Prints this information" + exit 1 +} + +# Process command line arguments +# +DEBUG= +CONFIGFILE= +while [ $# -gt 0 ] ; do + case "$1" in + --debug ) + DEBUG=$1 + ;; + --help ) + show_usage + exit 1 + ;; + * ) + CONFIGFILE=$1 + ;; + esac + shift +done + +if [ -z "${CONFIGFILE}" ]; then + echo "<config-file> not specified" + show_usage + exit 1 +fi + +if [ ! -x "${CONFIGFILE}" ]; then + echo "Executable <config-file>=\"${CONFIGFILE}\" does not exist" + show_usage + exit 1 +fi + +if [ ! -x Configure ]; then + echo "./Configure script does not exist" + exit 1 +fi + +cp -f ${CONFIGFILE} .config || \ + { echo "Copy of ${CONFIGFILE} .config failed" ; exit 1 ; } + +./Configure --regen $DEBUG |