You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
29 lines
955 B
29 lines
955 B
############################################################
|
|
# Small makefile for building PRISM source distributions #
|
|
############################################################
|
|
|
|
default: none
|
|
|
|
none:
|
|
@echo 'Did you want to build PRISM? Do "cd prism" and then "make"'
|
|
|
|
VERSION=# default value for VERSION is blank to force provision at command-line
|
|
|
|
dist_src: dist_check_version
|
|
mkdir dontcopy
|
|
@if [ -e prism/examples ]; then \
|
|
echo "mv prism/examples dontcopy"; mv prism/examples dontcopy; \
|
|
fi
|
|
@if [ -e prism/tests ]; then \
|
|
echo "mv prism/tests dontcopy"; mv prism/tests dontcopy; \
|
|
fi
|
|
mv prism-examples prism/examples
|
|
mv cudd prism
|
|
mv prism "prism-$(VERSION)-src"
|
|
(cd "prism-$(VERSION)-src"; $(MAKE) dist_src )
|
|
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
|
|
|
|
#################################################
|