From c84494bd37d753ecf81ad91204a1343d4a21baf2 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 3 Nov 2006 13:14:43 +0000 Subject: [PATCH] Another Makefile tweak. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@113 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/Makefile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/prism/Makefile b/prism/Makefile index 7808ce05..f4ee08c4 100644 --- a/prism/Makefile +++ b/prism/Makefile @@ -272,7 +272,9 @@ post_make: dist: dist_copy clean_all dist_files dist_tidy VERSION=# default value for VERSION is blank to force provision at command-line -dist_bin: binary dist_tidy dist_bin_copy +dist_bin: dist_bin_check_version binary dist_tidy dist_bin_copy + +dist_bin_check_version: @if [ "$(VERSION)" = "" ]; then echo "Usage: make dist_bin VERSION=3.1"; exit 1; fi dist_copy: