diff configure @ 429:2f2d5c8dd320

Use configure --prefix
author Adam Chlipala <adamc@hcoop.net>
date Sat, 25 Oct 2008 12:07:10 -0400
parents 168667cdaa95
children f7b25375c0cf
line wrap: on
line diff
--- 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