From 31f519be4e06a723d313e504ac4ba63dd58ae5ab Mon Sep 17 00:00:00 2001
From: Paul Cadman <git@paulcadman.dev>
Date: Wed, 8 Nov 2023 15:54:35 +0000
Subject: [PATCH] test: Run juvix format on juvix packages rather than files
 (#2505)

We can run `juvix format` on a whole juvix packages instead of
individual files.

This reduces the total time for `make check-format-juvix-files` from 10m
to 3m on my machine.
---
 Makefile | 19 ++++++++++---------
 1 file changed, 10 insertions(+), 9 deletions(-)

diff --git a/Makefile b/Makefile
index 040b74f68a..d90b93244e 100644
--- a/Makefile
+++ b/Makefile
@@ -108,27 +108,28 @@ format:
 clang-format:
 	@cd runtime && ${MAKE} format
 
-JUVIXFILESTOFORMAT=$(shell find  \
-	./examples  \
+JUVIX_PACKAGES_IN_REPO=$(shell find \
+	./examples \
 	./tests/positive \
 	./tests/negative \
 	-type d \( -name ".juvix-build" -o -name "FancyPaths" \) -prune -o \
-	-type f -name "*.juvix" -print)
+	-type f -name 'Package.juvix' -print \
+	| awk -F'/Package.juvix' '{print $$1}' | sort -u)
 
 JUVIXFORMATFLAGS?=--in-place
 JUVIXTYPECHECKFLAGS?=--only-errors
 
 .PHONY: format-juvix-files
 format-juvix-files:
-	@for file in $(JUVIXFILESTOFORMAT); do \
-		${JUVIXBIN} format $(JUVIXFORMATFLAGS) "$$file" > /dev/null 2>&1; \
+	@for p in $(JUVIX_PACKAGES_IN_REPO); do \
+		${JUVIXBIN} format $(JUVIXFORMATFLAGS) "$$p" > /dev/null 2>&1; \
 		exit_code=$$?; \
 		if [ $$exit_code -eq 0 ]; then \
-			echo "[OK] $$file"; \
-		elif [[ $$exit_code -ne 0 && "$$file" == *"tests/"* ]]; then \
-			echo "[CONTINUE] $$file is in tests directory."; \
+			echo "[OK] $$p is formatted"; \
+		elif [[ $$exit_code -ne 0 && "$$p" == *"tests/"* ]]; then \
+			echo "[CONTINUE] $$p is in tests directory."; \
 		else \
-			echo "[FAIL] $$file formatting failed" && exit 1; \
+			echo "[FAIL] $$p formatting failed" && exit 1; \
 		fi; \
 		done;