diff options
| author | Carl Hetherington <cth@carlh.net> | 2025-11-15 11:39:28 +0100 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2025-11-15 15:37:25 +0100 |
| commit | 7e44b1ac3ced73c1997f456294704889b8b20679 (patch) | |
| tree | c2fa1eac1cb6a2f3d0a2ebdc2604730bf8a4efb8 | |
| parent | 2f37eb90b3dff78910c228a07434522091af5580 (diff) | |
Build Fedora 42 version with support for Grok.
| -rw-r--r-- | cscript | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -570,7 +570,10 @@ def configure_options(target, options, for_package=False): if target.platform == 'osx' and target.arch == 'arm64': opt += ' --wx-config=%s/wx-config' % target.bin - if target.platform == 'linux' and target.distro == 'ubuntu' and target.version == '24.04': + if target.platform == 'linux' and ( + (target.distro == 'ubuntu' and target.version == '24.04') or + (target.distro == 'fedora' and target.version == '42') + ): opt += ' --enable-grok --workaround-mutter' if build_with_cpp17(target): |
