diff options
author | Ingo Schwarze <schwarze@openbsd.org> | 2016-11-19 15:24:51 +0000 |
---|---|---|
committer | Ingo Schwarze <schwarze@openbsd.org> | 2016-11-19 15:24:51 +0000 |
commit | d776ebf0d043340832bbb94ec0f82140f5255970 (patch) | |
tree | 83f16477d46dd0ca360565038ceb746a5c248384 /configure | |
parent | 66286e275f33f71863b63d2ba531fa83643e4a42 (diff) | |
download | mandoc-d776ebf0d043340832bbb94ec0f82140f5255970.tar.gz mandoc-d776ebf0d043340832bbb94ec0f82140f5255970.tar.zst mandoc-d776ebf0d043340832bbb94ec0f82140f5255970.zip |
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-x | configure | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -1,6 +1,6 @@ #!/bin/sh # -# $Id: configure,v 1.53 2016/10/20 18:47:49 schwarze Exp $ +# $Id: configure,v 1.54 2016/11/19 15:24:51 schwarze Exp $ # # Copyright (c) 2014, 2015, 2016 Ingo Schwarze <schwarze@openbsd.org> # @@ -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} |