30 lines
598 B
Bash
Executable File
30 lines
598 B
Bash
Executable File
#!/bin/zsh -ex
|
|
|
|
. ./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
|
|
mkdir -p arena/automata
|
|
|
|
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
|