diff --git a/Project.toml b/Project.toml index 0814869b4..a864c7c49 100644 --- a/Project.toml +++ b/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" diff --git a/src/setup.jl b/src/setup.jl index dc48a9375..2e76f1942 100644 --- a/src/setup.jl +++ b/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.