avoid deprecated jllwrappers syntax for libparse() (#700)

oscar-system · Aug 17, 2023 · 0050da0 · 0050da0 · fingolfin · Aug 17, 2023
1 parent dca346f
commit 0050da0
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 4 deletions.
diff --git a/Project.toml b/Project.toml
@@ -1,6 +1,6 @@
 name = "Singular"
 uuid = "bcd08a7b-43d2-5ff7-b6d4-c458787f915c"
-version = "0.18.11-DEV"
+version = "0.18.11"
 
 [deps]
 AbstractAlgebra = "c3fe647b-3220-5bb0-a1ea-a7954cac585d"

diff --git a/src/setup.jl b/src/setup.jl
@@ -40,9 +40,7 @@ function regenerate_libraryfuncdictionary(prefixpath)
  for libfile in filenames
  libname = Symbol(libfile[1:end - 4]) # strip the '.lib' suffix
  full_path = joinpath(library_dir, libfile)
- output = Singular_jll.libparse() do exe
- read(`$exe $full_path`, String)
- end
+ output = read(`$(Singular_jll.libparse()) $full_path`, String)
  libs_splitted = split(output,"\n")[4:end - 1]
  libs_splitted = [split(i, " ", keepempty = false) for i in libs_splitted]
  dict[libname] = [(j[1], j[3]) for j in libs_splitted]