start to develop LocalFixedPackageCollector

gfngfn · Feb 14, 2024 · 65c8857 · 65c8857
1 parent 986f0c8
commit 65c8857
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 3 deletions.
diff --git a/src-saphe/localFixedPackageCollector.ml b/src-saphe/localFixedPackageCollector.ml
@@ -0,0 +1,7 @@
+
+open PackageSystemBase
+
+
+let main (_deps_with_flags : (dependency_flag * package_dependency) list) : (package_dependency list) LocalFixedPackageIdMap.t =
+  LocalFixedPackageIdMap.empty
+    (* TODO: construct local_fixed_dependencies by traversing local fixed dependencies *)
diff --git a/src-saphe/sapheMain.ml b/src-saphe/sapheMain.ml
@@ -837,8 +837,7 @@ let solve ~(fpath_in : string) =
     Logging.show_package_dependency_before_solving dependencies_with_flags;
 
     let local_fixed_dependencies =
-      LocalFixedPackageIdMap.empty
-        (* TODO: construct local_fixed_dependencies by traversing local fixed dependencies *)
+      LocalFixedPackageCollector.main dependencies_with_flags
     in
 
     (* Arranges the store root config: *)

diff --git a/src-util/absPath.ml b/src-util/absPath.ml
@@ -31,7 +31,6 @@ type non_normal_component =
   | Component of component
   | Current
   | Parent
-[@@deriving show { with_path = false }]
 
 
 let make_non_normal_components (uchs : Uchar.t list) : non_normal_component =