Move 0install-solver and opam-0install from vendor to src, delete upd…

…ate scripts Signed-off-by: Ambre Austen Suhamy <[email protected]>
ocaml · Oct 31, 2024 · a458a81 · a458a81
1 parent e2af916
commit a458a81
Show file tree

Hide file tree

Showing 19 changed files with 2 additions and 62 deletions.
diff --git a/boot/libs.ml b/boot/libs.ml
@@ -74,12 +74,9 @@ let local_libraries =
   ; ("src/dune_vcs", Some "Dune_vcs", false, None)
   ; ("vendor/opam/src/repository", None, false, None)
   ; ("vendor/opam/src/state", None, false, None)
-  ; ("vendor/0install-solver/src/solver",
-     Some "Zeroinstall_solver",
-     false,
-     None)
+  ; ("src/0install-solver/src/solver", Some "Zeroinstall_solver", false, None)
   ; ("vendor/fmt/src", None, false, None)
-  ; ("vendor/opam-0install/lib", Some "Opam_0install", false, None)
+  ; ("src/opam-0install/lib", Some "Opam_0install", false, None)
   ; ("otherlibs/dune-build-info/src",
      Some "Build_info",
      false,

diff --git a/vendor/0install-solver/COPYING → src/0install-solver/COPYING b/vendor/0install-solver/COPYING → src/0install-solver/COPYING
diff --git a/...0install-solver/src/solver/diagnostics.ml → ...0install-solver/src/solver/diagnostics.ml b/...0install-solver/src/solver/diagnostics.ml → ...0install-solver/src/solver/diagnostics.ml
diff --git a/vendor/0install-solver/src/solver/dune → src/0install-solver/src/solver/dune b/vendor/0install-solver/src/solver/dune → src/0install-solver/src/solver/dune
diff --git a/vendor/0install-solver/src/solver/s.ml → src/0install-solver/src/solver/s.ml b/vendor/0install-solver/src/solver/s.ml → src/0install-solver/src/solver/s.ml
diff --git a/vendor/0install-solver/src/solver/sat.ml → src/0install-solver/src/solver/sat.ml b/vendor/0install-solver/src/solver/sat.ml → src/0install-solver/src/solver/sat.ml
diff --git a/vendor/0install-solver/src/solver/sat.mli → src/0install-solver/src/solver/sat.mli b/vendor/0install-solver/src/solver/sat.mli → src/0install-solver/src/solver/sat.mli
diff --git a/...0install-solver/src/solver/solver_core.ml → ...0install-solver/src/solver/solver_core.ml b/...0install-solver/src/solver/solver_core.ml → ...0install-solver/src/solver/solver_core.ml
diff --git a/...l-solver/src/solver/zeroinstall_solver.ml → ...l-solver/src/solver/zeroinstall_solver.ml b/...l-solver/src/solver/zeroinstall_solver.ml → ...l-solver/src/solver/zeroinstall_solver.ml
diff --git a/...-solver/src/solver/zeroinstall_solver.mli → ...-solver/src/solver/zeroinstall_solver.mli b/...-solver/src/solver/zeroinstall_solver.mli → ...-solver/src/solver/zeroinstall_solver.mli
diff --git a/vendor/opam-0install/LICENSE.md → src/opam-0install/LICENSE.md b/vendor/opam-0install/LICENSE.md → src/opam-0install/LICENSE.md
diff --git a/vendor/opam-0install/lib/dune → src/opam-0install/lib/dune b/vendor/opam-0install/lib/dune → src/opam-0install/lib/dune
diff --git a/vendor/opam-0install/lib/model.ml → src/opam-0install/lib/model.ml b/vendor/opam-0install/lib/model.ml → src/opam-0install/lib/model.ml
diff --git a/vendor/opam-0install/lib/model.mli → src/opam-0install/lib/model.mli b/vendor/opam-0install/lib/model.mli → src/opam-0install/lib/model.mli
diff --git a/vendor/opam-0install/lib/s.ml → src/opam-0install/lib/s.ml b/vendor/opam-0install/lib/s.ml → src/opam-0install/lib/s.ml
diff --git a/vendor/opam-0install/lib/solver.ml → src/opam-0install/lib/solver.ml b/vendor/opam-0install/lib/solver.ml → src/opam-0install/lib/solver.ml
diff --git a/vendor/opam-0install/lib/solver.mli → src/opam-0install/lib/solver.mli b/vendor/opam-0install/lib/solver.mli → src/opam-0install/lib/solver.mli
diff --git a/vendor/update-0install-solver.sh b/vendor/update-0install-solver.sh
diff --git a/vendor/update-opam-0install.sh b/vendor/update-opam-0install.sh