From eb95a50e08250f93bcb78730a634fe4d75959ee0 Mon Sep 17 00:00:00 2001 From: psakiev Date: Tue, 25 Jan 2022 23:04:02 -0700 Subject: [PATCH] Fix to concretize.lp --- lib/spack/spack/solver/concretize.lp | 3 +++ 1 file changed, 3 insertions(+) diff --git a/lib/spack/spack/solver/concretize.lp b/lib/spack/spack/solver/concretize.lp index 13902d08927..5aadbd48e75 100644 --- a/lib/spack/spack/solver/concretize.lp +++ b/lib/spack/spack/solver/concretize.lp @@ -827,6 +827,9 @@ no_flags(Package, FlagType) { hash(Package, Hash) : installed_hash(Package, Hash) } 1 :- node(Package), error("Internal error: package must resolve to at most one hash"). +% you can't choose an installed hash for a dev spec +:- hash(Package, Hash), variant_set(Package, "dev_path", _). + % if a hash is selected, we impose all the constraints that implies impose(Hash) :- hash(Package, Hash).