if [ "x$GEXT_MARS" = "x" ] ; then
    echo "****" >&2
    echo "Environment variable GEXT_MARS not set.  Have your sourced this Greenstone3 extension's 'setup.bash' file?" >&2
    echo "****" >&2
elif

[ ! -d "$GEXT_MARS" ] ; then
    echo "****" >&2
    echo "Unable to find directory: $GEXT_MARS" >&2
    echo "****" >&2
else    

    cygpath --version >/dev/null 2>&1 
    status=$?
    
    if [ $status = 0 ] ; then
	weka_full_path="$GEXT_MARS/jars/weka.jar"
	weka_full_path_dos=`cygpath -w $weka_full_path`
	
	cp_args="$weka_full_path_dos\;src\java"
    else
	cp_args="$GEXT_MARS/jars/weka.jar:src/java"
    fi
fi