Fix pinned depends being ignored on simulated pins

kit-ty-kate · kit-ty-kate · commit baff567a5bbb · 2025-10-07T18:44:59.000+01:00
diff --git a/src/client/opamAuxCommands.ml b/src/client/opamAuxCommands.ml
@@ -545,6 +545,12 @@ let autopin st ?(simulate=false) ?quiet ?locked ?recurse ?subpath
     else
       OpamUpdate.dev_packages st ~working_dir:OpamPackage.Set.empty already_pinned
   in
+  let st =
+    if OpamClientConfig.(!r.ignore_pin_depends) then st else
+      OpamPackage.Set.fold (fun nv st ->
+          OpamPinCommand.handle_pin_depends st nv (OpamSwitchState.opam st nv))
+        (OpamPackage.Set.union pins already_pinned_set) st
+  in
   st, simulate_pinned_atoms pins atoms
 
 let check_and_revert_sandboxing root config =
diff --git a/tests/reftests/autopin.test b/tests/reftests/autopin.test
@@ -343,16 +343,31 @@ No solution found, exiting
 # Return code 20 #
 ### opam pin
 ### opam install --deps-only ./local-with-pin-deps
-[ERROR] Package conflict!
-  * Missing dependency:
-    - deps-of-local-with-pin-deps -> pin-dep
-    unknown package
+The following additional pinnings are required by local-with-pin-deps.dev:
+  - pin-dep.dev at file://${BASEDIR}/pin-dep
+Pin and install them? [Y/n] y
+[NOTE] Package pin-dep does not exist in opam repositories registered in the current switch.
+[pin-dep.dev] synchronised (no changes)
+pin-dep is now pinned to file://${BASEDIR}/pin-dep (version dev)
+The following actions will be performed:
+=== install 1 package
+  - install pin-dep dev (pinned) [required by local-with-pin-deps]
 
