summaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
authorIngo Schwarze <schwarze@openbsd.org>2016-11-19 15:24:51 +0000
committerIngo Schwarze <schwarze@openbsd.org>2016-11-19 15:24:51 +0000
commit78c467a091013bd025d3f48fd487215593003990 (patch)
tree15c2a186ec24d6fcdfd4f220e676024b5e8306c8 /configure
parent4c8c262182c29683c323acb1c11680220b2921e3 (diff)
downloadmandoc-78c467a091013bd025d3f48fd487215593003990.tar.gz
Do not install libmandoc.a by default.
The only environment where it is ever needed is NetBSD base. Even NetBSD ports and pkgsrc should better not install it. Triggered by a question from bentley@.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure4
1 files changed, 3 insertions, 1 deletions
diff --git a/configure b/configure
index 013a5f38..60cab5a9 100755
--- a/configure
+++ b/configure
@@ -47,6 +47,7 @@ LD_OHASH=
STATIC="-static"
BUILD_CGI=0
+INSTALL_LIBMANDOC=0
HAVE_DIRENT_NAMLEN=
HAVE_EFTYPE=
@@ -429,7 +430,8 @@ exec > Makefile.local
BUILD_TARGETS=
[ ${BUILD_CGI} -gt 0 ] && BUILD_TARGETS="cgi-build"
INSTALL_TARGETS=
-[ ${BUILD_CGI} -gt 0 ] && INSTALL_TARGETS="cgi-install"
+[ ${INSTALL_LIBMANDOC} -gt 0 ] && INSTALL_TARGETS="lib-install"
+[ ${BUILD_CGI} -gt 0 ] && INSTALL_TARGETS="${INSTALL_TARGETS} cgi-install"
cat << __HEREDOC__
BUILD_TARGETS = ${BUILD_TARGETS}