configure
changeset 10 e2e657251d08
child 16 2b2d175c2403
--- /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.in >Makefile