#!/bin/sh # generic configure prefix="/usr/local" if [ "$1" != "" ]; then prefix1="${1#--prefix=}" if [ "$prefix1" != "$1" ]; then prefix="$prefix1" fi fi rm -f Make.conf .Make.conf < Make.conf.in sed 's,^\(realprefix=\).*,\1'"$prefix"',; s,^\(srcdir=\).*,\1'"$PWD"',' > .Make.conf ln -s .Make.conf Make.conf