diff -r ab747c27a38b -r e2e657251d08 configure --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/configure Sat Nov 21 22:03:50 2009 +0100 @@ -0,0 +1,17 @@ +#! /bin/bash + +prefix="/usr/local" + +tmp=$(getopt -n $0 -o p -l prefix: -- "$@") +eval set -- "$tmp" + +while true; do + case "$1" in + --prefix) prefix="$2"; shift 2 + ;; + --) break + ;; + esac +done + +sed -e "s|@prefix@|$prefix|g" Makefile