diff options
| author | cassio <cassiopc@gmail.com> | 2013-07-02 05:46:45 +0000 |
|---|---|---|
| committer | cassio <cassiopc@gmail.com> | 2013-07-02 05:46:45 +0000 |
| commit | be2491b093b1f0ca430bede679ecbb670041e483 (patch) | |
| tree | fe2da63d1811cb93e4352a43a113ace37b9f6017 /tools/genpackage.sh | |
| parent | a9aa438ea0558eb0044cf1e54a9190ddb41b65e5 (diff) | |
| download | boca-be2491b093b1f0ca430bede679ecbb670041e483.tar.gz boca-be2491b093b1f0ca430bede679ecbb670041e483.zip | |
restructuring of boca's git
Diffstat (limited to 'tools/genpackage.sh')
| -rwxr-xr-x | tools/genpackage.sh | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/tools/genpackage.sh b/tools/genpackage.sh new file mode 100755 index 0000000..18caac2 --- /dev/null +++ b/tools/genpackage.sh @@ -0,0 +1,51 @@ +#!/bin/bash +# //////////////////////////////////////////////////////////////////////////////// +# //BOCA Online Contest Administrator +# // Copyright (C) 2003-2012 by BOCA Development Team (bocasystem@gmail.com) +# // +# // This program is free software: you can redistribute it and/or modify +# // it under the terms of the GNU General Public License as published by +# // the Free Software Foundation, either version 3 of the License, or +# // (at your option) any later version. +# // +# // This program is distributed in the hope that it will be useful, +# // but WITHOUT ANY WARRANTY; without even the implied warranty of +# // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# // GNU General Public License for more details. +# // You should have received a copy of the GNU General Public License +# // along with this program. If not, see <http://www.gnu.org/licenses/>. +# //////////////////////////////////////////////////////////////////////////////// +# // Last modified 06/aug/2012 by cassio@ime.usp.br +cdir=`pwd` +basen=`basename $cdir` +if [ ! -f "$cdir/genpackage.sh" -o "$basen" != "tools" ]; then + echo "Please run this script from its own directory in tools/ of the BOCA directory" +else +ver=$(basename $(dirname $cdir) | cut -d'-' -f2-) +echo "*** Processing version $ver" +cd ../.. +if [ "$ver" != "" -a -d "boca-$ver" ]; then +echo "boca-$ver" > boca-$ver/src/version +echo -e "<?php\n\$BOCAVERSION='boca-$ver';\n\$YEAR='2012';\n?>\n" > boca-$ver/src/versionnum.php +touch boca-$ver/src/private/runtmp/run0.php boca-$ver/src/private/scoretmp/0.php boca-$ver/src/private/remotescores/0.dat \ + boca-$ver/src/private/remotescores/0.tmp boca-$ver/src/private/problemtmp/problem0.tmp +rm -f boca-$ver/src/balloons/*.png +rm -f boca-$ver/src/private/runtmp/run*.php boca-$ver/src/private/scoretmp/*.php boca-$ver/src/private/remotescores/*.dat \ + boca-$ver/src/private/remotescores/*.tmp +rm -rf boca-$ver/src/private/problemtmp/problem* +touch boca-$ver/.temp +rm boca-$ver/.temp `find boca-$ver/ -name "*.orig"` +touch boca-$ver/.temp +rm boca-$ver/.temp `find boca-$ver/ -name "*~"` +touch boca-$ver/.temp +rm boca-$ver/.temp `find boca-$ver/ -name ".\#*"` +cd boca-$ver/tools/etc +tar cvzf ../icpc.etc.tgz * +cd ../../.. +tar czf boca-$ver.tgz boca-$ver/ +echo "*** file generated: `pwd`/boca-$ver.tgz" +else + echo "*** boca-$ver not found" +fi +fi +cd $cdir |