Fix support for new flint library version

Broken by #1691
Nemocas · Apr 15, 2024 · f1b6e44 · f1b6e44
1 parent 5fac404
commit f1b6e44
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/src/Nemo.jl b/src/Nemo.jl
@@ -202,9 +202,6 @@ const eigenvalues = eigvals # alternative name for the function from LinearAlgeb
 #
 ###############################################################################
 
-using Arb_jll: libarb
-using Antic_jll: libantic
-using Calcium_jll: libcalcium
 using FLINT_jll: libflint
 
 const pkgdir = realpath(joinpath(dirname(@__DIR__)))
@@ -218,11 +215,14 @@ end
 _ptr = Libdl.dlopen(libflint)
 if Libdl.dlsym(_ptr, :_fmpz_mod_vec_set_fmpz_vec_threaded; throw_error = false) !== nothing
   const NEW_FLINT = true
-	libantic = libflint
-	libarb = libflint
-	libcalcium = libflint
+  const libantic = libflint
+  const libarb = libflint
+  const libcalcium = libflint
 else
   const NEW_FLINT = false
+  using Arb_jll: libarb
+  using Antic_jll: libantic
+  using Calcium_jll: libcalcium
 end
 Libdl.dlclose(_ptr)