From 88adb034ba51d970b4ce01dce67076bd19f8e57c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bob=20Dr=C3=B6ge?= Date: Sat, 18 Apr 2026 08:05:58 +0200 Subject: [PATCH] Add Extrae-5.0.0-gompi-2025b to easyconfigs Added Extrae-5.0.0-gompi-2025b with specific options. --- .../2025.06/eessi-2025.06-eb-5.3.0-2025b.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/easystacks/software.eessi.io/2025.06/eessi-2025.06-eb-5.3.0-2025b.yml b/easystacks/software.eessi.io/2025.06/eessi-2025.06-eb-5.3.0-2025b.yml index 6a1f0c78fb..6773424670 100644 --- a/easystacks/software.eessi.io/2025.06/eessi-2025.06-eb-5.3.0-2025b.yml +++ b/easystacks/software.eessi.io/2025.06/eessi-2025.06-eb-5.3.0-2025b.yml @@ -1,2 +1,6 @@ easyconfigs: - Dyninst-13.0.0-GCC-14.3.0.eb + - Extrae-5.0.0-gompi-2025b.eb: + options: + # see https://github.com/easybuilders/easybuild-easyconfigs/pull/25798 + from-commit: a62e2485218203c9e8dc1e90284781f115b39e2f