|
|
|
@ -5,7 +5,7 @@
|
|
|
|
SCALA_SCALA_LIBRARY_EXPECTED=95
|
|
|
|
SCALA_SCALA_LIBRARY_EXPECTED=95
|
|
|
|
SCALA_SCALA_COMPILER_EXPECTED=89
|
|
|
|
SCALA_SCALA_COMPILER_EXPECTED=89
|
|
|
|
DOTTY_COMPILER_EXPECTED=82
|
|
|
|
DOTTY_COMPILER_EXPECTED=82
|
|
|
|
SYNTAX_COMPLEXITY_CEILING=2500
|
|
|
|
SYNTAX_COMPLEXITY_CEILING=1300
|
|
|
|
|
|
|
|
|
|
|
|
if [ ! -d "$SCALA_SCALA_DIR" ]; then
|
|
|
|
if [ ! -d "$SCALA_SCALA_DIR" ]; then
|
|
|
|
echo "\$SCALA_SCALA_DIR must be set"
|
|
|
|
echo "\$SCALA_SCALA_DIR must be set"
|
|
|
|
|