Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-01 22:28:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

Expose a configure-time option to set the plugin path.

Browse source 
I believe that this is the last option presented during the build summary which wasn't available to be set by the user.
This commit is contained in:
Vlad Grigorescu 2021-03-12 21:22:01 -06:00
parent c9c0fea8d0
commit 4557b0907c
2 changed files with 12 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
configure vendored
View file

@ -41,6 +41,7 @@ Usage: $0 [OPTION]... [VAR=VALUE]...
--logdir=PATH when using ZeekControl, path to store log file
[PREFIX/logs]
--libdir=PATH installation directory for library files [PREFIX/lib]
--plugindir=PATH installation directory for plugins [LIBDIR/zeek/plugin]
--conf-files-dir=PATH config files installation directory [PREFIX/etc]
--mandir=PATH installation path for man pages [PREFIX/share/man]
--python-dir=PATH explicit installation directory for Python modules
@ -213,6 +214,9 @@ while [ $# -ne 0 ]; do
--libdir=*)
append_cache_entry CMAKE_INSTALL_LIBDIR PATH $optarg
;;
--plugindir=*)
append_cache_entry ZEEK_PLUGIN_DIR PATH $optarg
;;
--python-dir=*)
append_cache_entry ZEEK_PYTHON_DIR PATH $optarg
;;