diff options
| author | Morgan Jones <me@numin.it> | 2024-12-30 13:22:37 -0800 |
|---|---|---|
| committer | Morgan Jones <me@numin.it> | 2025-01-11 17:48:52 -0800 |
| commit | df9943568857ce91906c76a17c5d7d440376d1ad (patch) | |
| tree | 1cc3992fab44ddb4eec54819709c2f8970fd2ad0 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 3af07aa4d35df5029509c353220b6801867c882d (diff) | |
z3_4_{8_5,8,11,12}: fix clang-19 build
Original commit message by Reno Dakota (https://github.com/paparodeo),
rebased against latest z3 changes:
z3 contains a bunch of typos in never used functions. The update to
clang-19 now reports the typos -- wrong member function / variable
names. There is an upstream patch which fixes some of these:
https://github.com/Z3Prover/z3/commit/2ce89e5f491fa817d02d8fdce8c62798beab258b
And the others we patch or remove as the upstream code has since been
modified.
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions