From 962fe1eadc84abc618aed5b4b359dccf4e9a012a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Sergio=20S=C3=A1nchez=20Ram=C3=ADrez?=
 <sergio.sanchez.ramirez@bsc.es>
Date: Tue, 2 Jul 2024 18:57:30 +0200
Subject: [PATCH] Fix library extension when using `use_system_library`

---
 src/Extrae.jl | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/Extrae.jl b/src/Extrae.jl
index 718e29d..072a44e 100644
--- a/src/Extrae.jl
+++ b/src/Extrae.jl
@@ -55,6 +55,8 @@ function use_system_binary(;
                 Extrae.use_system_binary(; library_names=[...])""")
     end
 
+    libextrae = join((libextrae, Libdl.dlext), '.')
+
     set_preferences!(Extrae, "libextrae" => libextrae; export_prefs, force)
 
     if libextrae != Extrae.libextrae