fix: use missing instead of empty string for no jll (#1368)

* fix: use missing instead of empty string for no jll

* fix: map symbol if reactant_jll is available

Author: avik-pal

src/mlir/MLIR.jl

@@ -10,7 +10,7 @@ module API
     const mlir_c = if Reactant_jll.is_available()
         Reactant_jll.libReactantExtra
     else
-        ""
+        missing
     end
 
     # MLIR C API

src/stdlibs/LinearAlgebra.jl

@@ -14,25 +14,28 @@ using ..Reactant:
 
 using ReactantCore: ReactantCore
 using ReactantCore: materialize_traced_array
+using Reactant_jll: Reactant_jll
 
 using ..TracedUtils: TracedUtils, get_mlir_data, set_mlir_data!
 
 using LinearAlgebra
 using Libdl: Libdl
 
 function __init__()
-    libblastrampoline_handle = Libdl.dlopen(LinearAlgebra.BLAS.libblas)
-
-    for (cname, enzymexla_name) in [
-        (LinearAlgebra.BLAS.@blasfunc(sgetrf_), :enzymexla_lapack_sgetrf_),
-        (LinearAlgebra.BLAS.@blasfunc(dgetrf_), :enzymexla_lapack_dgetrf_),
-        (LinearAlgebra.BLAS.@blasfunc(cgetrf_), :enzymexla_lapack_cgetrf_),
-        (LinearAlgebra.BLAS.@blasfunc(zgetrf_), :enzymexla_lapack_zgetrf_),
-    ]
-        sym = Libdl.dlsym(libblastrampoline_handle, cname)
-        @ccall MLIR.API.mlir_c.EnzymeJaXMapSymbol(
-            enzymexla_name::Cstring, sym::Ptr{Cvoid}
-        )::Cvoid
+    if Reactant_jll.is_available()
+        libblastrampoline_handle = Libdl.dlopen(LinearAlgebra.BLAS.libblas)
+
+        for (cname, enzymexla_name) in [
+            (LinearAlgebra.BLAS.@blasfunc(sgetrf_), :enzymexla_lapack_sgetrf_),
+            (LinearAlgebra.BLAS.@blasfunc(dgetrf_), :enzymexla_lapack_dgetrf_),
+            (LinearAlgebra.BLAS.@blasfunc(cgetrf_), :enzymexla_lapack_cgetrf_),
+            (LinearAlgebra.BLAS.@blasfunc(zgetrf_), :enzymexla_lapack_zgetrf_),
+        ]
+            sym = Libdl.dlsym(libblastrampoline_handle, cname)
+            @ccall MLIR.API.mlir_c.EnzymeJaXMapSymbol(
+                enzymexla_name::Cstring, sym::Ptr{Cvoid}
+            )::Cvoid
+        end
     end
 
     return nothing