April 2009 - PPL-devel - BUGSENG Mailman

[Fwd: Re: First PPL 0.10.1 release candidate]
by Roberto Bagnara 08 Apr '09

08 Apr '09

-------- Original Message -------- Subject: Re: [PPL-devel] First PPL 0.10.1 release candidate Date: Wed, 08 Apr 2009 09:59:19 +0100 From: Dave Korn <dave.korn.cygwin(a)googlemail.com> To: Dave Korn <dave.korn.cygwin(a)googlemail.com> CC: Roberto Bagnara <bagnara(a)cs.unipr.it> References: <49DB03C4.9040604(a)cs.unipr.it> <49DB6802.5060205(a)gmail.com> <49DB7131.1050103(a)cs.unipr.it> <49DB77D9.7080903(a)gmail.com> <49DB79CA.5070504(a)cs.unipr.it> <49DB9736.6030303(a)gmail.com> <49DBB404.7060909(a)cs.unipr.it> <49DC59C2.40109(a)gmail.com> Dave Korn wrote: > Roberto Bagnara wrote: > >> A >> failure in dynamically loading a library (GMP?) >> seems more plausible. > > Yes, I assume it's a problem with the infrastructure somehow. Ok, it's Not A Bug. There was a packaging glitch in the latest Cygwin libgmp update that silently uninstalled libgmpxx! I'll report that upstream and re-run the tests; the whole Powerset directory just passed for me so that was probably the only problem. cheers, DaveK -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

[Fwd: Re: First PPL 0.10.1 release candidate]
by Roberto Bagnara 08 Apr '09

08 Apr '09

-------- Original Message -------- Subject: Re: [PPL-devel] First PPL 0.10.1 release candidate Date: Wed, 08 Apr 2009 09:01:06 +0100 From: Dave Korn <dave.korn.cygwin(a)googlemail.com> To: Roberto Bagnara <bagnara(a)cs.unipr.it> CC: Dave Korn <dave.korn.cygwin(a)googlemail.com> References: <49DB03C4.9040604(a)cs.unipr.it> <49DB6802.5060205(a)gmail.com> <49DB7131.1050103(a)cs.unipr.it> <49DB77D9.7080903(a)gmail.com> <49DB79CA.5070504(a)cs.unipr.it> <49DB9736.6030303(a)gmail.com> <49DBB404.7060909(a)cs.unipr.it> Roberto Bagnara wrote: > This is what it should print when successful. > If you see no output at all, it means it dies at > a very early stage. I suspect this to be the case. :) You were dead right there! > 2) Reconfigure the PPL with --disable-optimization, > make clean, make check, and then, with gdb, > try to understand why it fails. The fact that > _all_ the tests not in the Watchdog directory fail > makes me think that the reason of failure has nothing > to do with what the individual tests are checking. A > failure in dynamically loading a library (GMP?) > seems more plausible. Yes, I assume it's a problem with the infrastructure somehow. Build underway, will report back later. cheers, DaveK -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

[GIT] ppl/w3ppl(master): Added a link to the Fink distribution.
by Roberto Bagnara 08 Apr '09

08 Apr '09

Module: ppl/w3ppl Branch: master Commit: 1eb7c18a57cd3cdd6cb1914dd78822290a02ba65 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=1eb7c18a57… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 8 08:47:21 2009 +0200 Added a link to the Fink distribution. --- htdocs/Download/Download.raw | 6 ++++++ 1 files changed, 6 insertions(+), 0 deletions(-) diff --git a/htdocs/Download/Download.raw b/htdocs/Download/Download.raw index 0b4fa1f..c82335b 100644 --- a/htdocs/Download/Download.raw +++ b/htdocs/Download/Download.raw @@ -65,6 +65,9 @@ Below is a list of the available PPL binary distributions. <TD> <STRONG>Ubuntu</STRONG> </TD> + <TD> + <STRONG>Fink</STRONG> + </TD> </TR> <TR VALIGN=TOP ALIGN=CENTER> @@ -100,6 +103,9 @@ Below is a list of the available PPL binary distributions. <BR> <A HREF="http://packages.ubuntu.com/hu/source/jaunty/ppl">Jaunty</A> </TD> + <TD> + <A HREF="http://pdb.finkproject.org/pdb/package.php/ppl">Fink</A> + </TD> </TR> </TABLE>

1 0

[GIT] ppl/w3ppl(master): Added MoserKK07. Entries sorted. Some specifications of page numbers fixed.
by Roberto Bagnara 08 Apr '09

