diff options
| author | June McEnroe <june@causal.agency> | 2020-07-23 16:40:46 -0400 |
|---|---|---|
| committer | June McEnroe <june@causal.agency> | 2020-07-23 16:40:46 -0400 |
| commit | 1b8d589112ad6b1f3148682689105ce94d8df44d (patch) | |
| tree | f04c3ae3d19374904b7cbe13ab3eb484b57293b2 /configure | |
| parent | Rewrite configure script for all platforms (diff) | |
| download | catgirl-1b8d589112ad6b1f3148682689105ce94d8df44d.tar.gz catgirl-1b8d589112ad6b1f3148682689105ce94d8df44d.zip | |
Support --prefix and --mandir in configure script 1.1
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/configure b/configure index d1f940d..b11679d 100755 --- a/configure +++ b/configure @@ -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 |