comparison configure.ac @ 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
23 diagnostic() { 23 diagnostic() {
24 #echo "$@" 24 #echo "$@"
25 true "$@" 25 true "$@"
26 } 26 }
27 27
28 if test [$prefix = "NONE"]; then
29 prefix=/usr/local
30 fi
31
28 if test [-z $BIN]; then 32 if test [-z $BIN]; then
29 BIN=/usr/local/bin 33 BIN=$prefix/bin
30 fi 34 fi
31 35
32 if test [-z $LIB]; then 36 if test [-z $LIB]; then
33 LIB=/usr/local/lib/urweb 37 LIB=$prefix/lib/urweb
34 fi 38 fi
35 39
36 if test [-z $INCLUDE]; then 40 if test [-z $INCLUDE]; then
37 INCLUDE=/usr/local/include/urweb 41 INCLUDE=$prefix/include/urweb
38 fi 42 fi
39 43
40 if test [-z $SITELISP]; then 44 if test [-z $SITELISP]; then
41 SITELISP=/usr/local/share/emacs/site-lisp/urweb-mode 45 SITELISP=$prefix/share/emacs/site-lisp/urweb-mode
42 fi 46 fi
43 47
44 48
45 do_not_edit="Do not edit this file. It was generated automatically from" 49 do_not_edit="Do not edit this file. It was generated automatically from"
46 50