X-Git-Url: http://mj.ucw.cz/gitweb/?a=blobdiff_plain;f=mop%2Fpublic%2Fcompile.sh;h=c467dca0f058e8a416095b583c324ed23601fcfc;hb=30058c43d5963b139c91800a51705917020722ae;hp=f96528f2a5bcb1eb813e9e233c4330b96017417f;hpb=fc833e30d9b1315ffdeb780d5257e8e1bdafad43;p=eval.git

diff --git a/mop/public/compile.sh b/mop/public/compile.sh
index f96528f..c467dca 100755
--- a/mop/public/compile.sh
+++ b/mop/public/compile.sh
@@ -3,8 +3,10 @@
 
 set -e
 [ -n "$MO_ROOT" -a -d "$MO_ROOT" ] || { echo >&2 "MO_ROOT not set, giving up." ; exit 1 ; }
-. $MO_ROOT/bin/lib
-. $MO_ROOT/config
+pushd $MO_ROOT >/dev/null
+. lib/libeval.sh
+. cf/mop
+popd >/dev/null
 
 [ -n "$1" ] || die "Usage: compile (<problem> | <file> [<options>])"
 if [ "${1%%.*}" == "$1" ] ; then