Fix dummy task-type

[eval.git] / mop / public / compile.sh

diff --git a/mop/public/compile.sh b/mop/public/compile.sh
index f96528f2a5bcb1eb813e9e233c4330b96017417f..c467dca0f058e8a416095b583c324ed23601fcfc 100755 (executable)
--- 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