#!/bin/sh

FLAGS=$1
default_prefix=/usr/local

res=`echo $FLAGS|grep "^--prefix="|wc|awk '{print $1}'`
if [ $res -ne 0 ] ; then
	prefix=`echo $FLAGS|sed 's/^--prefix=\(.*\)$/\1/'`
else
	prefix=$default_prefix
fi;

sed "s|^PREFIX = /usr/local|PREFIX = $prefix|" Makefile.in > Makefile
