comparison 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
comparison
equal deleted inserted replaced
428:3ca00463de20 429:2f2d5c8dd320
1630 diagnostic() { 1630 diagnostic() {
1631 #echo "$@" 1631 #echo "$@"
1632 true "$@" 1632 true "$@"
1633 } 1633 }
1634 1634
1635 if test $prefix = "NONE"; then
1636 prefix=/usr/local
1637 fi
1638
1635 if test -z $BIN; then 1639 if test -z $BIN; then
1636 BIN=/usr/local/bin 1640 BIN=$prefix/bin
1637 fi 1641 fi
1638 1642
1639 if test -z $LIB; then 1643 if test -z $LIB; then
1640 LIB=/usr/local/lib/urweb 1644 LIB=$prefix/lib/urweb
1641 fi 1645 fi
1642 1646
1643 if test -z $INCLUDE; then 1647 if test -z $INCLUDE; then
1644 INCLUDE=/usr/local/include/urweb 1648 INCLUDE=$prefix/include/urweb
1645 fi 1649 fi
1646 1650
1647 if test -z $SITELISP; then 1651 if test -z $SITELISP; then
1648 SITELISP=/usr/local/share/emacs/site-lisp/urweb-mode 1652 SITELISP=$prefix/share/emacs/site-lisp/urweb-mode
1649 fi 1653 fi
1650 1654
1651 1655
1652 do_not_edit="Do not edit this file. It was generated automatically from" 1656 do_not_edit="Do not edit this file. It was generated automatically from"
1653 1657