From a24a7c50549014a2c12bbb65aa71d8bef015f385 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sun, 17 Apr 2011 22:36:51 +0000 Subject: [PATCH] Makefile tweak: do zip too. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2783 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index 9ec1a84b..04754097 100644 --- a/Makefile +++ b/Makefile @@ -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