-No solution found, exiting
-# Return code 20 #
+<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+-> retrieved pin-dep.dev  (file://${BASEDIR}/pin-dep)
+-> installed pin-dep.dev
+Done.
 ### opam pin
+pin-dep.dev    rsync  file://${BASEDIR}/pin-dep
 ### opam pin remove pin-dep
-[NOTE] pin-dep is not pinned.
+Ok, pin-dep is no longer pinned to file://${BASEDIR}/pin-dep (version dev)
+The following actions will be performed:
+=== remove 1 package
+  - remove pin-dep dev
+
+<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+-> removed   pin-dep.dev
+Done.
 ### opam pin
 ### opam install ./local-with-pin-deps
 [NOTE] Package local-with-pin-deps does not exist in opam repositories registered in the current switch.
@@ -386,6 +401,10 @@ The following additional pinnings are required by local-with-pin-deps.dev:
 Pin and install them? [Y/n] n
 Try to install anyway, assuming `--ignore-pin-depends'? [Y/n] y
 local-with-pin-deps is now pinned to file://${BASEDIR}/local-with-pin-deps (version dev)
+The following additional pinnings are required by local-with-pin-deps.dev:
+  - pin-dep.dev at file://${BASEDIR}/pin-dep
+Pin and install them? [Y/n] n
+Try to install anyway, assuming `--ignore-pin-depends'? [Y/n] y
 
 <><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
 Switch invariant: ["ocaml" {>= "4.05.0"}]
@@ -398,6 +417,10 @@ Switch invariant: ["ocaml" {>= "4.05.0"}]
 Switch initialisation failed: clean up? ('n' will leave the switch partially installed) [Y/n] y
 # Return code 20 #
 ### OPAMAUTOANSWER=install-pin-depends=no:ignore-pin-depends=yes:switch-clean-up=yes opam switch create ./local-with-pin-deps --deps-only
+The following additional pinnings are required by local-with-pin-deps.dev:
+  - pin-dep.dev at file://${BASEDIR}/pin-dep
+Pin and install them? [Y/n] n
+Try to install anyway, assuming `--ignore-pin-depends'? [Y/n] y
 
 <><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
 Switch invariant: ["ocaml" {>= "4.05.0"}]
diff --git a/tests/reftests/pin-depends.test b/tests/reftests/pin-depends.test
@@ -40,6 +40,10 @@ No solution found, exiting
 ### :I:1:c: Deps only without pin depends
 ### opam switch create pin-deps-I-1-c --empty
 ### OPAMAUTOANSWER=install-pin-depends=no:ignore-pin-depends=yes opam install --deps-only ./local-with-pin-deps
+The following additional pinnings are required by local-with-pin-deps.dev:
+  - pin-dep.dev at file://${BASEDIR}/pin-dep
+Pin and install them? [Y/n] n
+Try to install anyway, assuming `--ignore-pin-depends'? [Y/n] y
 [ERROR] Package conflict!
   * Missing dependency:
     - deps-of-local-with-pin-deps -> pin-dep
@@ -51,14 +55,24 @@ No solution found, exiting
 ### :I:1:d: Deps only with pin depends
 ### opam switch create pin-deps-I-1-d --empty
 ### OPAMAUTOANSWER=install-pin-depends=yes:proceed-actions=yes opam install --deps-only ./local-with-pin-deps
-[ERROR] Package conflict!
-  * Missing dependency:
-    - deps-of-local-with-pin-deps -> pin-dep
-    unknown package
+The following additional pinnings are required by local-with-pin-deps.dev:
+  - pin-dep.dev at file://${BASEDIR}/pin-dep
+Pin and install them? [Y/n] y
+[NOTE] Package pin-dep does not exist in opam repositories registered in the current switch.
+[pin-dep.dev] synchronised (no changes)
+pin-dep is now pinned to file://${BASEDIR}/pin-dep (version dev)
+The following actions will be performed:
+=== install 1 package
+  - install pin-dep dev (pinned) [required by local-with-pin-deps]
 
-No solution found, exiting
-# Return code 20 #
+Proceed with 1 installation? [Y/n] y
+
+<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+-> retrieved pin-dep.dev  (file://${BASEDIR}/pin-dep)
+-> installed pin-dep.dev
+Done.
 ### opam pin
+pin-dep.dev    rsync  file://${BASEDIR}/pin-dep
 ### :I:1:e: install without pin depends
 ### opam switch create pin-deps-I-1-e --empty
 ### OPAMAUTOANSWER=install-pin-depends=no:ignore-pin-depends=yes opam install ./local-with-pin-deps
@@ -68,6 +82,10 @@ The following additional pinnings are required by local-with-pin-deps.dev:
 Pin and install them? [Y/n] n
 Try to install anyway, assuming `--ignore-pin-depends'? [Y/n] y
 local-with-pin-deps is now pinned to file://${BASEDIR}/local-with-pin-deps (version dev)
+The following additional pinnings are required by local-with-pin-deps.dev:
+  - pin-dep.dev at file://${BASEDIR}/pin-dep
+Pin and install them? [Y/n] n
+Try to install anyway, assuming `--ignore-pin-depends'? [Y/n] y
 [ERROR] Package conflict!
   * Missing dependency:
     - local-with-pin-deps -> pin-dep
@@ -134,6 +152,10 @@ Done.
 ### :I:2:c: Deps only without pin depends
 ### opam switch create pin-deps-I-2-c --empty
 ### OPAMAUTOANSWER=install-pin-depends=no:ignore-pin-depends=yes:proceed-actions=yes opam install --deps-only ./local-with-pin-deps
+The following additional pinnings are required by local-with-pin-deps.dev:
+  - pin-dep.dev at file://${BASEDIR}/pin-dep
+Pin and install them? [Y/n] n
+Try to install anyway, assuming `--ignore-pin-depends'? [Y/n] y
 The following actions will be performed:
 === install 1 package
   - install pin-dep 1 [required by local-with-pin-deps]
@@ -147,14 +169,20 @@ Done.
 ### :I:2:d: Deps only without pin depends
 ### opam switch create pin-deps-I-2-d --empty
 ### OPAMAUTOANSWER=install-pin-depends=yes:proceed-actions=yes opam install --deps-only ./local-with-pin-deps
+The following additional pinnings are required by local-with-pin-deps.dev:
+  - pin-dep.dev at file://${BASEDIR}/pin-dep
+Pin and install them? [Y/n] y
+[pin-dep.dev] synchronised (no changes)
+pin-dep is now pinned to file://${BASEDIR}/pin-dep (version dev)
 The following actions will be performed:
 === install 1 package
-  - install pin-dep 1 [required by local-with-pin-deps]
+  - install pin-dep dev (pinned) [required by local-with-pin-deps]
 
 Proceed with 1 installation? [Y/n] y
 
 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
--> installed pin-dep.1
+-> retrieved pin-dep.dev  (file://${BASEDIR}/pin-dep)
+-> installed pin-dep.dev
 Done.
 ### :I:2:e: install without pin depends
 ### opam switch create pin-deps-I-2-e --empty
@@ -165,6 +193,10 @@ The following additional pinnings are required by local-with-pin-deps.dev:
 Pin and install them? [Y/n] n
 Try to install anyway, assuming `--ignore-pin-depends'? [Y/n] y
 local-with-pin-deps is now pinned to file://${BASEDIR}/local-with-pin-deps (version dev)
+The following additional pinnings are required by local-with-pin-deps.dev:
+  - pin-dep.dev at file://${BASEDIR}/pin-dep
+Pin and install them? [Y/n] n
+Try to install anyway, assuming `--ignore-pin-depends'? [Y/n] y
 The following actions will be performed:
 === install 2 packages
   - install local-with-pin-deps dev (pinned)
@@ -215,6 +247,10 @@ pin-dep.dev                rsync  file://${BASEDIR}/pin-dep
 Now run 'opam upgrade' to apply any package updates.
 ### :II:1:a: Answer no to pin depends install deps-only
 ### OPAMAUTOANSWER=install-pin-depends=no:ignore-pin-depends=yes:switch-clean-up=yes opam switch create ./local-with-pin-deps --deps-only
+The following additional pinnings are required by local-with-pin-deps.dev:
+  - pin-dep.dev at file://${BASEDIR}/pin-dep
+Pin and install them? [Y/n] n
+Try to install anyway, assuming `--ignore-pin-depends'? [Y/n] y
 
 <><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
 Switch invariant: []
@@ -240,6 +276,10 @@ The following additional pinnings are required by local-with-pin-deps.dev:
 Pin and install them? [Y/n] n
 Try to install anyway, assuming `--ignore-pin-depends'? [Y/n] y
 local-with-pin-deps is now pinned to file://${BASEDIR}/local-with-pin-deps (version dev)
+The following additional pinnings are required by local-with-pin-deps.dev:
+  - pin-dep.dev at file://${BASEDIR}/pin-dep
+Pin and install them? [Y/n] n
+Try to install anyway, assuming `--ignore-pin-depends'? [Y/n] y
 
 <><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
 Switch invariant: []
@@ -259,23 +299,30 @@ The compiler switch ${BASEDIR}/local-with-pin-deps does not exist.
 # Return code 5 #
 ### :II:1:c: Answer yes to pin depends install deps-only
 ### OPAMAUTOANSWER=install-pin-depends=yes:proceed-actions=yes:switch-clean-up=yes opam switch create ./local-with-pin-deps --deps-only
+The following additional pinnings are required by local-with-pin-deps.dev:
+  - pin-dep.dev at file://${BASEDIR}/pin-dep
+Pin and install them? [Y/n] y
+[NOTE] Package pin-dep does not exist in opam repositories registered in the current switch.
+[pin-dep.dev] synchronised (no changes)
+pin-dep is now pinned to file://${BASEDIR}/pin-dep (version dev)
 
 <><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
 Switch invariant: []
-[ERROR] Could not determine which packages to install for this switch:
-  * Missing dependency:
-    - local-with-pin-deps -> pin-dep
-    unknown package
+[NOTE] No invariant was set, you may want to use `opam switch set-invariant' to keep a stable compiler version on upgrades.
+The following actions will be performed:
+=== install 1 package
+  - install pin-dep dev (pinned) [required by local-with-pin-deps]
 
+Proceed with 1 installation? [Y/n] y
 
-Switch initialisation failed: clean up? ('n' will leave the switch partially installed) [Y/n] y
-# Return code 20 #
+<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+-> retrieved pin-dep.dev  (file://${BASEDIR}/pin-dep)
+-> installed pin-dep.dev
+Done.
 ### opam pin --switch=./local-with-pin-deps
-[ERROR] The selected switch ${BASEDIR}/local-with-pin-deps is not installed.
-# Return code 2 #
+pin-dep.dev    rsync  file://${BASEDIR}/pin-dep
 ### opam switch remove ./local-with-pin-deps -y
-The compiler switch ${BASEDIR}/local-with-pin-deps does not exist.
-# Return code 5 #
+Switch ${BASEDIR}/local-with-pin-deps and all its packages will be wiped. Are you sure? [Y/n] y
 ### :II:1:d: Answer yes to pin depends install
 ### OPAMAUTOANSWER=install-pin-depends=yes:proceed-actions=yes opam switch create ./local-with-pin-deps
 [NOTE] Package local-with-pin-deps does not exist in opam repositories registered in the current switch.
@@ -313,6 +360,10 @@ Switch ${BASEDIR}/local-with-pin-deps and all its packages will be wiped. Are yo
 opam-version: "2.0"
 ### :II:2:a: Answer no to pin depends install deps only
 ### OPAMAUTOANSWER=install-pin-depends=no:ignore-pin-depends=yes:proceed-actions=yes opam switch create ./local-with-pin-deps --deps-only
+The following additional pinnings are required by local-with-pin-deps.dev:
+  - pin-dep.dev at file://${BASEDIR}/pin-dep
+Pin and install them? [Y/n] n
+Try to install anyway, assuming `--ignore-pin-depends'? [Y/n] y
 
 <><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
 Switch invariant: []
@@ -337,6 +388,10 @@ The following additional pinnings are required by local-with-pin-deps.dev:
 Pin and install them? [Y/n] n
 Try to install anyway, assuming `--ignore-pin-depends'? [Y/n] y
 local-with-pin-deps is now pinned to file://${BASEDIR}/local-with-pin-deps (version dev)
+The following additional pinnings are required by local-with-pin-deps.dev:
+  - pin-dep.dev at file://${BASEDIR}/pin-dep
+Pin and install them? [Y/n] n
+Try to install anyway, assuming `--ignore-pin-depends'? [Y/n] y
 
 <><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
 Switch invariant: []
@@ -359,20 +414,27 @@ local-with-pin-deps.dev    rsync  file://${BASEDIR}/local-with-pin-deps
 Switch ${BASEDIR}/local-with-pin-deps and all its packages will be wiped. Are you sure? [Y/n] y
 ### :II:2:c: Answer yes to pin depends install deps-only
 ### OPAMAUTOANSWER=install-pin-depends=yes:proceed-actions=yes opam switch create ./local-with-pin-deps --deps-only
+The following additional pinnings are required by local-with-pin-deps.dev:
+  - pin-dep.dev at file://${BASEDIR}/pin-dep
+Pin and install them? [Y/n] y
+[pin-dep.dev] synchronised (no changes)
+pin-dep is now pinned to file://${BASEDIR}/pin-dep (version dev)
 
 <><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
 Switch invariant: []
 [NOTE] No invariant was set, you may want to use `opam switch set-invariant' to keep a stable compiler version on upgrades.
 The following actions will be performed:
 === install 1 package
-  - install pin-dep 1 [required by local-with-pin-deps]
+  - install pin-dep dev (pinned) [required by local-with-pin-deps]
 
 Proceed with 1 installation? [Y/n] y
 
 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
--> installed pin-dep.1
+-> retrieved pin-dep.dev  (file://${BASEDIR}/pin-dep)
+-> installed pin-dep.dev
 Done.
 ### opam pin --switch=./local-with-pin-deps
+pin-dep.dev    rsync  file://${BASEDIR}/pin-dep
 ### opam switch remove ./local-with-pin-deps -y
 Switch ${BASEDIR}/local-with-pin-deps and all its packages will be wiped. Are you sure? [Y/n] y
 ### :II:2:d: Answer yes to pin depends install
