|
@@ -1032,7 +1032,7 @@ try
|
|
|
let ext = Initialize.initialize_target ctx com classes in
|
|
|
(* if we are at the last compilation step, allow all packages accesses - in case of macros or opening another project file *)
|
|
|
if com.display.dms_display then begin match com.display.dms_kind with
|
|
|
- | DMDefault -> ()
|
|
|
+ | DMDefault | DMUsage _ -> ()
|
|
|
| _ -> if not ctx.has_next then com.package_rules <- PMap.foldi (fun p r acc -> match r with Forbidden -> acc | _ -> PMap.add p r acc) com.package_rules PMap.empty;
|
|
|
end;
|
|
|
com.config <- get_config com; (* make sure to adapt all flags changes defined after platform *)
|