From 68f57b366ef2aa6f9a7d01f23282dd6b6ed8b008 Mon Sep 17 00:00:00 2001
From: Nao Pross <np@0hm.ch>
Date: Thu, 5 Oct 2023 16:09:20 +0200
Subject: Setup file to keep track of homeworks and create shorthand in
 makefile

---
 Homeworks.md | 17 +++++++++++++++++
 Makefile     |  7 ++++++-
 2 files changed, 23 insertions(+), 1 deletion(-)
 create mode 100644 Homeworks.md

diff --git a/Homeworks.md b/Homeworks.md
new file mode 100644
index 0000000..3a20327
--- /dev/null
+++ b/Homeworks.md
@@ -0,0 +1,17 @@
+# Homeworks
+
+Setup commands
+```
+$ colima start
+$ make docker-check
+```
+
+## Week 1
+
+- [X] TestFiniteSetRepresentation
+- [X] TestFiniteSetProperties
+- [ ] TestFiniteMakeSetProduct
+- [ ] TestFiniteMapRepresentation
+- [ ] TestFiniteMapOperations
+- [ ] TestFiniteSetRepresentation
+- [ ] TestFiniteRelationProperties
diff --git a/Makefile b/Makefile
index 2165229..084e1f5 100644
--- a/Makefile
+++ b/Makefile
@@ -15,8 +15,13 @@ docker-check-%: build
 	docker run -it --rm -v $(PWD)/out-results:/ACT4E/out-results $(tag) \
 		act4e-test --collections act4e_checks --module act4e_solutions --group $*
 
+check-latest: Homeworks.md build
+	docker run -it --rm $(tag) act4e-test --collections act4e_checks --module \
+		act4e_solutions --group $(shell grep -e "- \[ \] " $< | tr -d "\- [ ]" | head -n1)
+
 # check:
 # 	act4e-test --collections act4e_checks --module act4e_solutions
 
 # check-%:
-# 	act4e-test --collections act4e_checks --module act4e_solutions --group $*
\ No newline at end of file
+# 	act4e-test --collections act4e_checks --module act4e_solutions --group $*
+
-- 
cgit v1.2.1