From 129af0f65882663321df93209d47185c2491772c Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 30 Apr 2013 22:33:54 +0000 Subject: [PATCH] Add dist_src_pub target to build Makefile. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6731 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- Makefile | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 1faee930..82852d08 100644 --- a/Makefile +++ b/Makefile @@ -11,8 +11,14 @@ none: # Can be overridden by passing VERSION=xxx VERSION = $(shell SRC_DIR=prism/src prism/src/scripts/printversion.sh 2> /dev/null) -# Build a source distribution -dist_src: add_rev version +# Build a (development) source distribution +dist_src: add_rev version do_build + +# Build a (public) source distribution +dist_src_pub: version do_build + +# Do the build +do_build: mkdir dontcopy @if [ -e prism/examples ]; then \ echo "mv prism/examples dontcopy"; mv prism/examples dontcopy; \