mirror of
https://github.com/zeek/zeek.git
synced 2025-10-02 06:38:20 +00:00
Fix install directory for plugins
This commit is contained in:
parent
3f0eee5d9d
commit
19cbb328a9
4 changed files with 14 additions and 9 deletions
|
@ -11,6 +11,12 @@ if ( NOT ZEEK_PLUGIN_SCRIPTS_PATH )
|
|||
CACHE PATH "Path to utility shell scripts." FORCE)
|
||||
endif ()
|
||||
|
||||
# Path for installing plugins.
|
||||
if ( NOT ZEEK_PLUGIN_DIR )
|
||||
set(ZEEK_PLUGIN_DIR "@ZEEK_PLUGIN_DIR@"
|
||||
CACHE STRING "Installation path for plugins" FORCE)
|
||||
endif ()
|
||||
|
||||
# For finding Zeek sources.
|
||||
if ( NOT ZEEK_SOURCE_DIR )
|
||||
set(ZEEK_SOURCE_DIR "@ZEEK_SOURCE_DIR@"
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue