export MPATH="$MPATH -> prob"

if test "$1" = "clean"
then
        echo -n "$MPATH: cleaning... "
        $Holmake cleanAll
        echo "done."
else
        echo -n "$MPATH: building... "
        ($Holmake -I ../ho_prover -I ../subtypes -I ../RSA \
                  -I ../formalize --qof && echo "done.") || exit 1
fi
