add command to build autograder

afeld · afeld · commit d6c4c6704586 · 2025-03-15T22:09:23.000-04:00
diff --git a/.gitignore b/.gitignore
@@ -16,3 +16,4 @@ Untitled.ipynb
 !.vscode/settings.json
 
 extras/autograder/results/
+autograder.zip
diff --git a/Makefile b/Makefile
@@ -41,3 +41,9 @@ autograde:
 		/bin/bash -c "/autograder/source/setup.sh && /autograder/source/run_autograder"
 
 	cat ./extras/autograder/results/results.json
+
+build_autograder:
+	# https://stackoverflow.com/a/17351814/358804
+	git archive -o ./extras/autograder.zip HEAD:./extras/autograder/source
+
+	echo "Now upload extras/autograder.zip to Gradescope."
