]> mj.ucw.cz Git - moe.git/blobdiff - bin/mo-create-public
Fix paths and permissions.
[moe.git] / bin / mo-create-public
index 24766fd2cf295cdc04a4092681cf3ccd7641b63b..deeca701c5915b3506f4b9acdee43162ac6d9c24 100755 (executable)
@@ -7,7 +7,7 @@ set -e
 echo "Populating $MO_ROOT/public"
 H=`pwd`
 cd $MO_ROOT/public
-rm -rf bin
+rm -rf bin submit
 
 sed 's/^TEST_USER=/#TEST_USER=/' <$H/config >config
 
@@ -17,6 +17,14 @@ for a in `cat $H/public/COPY` ; do
        cp -a $H/$a bin/
 done
 
+if [ -n "$REMOTE_SUBMIT" ] ; then
+       mkdir -p submit
+       cp $H/submit/{contest,remote-submit,remote-status} bin/
+       mkdir -p submit/lib/perl5/{MO,Sherlock}
+       cp $H/submit/MO/*.pm submit/lib/perl5/MO/
+       cp $H/submit/lib/perl5/Sherlock/Object.pm submit/lib/perl5/Sherlock/
+fi
+
 mkdir -p problems
 
 if [ `id -u` == 0 ] ; then