Use configure --prefix

1 files changed, 8 insertions, 4 deletions

diff --git a/configure b/configure
index 25a703df..e205575b 100755
--- a/configure
+++ b/configure
@@ -1632,20 +1632,24 @@ diagnostic() {
   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