Makefile tweak: do zip too.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2783 bbc10eb1-c90d-0410-af57-cb519fbb1720
15 years ago · a24a7c5054
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@ -15,6 +15,7 @@ dist_src: dist_check_version
 	mv prism "prism-$(VERSION)-src"
 	(cd "prism-$(VERSION)-src"; $(MAKE) clean_all )
 	(cd "prism-$(VERSION)-src"; $(MAKE) dist_tidy )
+	tar cfz "prism-$(VERSION)-src.tar.gz" "prism-$(VERSION)-src"

 dist_check_version:
 	@if [ "$(VERSION)" = "" ]; then echo "Usage: make dist_src VERSION=XXX"; exit 1; fi