gaudi: Don't apply the patch if it has already landed upstream (#44180)

This commit is contained in:
Thomas Madlener 2024-05-16 17:15:39 +02:00 committed by GitHub
parent e6f04d5ef9
commit 722d401394
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -69,6 +69,7 @@ class Gaudi(CMakePackage):
patch(
"https://gitlab.cern.ch/gaudi/Gaudi/-/commit/54b727f08a685606420703098131b387d3026637.diff",
sha256="41aa1587a3e59d49e0fa9659577073c091871c2eca1b8b237c177ab98fbacf3f",
when="@:38.2",
)
# These dependencies are needed for a minimal Gaudi build