2019-04-14 12:33:49 +02:00
|
|
|
#!/bin/zsh
|
2018-12-07 21:09:51 +01:00
|
|
|
|
|
|
|
. ./vars
|
|
|
|
|
|
|
|
cd ..
|
|
|
|
|
2019-04-14 12:33:11 +02:00
|
|
|
STUDENT_DIR=`ls -d ${PREFIX}-s??????`
|
2018-12-07 21:09:51 +01:00
|
|
|
|
|
|
|
echo "USING $STUDENT_DIR"
|
|
|
|
|
|
|
|
rm -rf arena
|
|
|
|
mkdir arena
|
|
|
|
|
|
|
|
cp -R $STUDENT_DIR/* arena/
|
|
|
|
ln -s ../$STUDENT_DIR/.git arena/.git
|
|
|
|
|
|
|
|
mkdir -p arena/regexp
|
2019-01-11 20:10:52 +01:00
|
|
|
mkdir -p arena/automata
|
2018-12-07 21:09:51 +01:00
|
|
|
|
|
|
|
rm -rf arena/odp arena/$PREFIX
|
|
|
|
|
|
|
|
rm arena/run.sh arena/vars
|
|
|
|
find arena -regex '.*/Task.*Test\.\(py\|dat\..*\)' -exec rm '{}' ';'
|
|
|
|
|
|
|
|
cp "${PREFIX}/run.sh" arena/run.sh
|
|
|
|
cp "${PREFIX}/vars" arena/vars
|
|
|
|
cp "${PREFIX}/overrides.txt" arena/overrides.txt
|
|
|
|
|
|
|
|
find ${PREFIX} -regex '.*/Task.*Test\.\(py\|dat\..*\)' -print | while read T; do cp $T ${T/${PREFIX}/arena}; done
|