# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1224950830 14400
# Node ID 2f2d5c8dd320c175b284fff55a3ed5668ca6ad7c
# Parent  3ca00463de20b34d38239405c6962c1ec378cfb2
Use configure --prefix

diff -r 3ca00463de20 -r 2f2d5c8dd320 configure
--- a/configure	Fri Oct 24 19:59:17 2008 -0400
+++ b/configure	Sat Oct 25 12:07:10 2008 -0400
@@ -1632,20 +1632,24 @@
   true "$@"
 }
 
+if test $prefix = "NONE"; then
+    prefix=/usr/local
+fi
+
 if test -z $BIN; then
-    BIN=/usr/local/bin
+    BIN=$prefix/bin
 fi
 
 if test -z $LIB; then
-    LIB=/usr/local/lib/urweb
+    LIB=$prefix/lib/urweb
 fi
 
 if test -z $INCLUDE; then
-    INCLUDE=/usr/local/include/urweb
+    INCLUDE=$prefix/include/urweb
 fi
 
 if test -z $SITELISP; then
-    SITELISP=/usr/local/share/emacs/site-lisp/urweb-mode
+    SITELISP=$prefix/share/emacs/site-lisp/urweb-mode
 fi
 
 
diff -r 3ca00463de20 -r 2f2d5c8dd320 configure.ac
--- a/configure.ac	Fri Oct 24 19:59:17 2008 -0400
+++ b/configure.ac	Sat Oct 25 12:07:10 2008 -0400
@@ -25,20 +25,24 @@
   true "$@"
 }
 
+if test [$prefix = "NONE"]; then
+    prefix=/usr/local
+fi
+
 if test [-z $BIN]; then
-    BIN=/usr/local/bin
+    BIN=$prefix/bin
 fi
 
 if test [-z $LIB]; then
-    LIB=/usr/local/lib/urweb
+    LIB=$prefix/lib/urweb
 fi
 
 if test [-z $INCLUDE]; then
-    INCLUDE=/usr/local/include/urweb
+    INCLUDE=$prefix/include/urweb
 fi
 
 if test [-z $SITELISP]; then
-    SITELISP=/usr/local/share/emacs/site-lisp/urweb-mode
+    SITELISP=$prefix/share/emacs/site-lisp/urweb-mode
 fi