summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCarl Hetherington <cth@carlh.net>2025-11-17 09:59:19 +0100
committerCarl Hetherington <cth@carlh.net>2025-11-17 09:59:19 +0100
commitcd6a17064547ee699d110981a8cf70eeb6129d77 (patch)
tree9a42e065d8c9c8fab9f8bdd2df547fbcc7045e14
parent8a7a909f17a7336c54631aed92218b10986cdf26 (diff)
Don't build Grok on Ubuntu 25.10.v2.18.32
It fails because the code needs to work with boost::process v2.
-rw-r--r--cscript8
1 files changed, 7 insertions, 1 deletions
diff --git a/cscript b/cscript
index 8d0718f96..acc3bf155 100644
--- a/cscript
+++ b/cscript
@@ -575,7 +575,13 @@ def configure_options(target, options, for_package=False):
(target.distro == 'ubuntu' and ubuntu_year >= 24) or
(target.distro == 'fedora' and int(target.version) >= 42)
):
- opt += ' --enable-grok --workaround-mutter'
+ opt += ' --workaround-mutter'
+
+ if target.platform == 'linux' and (
+ (target.distro == 'ubuntu' and target.version == "24.04") or
+ (target.distro == 'fedora' and target.version == "42")
+ ):
+ opt += ' --enable-grok'
if build_with_cpp17(target):
opt += ' --c++17'