|
@@ -365,9 +365,10 @@ let compile ctx actx callbacks =
|
|
DisplayProcessing.handle_display_after_typing ctx tctx display_file_dot_path;
|
|
DisplayProcessing.handle_display_after_typing ctx tctx display_file_dot_path;
|
|
finalize_typing ctx tctx;
|
|
finalize_typing ctx tctx;
|
|
DisplayProcessing.handle_display_after_finalization ctx tctx display_file_dot_path;
|
|
DisplayProcessing.handle_display_after_finalization ctx tctx display_file_dot_path;
|
|
|
|
+ Generate.check_auxiliary_output com actx;
|
|
filter ctx tctx;
|
|
filter ctx tctx;
|
|
if ctx.has_error then raise Abort;
|
|
if ctx.has_error then raise Abort;
|
|
- Generate.check_auxiliary_output com actx;
|
|
|
|
|
|
+ (* Generate.check_auxiliary_output com actx; *)
|
|
com.stage <- CGenerationStart;
|
|
com.stage <- CGenerationStart;
|
|
ServerMessage.compiler_stage com;
|
|
ServerMessage.compiler_stage com;
|
|
if not actx.no_output then Generate.generate ctx tctx ext actx;
|
|
if not actx.no_output then Generate.generate ctx tctx ext actx;
|