libsingular: don't autobuild for released versions (#747)

* bump version to 0.21.3

* libsingular: don't autobuild for released versions

* make check more robust

the uuid might not appear in the dependencies when singular is the active project

* Update src/setup.jl

Co-authored-by: Max Horn <max@quendi.de>

---------

Co-authored-by: Max Horn <max@quendi.de>

Project.toml

@@ -1,6 +1,6 @@
 name = "Singular"
 uuid = "bcd08a7b-43d2-5ff7-b6d4-c458787f915c"
-version = "0.21.2"
+version = "0.21.3"
 
 [deps]
 AbstractAlgebra = "c3fe647b-3220-5bb0-a1ea-a7954cac585d"

src/setup.jl

@@ -153,8 +153,12 @@ function locate_libsingular()
  # by comparing tree hashes
  src_hash = bytes2hex(Pkg.GitTools.tree_hash(joinpath(@__DIR__, "..", "deps", "src")))
 
- if jll_hash == src_hash
+ # the uuid is for Singular.jl
+ pkginfo = get(Pkg.dependencies(), Base.PkgId(parentmodule(Setup)).uuid, nothing)
+
+ if jll_hash == src_hash || (pkginfo !== nothing && pkginfo.is_tracking_registry)
  # if the tree hashes match then we use the JLL
+ # also if we are using a released Singular.jl version
  path = libsingular_julia_jll.get_libsingular_julia_path()
  else
  # tree hashes differ: we use the bundled sources.