From f50a0e73d77bfcfb8b458840b8b7a440cca9770c Mon Sep 17 00:00:00 2001 From: Luke Shumaker Date: Mon, 29 Jun 2015 00:43:52 -0600 Subject: Start re-jiggering RVS. --- configure | 99 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 99 insertions(+) create mode 100755 configure (limited to 'configure') diff --git a/configure b/configure new file mode 100755 index 0000000..15b52cf --- /dev/null +++ b/configure @@ -0,0 +1,99 @@ +#!/usr/bin/env bash +name='configure' # Luke's configureation script +#version='1.0' +# Copyright (C) 2009 Luke Shumaker +# +# This program is free software; you can redistribute it and/or +# modify it under the terms of the GNU General Public License as +# published by the Free Software Foundation; either version 2 of the +# License, or (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU +# General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; see the file COPYING. +# If not, see . + +srcdir=$(readlink -f `dirname "$0"`) + + _DESTDIR='' + _prefix='/usr/local' +_exec_prefix='$(prefix)' + _bindir='$(exec_prefix)/bin' + _sbindir='$(exec_prefix)/sbin' + _libexecdir='$(exec_prefix)/libexec' + _CONFIG="$@" +vars='DESTDIR prefix exec_prefix bindir sbindir libexecdir CONFIG' +if [ -f "$srcdir/config" ]; then . "$srcdir/config"; fi + +error() { + echo "$name: $1" >> /dev/stderr + exit 1 +} + +varargs=`echo "$vars " | sed -e 's/ */:,/g' -e 's/,$//'` +args=`getopt -n "$name" -o "${sopt}" -l "${lopt}${varargs}" -- "$@"` +if [ $? == 0 ]; then + set -- $args + while [ $# -gt 0 ]; do case "$1" in + --) break;; + --srcdir) srcdir="$2"; shift;; + --*) + var0="${1/--/}" + match='false' + for var1 in $vars; do + if [ "$var0" == "$var1" ]; then + match='true' + break; + fi + done + if [ "$match" == 'true' ]; then + shift + val="$1" + eval _$var0=$val + else + error "unrecognized option \`$1'"; + fi + :;; + *) error "unrecognized option \`$1'"; + esac + shift + done +else + error 'unable to parse command line arguments' +fi + +echo '#!/bin/sed -f' > var.sed +for var in $vars; do + var1="_$var" + val=${!var1} + + # GNU bash optimized version + var=${var//:/\\:} + val=${val//:/\\:} + # POSIX version + #var=`echo "$var" | sed 's@:@\\:@g'` + #val=`echo "$val" | sed 's@:@\\:@g'` + + echo "s:@$var@:$val:g" >> var.sed +done + +Makefiles="`find "$srcdir/" -type f -name 'Makefile.in'`" +Makefiles="`find "$srcdir/" -type f -name '*.mk.in'` $Makefiles" +for orig in $Makefiles; do + new=${orig/%.in/} #bashism + new=${new/#$srcdir\//} #bashism + path=`dirname "$orig"` + mkdir -p `dirname "$new"` + sed -f var.sed "${orig}" | sed \ +-e "s:@srcdir@:${path//:/\\:}/:g" \ +-e '19 a# DO NOT edit this file, it has been generated by configure, and will' \ +-e "19 a# be overwritten. Instead, edit the file \``basename ${orig}`'" \ +-e "19 a + " > "${new}" +done +rm var.sed + -- cgit v1.2.3-54-g00ecf