refactor: simplify 0install directory structure

Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
H-ANSEN · Oct 31, 2024 · ebaf275 · ebaf275
1 parent b2b825d
commit ebaf275
Show file tree

Hide file tree

Showing 9 changed files with 1 addition and 1 deletion.
diff --git a/boot/libs.ml b/boot/libs.ml
@@ -74,7 +74,7 @@ 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)
-  ; ("src/0install-solver/src/solver", Some "Zeroinstall_solver", false, None)
+  ; ("src/0install-solver", Some "Zeroinstall_solver", false, None)
   ; ("vendor/fmt/src", None, false, None)
   ; ("src/opam-0install/lib", Some "Opam_0install", false, None)
   ; ("otherlibs/dune-build-info/src",

diff --git a/...0install-solver/src/solver/diagnostics.ml → src/0install-solver/diagnostics.ml b/...0install-solver/src/solver/diagnostics.ml → src/0install-solver/diagnostics.ml
diff --git a/src/0install-solver/src/solver/dune → src/0install-solver/dune b/src/0install-solver/src/solver/dune → src/0install-solver/dune
diff --git a/src/0install-solver/src/solver/s.ml → src/0install-solver/s.ml b/src/0install-solver/src/solver/s.ml → src/0install-solver/s.ml
diff --git a/src/0install-solver/src/solver/sat.ml → src/0install-solver/sat.ml b/src/0install-solver/src/solver/sat.ml → src/0install-solver/sat.ml
diff --git a/src/0install-solver/src/solver/sat.mli → src/0install-solver/sat.mli b/src/0install-solver/src/solver/sat.mli → src/0install-solver/sat.mli
diff --git a/...0install-solver/src/solver/solver_core.ml → src/0install-solver/solver_core.ml b/...0install-solver/src/solver/solver_core.ml → src/0install-solver/solver_core.ml
diff --git a/...l-solver/src/solver/zeroinstall_solver.ml → src/0install-solver/zeroinstall_solver.ml b/...l-solver/src/solver/zeroinstall_solver.ml → src/0install-solver/zeroinstall_solver.ml
diff --git a/...-solver/src/solver/zeroinstall_solver.mli → src/0install-solver/zeroinstall_solver.mli b/...-solver/src/solver/zeroinstall_solver.mli → src/0install-solver/zeroinstall_solver.mli