X-Git-Url: http://mj.ucw.cz/gitweb/?a=blobdiff_plain;f=mop%2Fadmin%2Fmo-create-public.sh;h=9e05d02abab2b8c08b62e5181bfee1cef3a4878d;hb=30c7aff241814c9e99ff3c1521ac40b3d5c721d3;hp=91c9c8e715deca1d252005ccd5b610daa40de851;hpb=fc833e30d9b1315ffdeb780d5257e8e1bdafad43;p=eval.git

diff --git a/mop/admin/mo-create-public.sh b/mop/admin/mo-create-public.sh
index 91c9c8e..9e05d02 100755
--- a/mop/admin/mo-create-public.sh
+++ b/mop/admin/mo-create-public.sh
@@ -1,26 +1,29 @@
 #!/bin/bash
+# Create a directory with the public scripts from mop/public/.
 
-[ -f config ] || { echo "Missing config file, check cwd." ; exit 1 ; }
+[ -f cf/mop ] || { echo "Missing config file, check cwd." ; exit 1 ; }
 set -e
-. config
+. cf/mop
 
 echo "Populating $MO_ROOT/public"
 H=`pwd`
 cd $MO_ROOT/public
-rm -rf bin lib
+rm -rf bin lib cf
 
-sed '/^\(TEST_USER\|MO_ROOT\)=/s/^/#/' <$H/config >config
+mkdir cf
+for a in eval mop ; do
+	sed '/^\(TEST_USER\|MO_ROOT\)=/s/^/#/' <$H/cf/$a >cf/$a
+done
 
 mkdir bin
-cp -a $H/public/[a-z]* bin/
-for a in `cat $H/public/COPY` ; do
-	cp -a $H/$a bin/
-done
+cp -aL $H/bin/{check,submit,compile,status,box,iwrapper} bin/
+
+mkdir lib
+cp -aL $H/lib/libeval.sh lib/
 
 if [ -n "$REMOTE_SUBMIT" ] ; then
-	cp $H/submit/{contest,remote-submit,remote-status} bin/
-	mkdir lib
-	cp -a $H/submit/lib .
+	cp -aL $H/bin/{contest,remote-submit,remote-status} bin/
+	cp -aL $H/lib/perl5 lib/
 fi
 
 mkdir -p problems