let ch = open_out (ng_path_of_baseuri baseuri) in
Marshal.to_channel ch (magic,(status#dump.dependencies,status#dump.objs)) [];
close_out ch;
+(*
remove_objects ~baseuri; (* FG: we remove the old objects before putting the new ones*)
+*)
List.iter
(function
| `Obj (uri,obj) ->
status#set_timestamp (!storage,!local_aliases)
;;
-let add_constraint status u1 u2 =
+let add_constraint status ~acyclic u1 u2 =
if
List.exists
(function `Constr (u1',u2') when u1=u1' && u2=u2' -> true | _ -> false)
then
(*CSC: raise an exception here! *)
(prerr_endline "CANNOT ADD A CONSTRAINT TWICE"; assert false);
- NCicEnvironment.add_lt_constraint u1 u2;
+ NCicEnvironment.add_lt_constraint ~acyclic u1 u2;
storage := (`Constr (u1,u2)) :: !storage;
status#set_timestamp (!storage,!local_aliases)
;;