Module: ppl/w3ppl Branch: master Commit: 039a677d2c28a9ef9914423c7539013b25aaead1 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=039a677d2c2...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Aug 2 16:57:52 2010 +0200

Updated.

---

bin/ppl_release | 17 +++++++++++------ 1 files changed, 11 insertions(+), 6 deletions(-)

diff --git a/bin/ppl_release b/bin/ppl_release index 28a653b..d47acb1 100755 --- a/bin/ppl_release +++ b/bin/ppl_release @@ -4,7 +4,7 @@ # # File: ppl_release # Authors: Roberto Bagnara, Jeffrey Law, Bernd Schmidt, Mark Mitchell -# Date: 2008-11-04 +# Date: 2010-08-02 # # Contents: # Script to create a PPL release. @@ -15,12 +15,16 @@ # Notes ########################################################################

-# Here is an example Usage of this script, to create a PPL 0.8 -# release: +# Here is an example Usage of this script, to create a PPL 0.11 +# release, first create the release branch with # -# ppl_release -f -r 0.8 sources -# ppl_release -f -r 0.8 tarfiles -# ppl_release -f -r 0.8 rpmfiles +# git push origin HEAD:refs/heads/ppl-0_11-branch +# +# Then: +# +# ppl_release -f -r 0.11 sources +# ppl_release -f -r 0.11 tarfiles +# ppl_release -f -r 0.11 rpmfiles # # This script will automatically use the head of the release branch # to generate the release. @@ -180,6 +184,7 @@ build_tarfiles() { mv -f ${SOURCE_DIRECTORY}/ppl-*.tar.gz ${WORKING_DIRECTORY} mv -f ${SOURCE_DIRECTORY}/ppl-*.tar.bz2 ${WORKING_DIRECTORY} mv -f ${SOURCE_DIRECTORY}/ppl-*.zip ${WORKING_DIRECTORY} + mv -f ${SOURCE_DIRECTORY}/ppl-*.lzma ${WORKING_DIRECTORY} }

# Build the RPM packages for the release.