1 #! /bin/bash

     2 

     3 prefix="/usr/local"

     4 

     5 tmp=$(getopt -n $0 -o p -l prefix: -- "$@")

     6 eval set -- "$tmp"

     7 

     8 while true; do

     9     case "$1" in 

    10 	--prefix)   prefix="$2"; shift 2

    11 		    ;;

    12 	--)	    break

    13 		    ;;

    14     esac

    15 done

    16 

    17 

    18 set -e

    19 umask 0333

    20 sed -e "s|@prefix@|$prefix|g" <Makefile.in >Makefile.$$

    21 rm -f Makefile

    22 mv Makefile.$$ Makefile