08 Apr '09

Module: ppl/w3ppl Branch: master Commit: 0e45a63fec7a96184ac45ff9f0e2a23a3422455e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=0e45a63fec… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 8 08:21:50 2009 +0200 Added MoserKK07. Entries sorted. Some specifications of page numbers fixed. --- htdocs/Documentation/ppl_citations.bib | 431 +++++++++++++++++-------------- 1 files changed, 236 insertions(+), 195 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commitdiff;h=0e45a6…

1 0

[GIT] ppl/w3ppl(master): Put under Git control.
by Roberto Bagnara 08 Apr '09

08 Apr '09

Module: ppl/w3ppl Branch: master Commit: e704abfeb9bafbd049261dba591751922bfb16cb URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=e704abfeb9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 8 07:47:27 2009 +0200 Put under Git control. --- .gitignore | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..b25c15b --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +*~

1 0

[GIT] ppl/w3ppl(master): Added a banner pointing to the software patents . EU petition initiative.
by Roberto Bagnara 08 Apr '09

08 Apr '09

Module: ppl/w3ppl Branch: master Commit: e5b7d9073da4881047a3373a3378842d5556b71c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=e5b7d9073d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 8 07:46:45 2009 +0200 Added a banner pointing to the software patents .EU petition initiative. --- htdocs/templates/choicestrip.tmpl | 5 ++++- 1 files changed, 4 insertions(+), 1 deletions(-) diff --git a/htdocs/templates/choicestrip.tmpl b/htdocs/templates/choicestrip.tmpl index 4ab27f0..8edc694 100644 --- a/htdocs/templates/choicestrip.tmpl +++ b/htdocs/templates/choicestrip.tmpl @@ -10,7 +10,10 @@ <TABLE BORDER=0 CELLSPACING=0 CELLPADDING=0> <TR><TD> -<A HREF="http://www.nature.com/nature/journal/v455/n7215/full/455835b.html"><IMG SRC="@BASE_DIR@/images/protests" ALT="Protests against suicide spending cuts in the italian education system" BORDER="0"></A> +<a href="http://stopsoftwarepatents.eu/391001735712/"><img +src="http://stopsoftwarepatents.eu/banner/391001735712/ssp-240-400.gif" +alt="stopsoftwarepatents.eu petition banner" +width="240" height="400" /></a> </TD></TR> @STRIP_ELEMENT("Home", "", "PPL")@ @STRIP_ELEMENT("Documentation", "Documentation/", "Documentation")@

1 0

[GIT] ppl/w3ppl(master): Converted to git.
by Abramo Bagnara 07 Apr '09

07 Apr '09

Module: ppl/w3ppl Branch: master Commit: d48b7ca6ddd4ce0578cc53b3b0a8a6a80b1343ed URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=d48b7ca6dd… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Apr 7 19:07:15 2009 +0200 Converted to git. --- bin/update_web_site | 27 ++++++++++++++++++--------- 1 files changed, 18 insertions(+), 9 deletions(-) diff --git a/bin/update_web_site b/bin/update_web_site index efbe1a2..8ac559f 100755 --- a/bin/update_web_site +++ b/bin/update_web_site @@ -6,15 +6,14 @@ BRANCH=ppl-0_10-branch -export CVS_RSH=ssh export PATH=/usr/local/bin:$PATH # Where the repository is on cvs.cs.unipr.it. -local_repository=/cvs/ppl +local_repository=/git/ppl # Where the repository is for remote developers. #remote_repository=$USER@cvs.cs.unipr.it:$local_repository -remote_repository=bagnara@cvs.cs.unipr.it:$local_repository +remote_repository=ssh://bagnara@git.cs.unipr.it$local_repository # The local machine. machine=`uname -n` @@ -49,17 +48,28 @@ notification=$top_dir/notification # Lock file name. lock=.LOCK +fetch_branch() { + repo=$1 + module=$2 + branch=$3 + mkdir $module && + (cd $module && + git init && + git remote add origin $repo/$module.git -t $branch -m $branch && + git fetch --depth=1 && + git checkout --track -b $branch origin/$branch) +} + obtain_sources() { case "$machine" in spartacus.cs.unipr.it) - cvs -d $local_repository export -D today w3ppl + fetch_branch $local_repository w3ppl master if [ $? -ne 0 ] then echo "Cannot copy the PPL web pages." >>$notification maybe_notify_developers_and_exit fi - cvs -z 9 -d $local_repository export -r $BRANCH ppl - #cvs -z 9 -d $local_repository export -D today ppl + fetch_branch $local_repository ppl $BRANCH if [ $? -ne 0 ] then echo "Cannot export the PPL sources." >>$notification @@ -83,14 +93,13 @@ obtain_sources() { fi ;; *) - cvs -d $remote_repository export -D today w3ppl + fetch_branch $remote_repository w3ppl master if [ $? -ne 0 ] then echo "Cannot export the PPL web pages." >>$notification maybe_notify_developers_and_exit fi - cvs -z 9 -d $remote_repository export -r $BRANCH ppl - #cvs -z 9 -d $remote_repository export -D today ppl + fetch_branch $remote_repository ppl $BRANCH if [ $? -ne 0 ] then echo "Cannot export the PPL sources." >>$notification

