extras: tools: add python 3.13 support for ninja

• Revert "extra: tools: use the ninja fork from Kitware"
• Update Ninja to 1.12.1
• Backport a patch from upstream ninja to add python 3.13 support

Starting from Python 3.13, Python does not support the configure script of the current version of the ninja we use. Hence update it to 1.12.1

Revert "extra: tools: use the ninja fork from Kitware"

We can't do that. This specific version is the only one that can share jobs properly with GNU make. Even the author of ninja says to use that one if we want this feature. That Pull Request will had support for this but only for people using GNU make 4.4. This is not the case in our Dockers nor a lot of our developers (including me).

added MRStatus::InReview label

added 1 commit

• baacf0a2 - extras: tools: add python 3.13 support to Ninja

Compare with previous version

changed title from extras: tools: Update Ninja to 1.12.1 to extras: tools: add python 3.13 support for ninja

changed the description

resolved all threads

changed milestone to %4.0

added Component::Build system label

approved this merge request

added MRStatus::Acceptable label and removed MRStatus::InReview label

added Status::BackportCandidate label

added MRStatus::Accepted label and removed MRStatus::Acceptable label

MR Acceptance result

This MergeRequest has been Accepted! Congratulations.

MR acceptance checks details:

• MR should be considered mergeable by Gitlab
• Last pipeline should be successful
• MergeRequest should have at least one external review and/or vote
• All threads should be resolved, have votes and score > 0
• MergeRequest should have no activity (threads/votes) for (72h/72h)

This message was automatically generated by homer-bot.

added 21 commits

• baacf0a2...911197c0 - 20 commits from branch videolan:master
• b8dff064 - extras: tools: add python 3.13 support to Ninja

Compare with previous version

enabled an automatic merge when all merge checks for b8dff064 pass

merged

You may cherry-pick it for the 3.0 branch.