PR #43701 is broken, preventing scorep from being installed. As explained in #43700 the issue is internal to scorep and can not be fixed in the package, at least by the method being attempted here.
This commit is contained in:
wspear 2024-05-02 00:56:21 -07:00 committed by GitHub
parent a0aa35667c
commit f7eb0ccfc9
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -153,9 +153,6 @@ def find_libpath(self, libname, root):
return None
return libs.directories[0]
def with_or_without(self, arg):
return super.with_or_without(arg).remove_suffix("=yes")
def configure_args(self):
spec = self.spec