Makefile: add pretty-printing to make output

FStarLang · Aug 21, 2024 · 50191a3 · 50191a3
1 parent f1ca5c0
commit 50191a3
Showing 1 changed file with 10 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -134,12 +134,21 @@ bench:
 # Regenerate and accept expected output tests. Should be manually
 # reviewed before checking in.
 .PHONY: output
-output: output-error-messages output-ide-emacs output-ide-lsp output-bug-reports
+output:				\
+	output-error-messages	\
+	output-pretty-printing	\
+	output-ide-emacs	\
+	output-ide-lsp		\
+	output-bug-reports
 
 .PHONY: output-error-messages
 output-error-messages:
 	+$(Q)$(MAKE) -C tests/error-messages accept
 
+.PHONY: output-pretty-printing
+output-pretty-printing:
+	+$(Q)$(MAKE) -C tests/prettyprinting accept
+
 .PHONY: output-ide-emacs
 output-ide-emacs:
 	+$(Q)$(MAKE) -C tests/ide/emacs accept