aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorC. McEnroe <june@causal.agency>2020-07-23 16:40:46 -0400
committerC. McEnroe <june@causal.agency>2020-07-23 16:40:46 -0400
commit1b8d589112ad6b1f3148682689105ce94d8df44d (patch)
treef04c3ae3d19374904b7cbe13ab3eb484b57293b2
parentRewrite configure script for all platforms (diff)
downloadcatgirl-1b8d589112ad6b1f3148682689105ce94d8df44d.tar.gz
catgirl-1b8d589112ad6b1f3148682689105ce94d8df44d.zip
Support --prefix and --mandir in configure script1.1
-rw-r--r--README.76
-rwxr-xr-xconfigure8
2 files changed, 11 insertions, 3 deletions
diff --git a/README.7 b/README.7
index 39da90a..b10929f 100644
--- a/README.7
+++ b/README.7
@@ -93,12 +93,12 @@ macOS
and Linux.
On
.Ox ,
-additionally set
-.Ev MANDIR=/usr/local/man .
+configure with
+.Fl Fl mandir=/usr/local/man .
.Bd -literal -offset indent
\&./configure
make all
-sudo make install PREFIX=/usr/local
+sudo make install
.Ed
.
.Pp
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