2020-01-11 17:39:10 +01:00
|
|
|
#!/bin/zsh
|
|
|
|
|
|
|
|
. ./vars
|
|
|
|
|
|
|
|
cd ..
|
|
|
|
|
|
|
|
STUDENT_DIR=`ls -d ${PREFIX}-s??????`
|
|
|
|
|
|
|
|
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
|
2020-01-11 19:10:50 +01:00
|
|
|
#mkdir -p arena/automata
|
2020-01-11 17:39:10 +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
|