Merge pull request #64 from Temperz87/gooder-releasing

Add make target for releasing
jsiek · Jan 22, 2025 · 8607776 · 8607776
2 parents 18a6984 + d4697ef
commit 8607776
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -5,3 +5,4 @@ personal
 test/**/*.thm
 lib/*.thm
 .vscode
+deduce-release.zip
diff --git a/Makefile b/Makefile
@@ -20,6 +20,11 @@ tests-lib:
 
 tests: tests-should-pass tests-should-error
 
+package:
+	zip "deduce-release" lib abstract_syntax.py alist.py Deduce.lark deduce.py \
+						edit_distance.py error.py parser.py proof_checker.py README.md rec_desc_parser.py 
+
 clean:
 	rm -f ./lib/*.thm
 	rm -f ./test/should-pass/*.thm
+	rm -f deduce-release.zip