1 0

[GIT] ppl/w3ppl(master): Fetch only specified branch and without history.
by Abramo Bagnara 07 Apr '09

07 Apr '09

Module: ppl/w3ppl Branch: master Commit: a593eeb50ea99e366007c5a8778038ba7e25ab16 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=a593eeb50e… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Apr 7 18:51:37 2009 +0200 Fetch only specified branch and without history. --- bin/ppl_release | 11 +++++++++-- 1 files changed, 9 insertions(+), 2 deletions(-) diff --git a/bin/ppl_release b/bin/ppl_release index f0219ba..856d715 100755 --- a/bin/ppl_release +++ b/bin/ppl_release @@ -92,8 +92,15 @@ build_sources() { # and version strings are updated. if [ ${FINAL} -ne 0 ]; then inform "Updating ChangeLogs and version files" - ${GIT} clone ${GITROOT} ${SOURCE_DIRECTORY} || \ - error "Could not clone release sources" +# ${GIT} clone ${GITROOT} ${SOURCE_DIRECTORY} || \ +# error "Could not clone release sources" + mkdir ${SOURCE_DIRECTORY} + (changedir ${SOURCE_DIRECTORY} + ${GIT} init + ${GIT} remote add origin ${GITROOT} -t ${BRANCH} -m ${BRANCH} + ${GIT} fetch --depth=1) || \ + error "Could not clone release sources" +# (changedir ${SOURCE_DIRECTORY} ${GIT} checkout --track -b ${BRANCH} origin/${BRANCH}) || \ error "Could not checkout ${BRANCH}"

1 0

[GIT] ppl/w3ppl(master): Converted to git.
by Abramo Bagnara 07 Apr '09

07 Apr '09

Module: ppl/w3ppl Branch: master Commit: 56ad11fbea8ac9bd1446439319fe6771519427c5 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=56ad11fbea… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Apr 7 16:59:46 2009 +0200 Converted to git. --- bin/ppl_release | 62 ++++++++++++++++++++++++------------------------------ 1 files changed, 28 insertions(+), 34 deletions(-) diff --git a/bin/ppl_release b/bin/ppl_release index 9b4d71b..f0219ba 100755 --- a/bin/ppl_release +++ b/bin/ppl_release @@ -18,7 +18,6 @@ # Here is an example Usage of this script, to create a PPL 0.8 # release: # -# cvs -d cvs.cs.unipr.it:/cvs/ppl rtag -b ppl-0_8-branch ppl # ppl_release -f -r 0.8 sources # ppl_release -f -r 0.8 tarfiles # ppl_release -f -r 0.8 rpmfiles @@ -93,9 +92,11 @@ build_sources() { # and version strings are updated. if [ ${FINAL} -ne 0 ]; then inform "Updating ChangeLogs and version files" - ${CVS} co -d "`basename ${SOURCE_DIRECTORY}`" \ - -r ${BRANCH} ppl || \ - error "Could not check out release sources" + ${GIT} clone ${GITROOT} ${SOURCE_DIRECTORY} || \ + error "Could not clone release sources" + (changedir ${SOURCE_DIRECTORY} + ${GIT} checkout --track -b ${BRANCH} origin/${BRANCH}) || \ + error "Could not checkout ${BRANCH}" for x in `find ${SOURCE_DIRECTORY} -name ChangeLog`; do cat - ${x} > ${x}.new <<EOF ${LONG_DATE} Release Manager @@ -106,7 +107,7 @@ EOF mv ${x}.new ${x} || \ error "Could not update ${x}" (changedir `dirname ${x}` && \ - ${CVS} ci -m 'Mark ChangeLog.' `basename ${x}`) || \ + ${GIT} commit -m 'Mark ChangeLog.' `basename ${x}`) || \ error "Could not commit ${x}" done @@ -116,31 +117,25 @@ EOF (changedir `dirname ${SOURCE_DIRECTORY}/${x}` && \ sed -e 's/^AC_INIT($[^,]*$,[ ]*[^,]*,[ ]*$[^)]*$,[ ]*$[^)]*$)/AC_INIT(\1, '[${RELEASE}]', \2, \3)/g' < ${y} > ${y}.new && \ mv ${y}.new ${y} && \ - ${CVS} ci -m 'Update version.' ${y}) || \ + ${GIT} commit -m 'Update version.' ${y}) || \ error "Could not update ${x}" done # Make sure we tag the sources for a final release. TAG="ppl_`echo ${RELEASE} | tr . _`_release" - rm -rf ${SOURCE_DIRECTORY} +# rm -rf ${SOURCE_DIRECTORY} fi # Tag the sources. if [ -n "${TAG}" ]; then inform "Tagging release sources" - ${CVS} rtag -r ${BRANCH} -F ${TAG} ppl || \ - error "Could not tag release sources" + (changedir ${SOURCE_DIRECTORY} + ${GIT} tag -s -m "Release ${RELEASE} tagged ${TAG}." -f ${TAG} HEAD) || \ + error "Could not tag release sources" BRANCH=$TAG fi - # Export the current sources. - inform "Retrieving release sources" - ${CVS} \ - export -d "`basename ${SOURCE_DIRECTORY}`" \ - -r ${BRANCH} ppl || \ - error "Could not retrieve release sources" - # Configure the sources inform "Configuring the release sources" changedir "${SOURCE_DIRECTORY}" @@ -187,7 +182,7 @@ build_rpmfiles() { changedir "${WORKING_DIRECTORY}" # RPM_DIR=`grep topdir /home/roberto/.rpmmacros | cut -d" " -f2 | sed -e "s/)//g"` RPM_DIR=$HOME/rpm - cp ${SOURCE_DIRECTORY}/ppl.spec ${RPM_DIR}/SPECS + cp ${SOURCE_DIRECTORY}/fedora/ppl.spec ${RPM_DIR}/SPECS cp ppl-*.tar.gz ${RPM_DIR}/SOURCES rpmbuild -ba --sign ${RPM_DIR}/SPECS/ppl.spec mv -f ${RPM_DIR}/SRPMS/ppl-${RELEASE}-1.src.rpm ${WORKING_DIRECTORY} @@ -216,7 +211,7 @@ EOF # Commit the change log if [ ${FINAL} -ne 0 ]; then - ${CVS} ci -m 'Add release entry.' debian/changelog \ + ${GIT} commit -m 'Add release entry.' debian/changelog \ || error "Could not commit changelog." fi @@ -298,15 +293,15 @@ DATE=`date "+%Y%m%d"` LONG_DATE=`date "+%Y-%m-%d"` RFC_2822_DATE=`date --rfc-2822` -# The CVS server containing the PPL repository. -#CVS_SERVER="localhost" -CVS_SERVER="cvs.cs.unipr.it" +# The GIT server containing the PPL repository. +#GIT_SERVER="localhost" +GIT_SERVER="git.cs.unipr.it" # The path to the repository on that server. -CVS_REPOSITORY="/cvs/ppl" -# The CVS protocol to use. -CVS_PROTOCOL="ext" +GIT_REPOSITORY="/git/ppl/ppl.git" +# The GIT protocol to use. +GIT_PROTOCOL="ssh" # The username to use when connecting to the server. -CVS_USERNAME="${USER}" +GIT_USERNAME="${USER}" # The machine to which files will be uploaded. PPL_HOSTNAME="ftp.cs.unipr.it" @@ -347,7 +342,7 @@ SOURCE_DIRECTORY="" # Non-zero if this is the final release, rather than a prerelease. FINAL=0 -# Non-zero if we are running locally on cvs.cs.unipr.it, and use local CVS +# Non-zero if we are running locally on git.cs.unipr.it, and use local GIT # and copy directly to the FTP directory. LOCAL=0 @@ -362,7 +357,7 @@ MODE_UPLOAD=0 # Programs we use. BZIP2="${BZIP2:-bzip2}" -CVS="${CVS:-cvs -f -Q -z9}" +GIT="${GIT:-git}" DIFF="${DIFF:-diff -Nrc3pad}" ENV="${ENV:-env}" GZIP="${GZIP:-gzip --best}" @@ -380,7 +375,7 @@ while getopts "d:fr:u:t:p:sl" ARG; do d) DESTINATION="${OPTARG}";; r) RELEASE="${OPTARG}";; t) TAG="${OPTARG}";; - u) CVS_USERNAME="${OPTARG}";; + u) GIT_USERNAME="${OPTARG}";; f) FINAL=1;; l) LOCAL=1 SCP=cp @@ -396,7 +391,7 @@ done shift `expr ${OPTIND} - 1` # Perform consistency checking. -if [ ${LOCAL} -eq 0 ] && [ -z ${CVS_USERNAME} ]; then +if [ ${LOCAL} -eq 0 ] && [ -z ${GIT_USERNAME} ]; then error "No username specified" fi @@ -440,14 +435,13 @@ fi WORKING_DIRECTORY="${DESTINATION}/ppl-${RELEASE}" SOURCE_DIRECTORY="${WORKING_DIRECTORY}/ppl-${RELEASE}" -# Set up CVSROOT. +# Set up GITROOT. if [ $LOCAL -eq 0 ]; then - CVSROOT=":${CVS_PROTOCOL}:${CVS_USERNAME}@" - CVSROOT="${CVSROOT}${CVS_SERVER}:${CVS_REPOSITORY}" + GITROOT="${GIT_PROTOCOL}://${GIT_USERNAME}@" + GITROOT="${GITROOT}${GIT_SERVER}${GIT_REPOSITORY}" else - CVSROOT="${CVS_REPOSITORY}" + GITROOT="${GIT_REPOSITORY}" fi -export CVSROOT ######################################################################## # Main Program

1 0

[GIT] ppl/w3ppl(master): Removed snapshots.
by Abramo Bagnara 07 Apr '09

07 Apr '09

Module: ppl/w3ppl Branch: master Commit: 5c205f8cf1b42d3a83a86363704e91b0a397df76 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=5c205f8cf1… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Apr 7 14:08:40 2009 +0200 Removed snapshots. --- bin/ppl_release | 102 +++++++++++++------------------------------------------ 1 files changed, 24 insertions(+), 78 deletions(-) diff --git a/bin/ppl_release b/bin/ppl_release index 8cdce55..9b4d71b 100755 --- a/bin/ppl_release +++ b/bin/ppl_release @@ -347,10 +347,6 @@ SOURCE_DIRECTORY="" # Non-zero if this is the final release, rather than a prerelease. FINAL=0 -# Non-zero if we are building a snapshot, and don't build ppl or -# include generated files. -SNAPSHOT=0 - # Non-zero if we are running locally on cvs.cs.unipr.it, and use local CVS # and copy directly to the FTP directory. LOCAL=0 @@ -386,7 +382,6 @@ while getopts "d:fr:u:t:p:sl" ARG; do t) TAG="${OPTARG}";; u) CVS_USERNAME="${OPTARG}";; f) FINAL=1;; - s) SNAPSHOT=1;; l) LOCAL=1 SCP=cp FTP_PATH="/var/ftp/pub/ppl" @@ -409,53 +404,36 @@ if [ ! -d ${DESTINATION} ]; then error "\`${DESTINATION}' is not a directory" fi -if [ $SNAPSHOT -eq 0 ]; then - if [ -z ${RELEASE} ]; then - error "No release number specified" - fi +if [ -z ${RELEASE} ]; then + error "No release number specified" +fi - # Compute the major and minor release numbers. - RELEASE_MAJOR=`echo $RELEASE | awk -v FS=. '{ print $1; }'` - RELEASE_MINOR=`echo $RELEASE | awk -v FS=. '{ print $2; }'` - RELEASE_REVISION=`echo $RELEASE | awk -v FS=. '{ print $3; }'` +# Compute the major and minor release numbers. +RELEASE_MAJOR=`echo $RELEASE | awk -v FS=. '{ print $1; }'` +RELEASE_MINOR=`echo $RELEASE | awk -v FS=. '{ print $2; }'` +RELEASE_REVISION=`echo $RELEASE | awk -v FS=. '{ print $3; }'` - if [ -z "${RELEASE_MAJOR}" ] || [ -z "${RELEASE_MINOR}" ]; then - error "Release number \`${RELEASE}' is invalid" - fi +if [ -z "${RELEASE_MAJOR}" ] || [ -z "${RELEASE_MINOR}" ]; then + error "Release number \`${RELEASE}' is invalid" +fi - # Compute the full name of the release. - if [ -z "${RELEASE_REVISION}" ]; then - RELEASE="${RELEASE_MAJOR}.${RELEASE_MINOR}" - else - RELEASE="${RELEASE_MAJOR}.${RELEASE_MINOR}.${RELEASE_REVISION}" - fi +# Compute the full name of the release. +if [ -z "${RELEASE_REVISION}" ]; then + RELEASE="${RELEASE_MAJOR}.${RELEASE_MINOR}" +else + RELEASE="${RELEASE_MAJOR}.${RELEASE_MINOR}.${RELEASE_REVISION}" +fi - # Compute the name of the branch, which is based solely on the major - # and minor release numbers. - BRANCH="ppl-${RELEASE_MAJOR}_${RELEASE_MINOR}-branch" +# Compute the name of the branch, which is based solely on the major +# and minor release numbers. +BRANCH="ppl-${RELEASE_MAJOR}_${RELEASE_MINOR}-branch" - # If this is not a final release, set various parameters acordingly. - if [ ${FINAL} -ne 1 ]; then - RELEASE="${RELEASE}-${DATE}" - FTP_PATH="${FTP_PATH}/snapshots/" - else - FTP_PATH="${FTP_PATH}/releases/${RELEASE}/" - fi +# If this is not a final release, set various parameters acordingly. +if [ ${FINAL} -ne 1 ]; then + RELEASE="${RELEASE}-${DATE}" + FTP_PATH="${FTP_PATH}/snapshots/" else - RELEASE=$DATE - # For now snapshots come from the mainline. - BRANCH=HEAD - FTP_PATH="${FTP_PATH}/snapshots/${LONG_DATE}" - TAG=ppl_ss_${DATE} - - # Building locally on cvs.cs.unipr.it, we know what the last snapshot date - # was. - if [ $LOCAL -ne 0 ]; then - LAST_DATE=`cat ~/.snapshot_date` - LAST_LONG_DATE=`date --date=$LAST_DATE +%Y-%m-%d` - LAST_DIR=/var/ftp/pub/ppl/snapshots/${LAST_LONG_DATE} - OLD_TARS=${LAST_DIR}/ppl-${LAST_DATE}.tar.gz - fi + FTP_PATH="${FTP_PATH}/releases/${RELEASE}/" fi # Compute the name of the WORKING_DIRECTORY and the SOURCE_DIRECTORY. @@ -529,36 +507,4 @@ fi if [ $MODE_UPLOAD -ne 0 ]; then upload_files - - # For snapshots, make some further updates. - if [ $SNAPSHOT -ne 0 ] && [ $LOCAL -ne 0 ]; then - # Update links on the FTP server. - TEXT_DATE=`date --date=$DATE +%B\ %d,\ %Y` - cd /var/ftp/pub/ppl/snapshots - sed -e "s%@DATE@%$DATE%g" -e "s%@LAST_DATE@%$LAST_DATE%g" \ - -e "s%@LONG_DATE@%$LONG_DATE%g" \ - -e "s%@TEXT_DATE@%$TEXT_DATE%g" < ~/scripts/snapshot-README > $$ - mv $$ README - sed -e "s%@DATE@%$DATE%g" -e "s%@LAST_DATE@%$LAST_DATE%g" \ - -e "s%@LONG_DATE@%$LONG_DATE%g" \ - -e "s%@TEXT_DATE@%$TEXT_DATE%g" < ~/scripts/snapshot-index.html > $$ - mv $$ index.html - - touch LATEST-IS-$LONG_DATE - rm -f LATEST-IS-$LAST_LONG_DATE - - # Update snapshot date file. - changedir ~ - echo $DATE >.snapshot_date - - # Update the ppl_latest_snapshot tag. - ${CVS} rtag -d ppl_latest_snapshot ppl - ${CVS} rtag -rppl_ss_${DATE} ppl_latest_snapshot ppl - - # Announce the snapshot. - mail -s "ppl-ss-$DATE is now available" ppl-devel(a)cs.unipr.it < /var/ftp/pub/ppl/snapshots/README - - # Remove working directory. - rm -rf ${WORKING_DIRECTORY} - fi fi

1 0