djfz-2019/blend.sh

53 lines
1.0 KiB
Bash
Raw Normal View History

2019-10-19 17:16:22 +02:00
#!/bin/bash -ex
2019-10-19 18:46:46 +02:00
PREFIX=djfz-2019
2019-10-19 17:16:22 +02:00
cd ..
2019-10-19 20:32:34 +02:00
STUDENT_DIR=`ls -d ${PREFIX}-s??????`
2019-10-19 17:16:22 +02:00
echo "USING $STUDENT_DIR"
rm -rf arena
mkdir arena
cp -R $STUDENT_DIR/* arena/
ln -s ../$STUDENT_DIR/.git arena/.git
cp "${PREFIX}/create-report.pl" arena/
cp "${PREFIX}/count-points.pl" arena/
cp "${PREFIX}/overrides.txt" arena/
cp "${PREFIX}/Makefile" arena/
2020-01-23 10:58:42 +01:00
for TX in X01 X02 X03 X04 X05 X06 X07 X08 B00 B01 B02 B03 B04 B05 B06 C00 C01 C02 C03 C04 C05 C06 E01 E02 E03 E04 E05 E06 E07 # X05 X06 X07 X08 X09 X10 B03 B04 X10
2019-10-19 17:16:22 +02:00
do
mkdir -p arena/Task$TX
done
#cp $PREFIX/TaskA49/Makefile $PREFIX/TaskA49/run arena/TaskA49/
2019-12-03 10:38:09 +01:00
for AX in `seq -w 0 49`
2019-10-21 19:55:02 +02:00
do
mkdir -p arena/TaskA$AX
done
2019-10-19 17:16:22 +02:00
2019-10-19 18:46:46 +02:00
#for CX in `seq -w 0 6`
#do
# mkdir -p arena/TaskC0$CX
#done
2019-10-19 17:16:22 +02:00
find $PREFIX -name "*.in" -o -name "*.exp" | while read K; do
cp $K arena/${K#*/}
done
cd $PREFIX
for T in Task???
do
mkdir -p ../arena/$T
done
cd ..
find ${PREFIX} -regextype egrep -regex '.*/(description.txt|.*\.arg|.*\.in|.*\.exp)' -print | while read T; do cp $T ${T/${PREFIX}/arena}; done