diff options
| author | Carl Hetherington <cth@carlh.net> | 2025-11-17 09:59:19 +0100 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2025-11-17 09:59:19 +0100 |
| commit | cd6a17064547ee699d110981a8cf70eeb6129d77 (patch) | |
| tree | 9a42e065d8c9c8fab9f8bdd2df547fbcc7045e14 | |
| parent | 8a7a909f17a7336c54631aed92218b10986cdf26 (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-- | cscript | 8 |
1 files changed, 7 insertions, 1 deletions
@@ -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' |
