From 9bf74d7e9ac197325f86fad3c255ab84c311efbc Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 25 Oct 2006 13:56:44 +0000 Subject: [PATCH] Makefile tweak: make dist uses subversion, not ~dxp. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@76 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/prism/Makefile b/prism/Makefile index ce5e1e57..277ea290 100644 --- a/prism/Makefile +++ b/prism/Makefile @@ -274,9 +274,9 @@ dist: dist_copy clean_all dist_files dist_tidy dist_bin: binary dist_tidy dist_bin_copy dist_copy: - @echo Adding cudd...; test -d ~dxp/public/cudd-linux && (cd ~dxp/public && tar cf - cudd-linux) | tar xf - && rm -rf cudd && mv cudd-linux cudd - @echo Adding doc...; test -f ~dxp/prism-dev/doc/manual.pdf && rm -rf doc && mkdir doc && cp ~dxp/prism-dev/doc/manual.pdf doc - @echo Adding examples...; test -d ~dxp/prism-examples && rm -rf examples prism-examples && cp -r ~dxp/prism-examples . && mv prism-examples examples + @echo Adding cudd...; rm -rf cudd && svn -q export https://subversion.cs.bham.ac.uk/svn/dxp/prismsvn/prism/trunk/cudd cudd + @echo Adding examples...; rm -rf examples && svn -q export https://subversion.cs.bham.ac.uk/svn/dxp/prismsvn/prism/trunk/prism-examples examples +# @echo Adding doc...; test -f ~dxp/prism-dev/doc/manual.pdf && rm -rf doc && mkdir doc && cp ~dxp/prism-dev/doc/manual.pdf doc dist_bin_copy: @BIN_DIST_DIR=`/bin/pwd | sed 's/-src$$//'`"-$(BINDISTSUFFIX)" && \