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

Use correct variable to pass existing Spicy root to spicy-plugin.

Browse source 
spicy-plugin can find Spicy in paths given by `SPICY_ROOT_DIR` while
`./configure` instead set `SPICY_ROOT`. With this patch we now set the
correct variable.

We also adjust variations of the previous variable name with different
capitalization which caused us to not properly configure spicy-plugin
(which triggers finding Spicy in its given prefix).

Closes #2363.
This commit is contained in:
Benjamin Bannier 2022-08-23 09:02:39 +02:00
parent bd1190bfeb
commit 13d011da66
2 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

2
configure vendored
View file

@ -379,7 +379,7 @@ while [ $# -ne 0 ]; do
append_cache_entry PYTHON_LIBRARY PATH $optarg
;;
--with-spicy=*)
append_cache_entry SPICY_ROOT PATH $optarg
append_cache_entry SPICY_ROOT_DIR PATH $optarg
;;
--with-spicy-plugin=*)
append_cache_entry SPICY_PLUGIN_PATH PATH $optarg