Mercurial > urweb
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