armpl-gcc - finish enabling debian12 (#45744)

This commit is contained in:
dslarm 2024-08-19 08:01:09 +01:00 committed by GitHub
parent 0b3e1fd412
commit 6501705de2
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -432,16 +432,10 @@ def install(self, spec, prefix):
with when("@23:"):
armpl_version = spec.version.string.split("_")[0]
if spec.satisfies("@:23"):
exe = Executable(
f"./arm-performance-libraries_{armpl_version}_"
+ f"{get_os_or_pkg_manager(armpl_version)}.sh"
)
else:
package_type = (
"deb" if spack.platforms.host().default_os.startswith("ubuntu") else "rpm"
)
exe = Executable(f"./arm-performance-libraries_{armpl_version}_{package_type}.sh")
exe = Executable(
f"./arm-performance-libraries_{armpl_version}_"
+ f"{get_os_or_pkg_manager(armpl_version)}.sh"
)
exe("--accept", "--force", "--install-to", prefix)
@property