Fixed scala scripts to work from scripts directory

scripts/scalacleon

@@ -3,9 +3,9 @@
 #  - Leon home is stored in PATH_TO_LEON
 #  - we have xargs installed
 #  - ${SCALA_COMPILER} is on the path
-PATH_TO_LEON="./"  # assume we run from Leon home directory
+PATH_TO_LEON=".."  # assume we run from Leon script directory
 PATH_TO_LEON_LIB="${PATH_TO_LEON}/library/"
-OUT_CLASSES_DIR="./out-classes"
+OUT_CLASSES_DIR="${PATH_TO_LEON}/out-classes"
 SCALA_COMPILER="fsc"
 mkdir -p ${OUT_CLASSES_DIR}
 echo ========= Now invoking: ====================================

scripts/scalaleon

 #!/bin/bash --posix
 # Assumes:
 #  - ${SCALA_JVM} is on the path
-OUT_CLASSES_DIR="./out-classes"
+OUT_CLASSES_DIR="../out-classes" # assume we run from scripts directory
 SCALA_RUN="scala"
 if [[ -d ${OUT_CLASSES_DIR} ]] 
 then