From a469cde975ba6dd046c8e64d53b675a18b29e972 Mon Sep 17 00:00:00 2001
From: Francesc Verdugo <f.verdugo.rojano@vu.nl>
Date: Wed, 20 Mar 2024 11:09:52 +0100
Subject: [PATCH] Fix CI

---
 src/Gmsh.jl | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

diff --git a/src/Gmsh.jl b/src/Gmsh.jl
index dc3aabc..3c9956e 100644
--- a/src/Gmsh.jl
+++ b/src/Gmsh.jl
@@ -36,13 +36,15 @@ export gmsh
 @static if gmsh_provider == "system"
     using Libdl
     function __init__()
+        # This is just to have a better idea why gmsh.lib is empty
         @static if Sys.isunix()
-            @show gmsh.libdir
-            @show gmsh.libname
-            @show gmsh.lib
-            gmsh_lib = joinpath(gmsh_jl_dir,"libgmsh.so")
-            @show gmsh_lib
-            Libdl.dlopen(gmsh_lib, Libdl.RTLD_LAZY | Libdl.RTLD_DEEPBIND)
+            if gmsh.lib == ""
+                gmsh_lib = joinpath(gmsh_jl_dir,"libgmsh")
+                Libdl.dlopen(gmsh_lib, Libdl.RTLD_LAZY | Libdl.RTLD_DEEPBIND)
+            end
+        end
+        if gmsh.lib == ""
+            error("The gmsh.jl API file was not able to find a gmsh libary. Some dependencies are provably not installed in the system.")
         end
     end
 end