diff options
| author | C. McEnroe | 2020-07-23 16:40:46 -0400 | 
|---|---|---|
| committer | C. McEnroe | 2020-07-23 16:40:46 -0400 | 
| commit | 1b8d589112ad6b1f3148682689105ce94d8df44d (patch) | |
| tree | f04c3ae3d19374904b7cbe13ab3eb484b57293b2 /configure | |
| parent | f37ad399fe064056c438fb3f1103fe339e5fe9e5 (diff) | |
Support --prefix and --mandir in configure script1.1
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 8 | 
1 files changed, 8 insertions, 0 deletions
| @@ -22,6 +22,14 @@ defvar() {  exec >config.mk +for opt; do +	case "${opt}" in +		(--prefix=*) echo "PREFIX = ${opt#*=}" ;; +		(--mandir=*) echo "MANDIR = ${opt#*=}" ;; +		(*) echo "warning: unsupported option ${opt}" >&2 ;; +	esac +done +  case "$(uname)" in  	(FreeBSD)  		ldlibs -lncursesw | 
