@@ -71,44 +71,7 @@ if [[ ${cygwin-} || ${mingw-} || ${msys-} ]]; then
7171 esac
7272fi
7373
74- # Resolve JAVA_HOME from javac command path
75- if [ -z " $JAVA_HOME " ]; then
76- javaExecutable=" ` which javac` "
77- if [ -n " $javaExecutable " -a -f " $javaExecutable " -a ! " ` expr \" $javaExecutable \" : ' \([^ ]*\)' ` " = " no" ]; then
78- # readlink(1) is not available as standard on Solaris 10.
79- readLink=` which readlink`
80- if [ ! ` expr " $readLink " : ' \([^ ]*\)' ` = " no" ]; then
81- javaExecutable=" ` readlink -f \" $javaExecutable \" ` "
82- javaHome=" ` dirname \" $javaExecutable \" ` "
83- javaHome=` expr " $javaHome " : ' \(.*\)/bin' `
84- JAVA_HOME=" $javaHome "
85- export JAVA_HOME
86- fi
87- fi
88- fi
89-
90- if [ -z " ${JAVACMD-} " ] ; then
91- if [ -n " ${JAVA_HOME-} " ] ; then
92- if [ -x " $JAVA_HOME /jre/sh/java" ] ; then
93- # IBM's JDK on AIX uses strange locations for the executables
94- JAVACMD=" $JAVA_HOME /jre/sh/java"
95- else
96- JAVACMD=" $JAVA_HOME /bin/java"
97- fi
98- else
99- JAVACMD=" ` which java` "
100- fi
101- fi
102-
103- if [ ! -x " $JAVACMD " ] ; then
104- echo " Error: JAVA_HOME is not defined correctly."
105- echo " We cannot execute $JAVACMD "
106- exit 1
107- fi
108-
109- if [ -z " $JAVA_HOME " ] ; then
110- echo " Warning: JAVA_HOME environment variable is not set."
111- fi
74+ source " $PROG_HOME /bin/cli-common-platform"
11275
11376CLASSPATH_SUFFIX=" "
11477# Path separator used in EXTRA_CLASSPATH
13699# * The code below is for Dotty
137100# *-------------------------------------------------*/
138101
139- find_lib () {
140- for lib in " $PROG_HOME " /lib/$1 ; do
141- if [[ -f " $lib " ]]; then
142- if [ -n " $CYGPATHCMD " ]; then
143- " $CYGPATHCMD " -am " $lib "
144- elif [[ $mingw || $msys ]]; then
145- echo " $lib " | sed ' s|/|\\\\|g'
146- else
147- echo " $lib "
148- fi
149- return
150- fi
151- done
152- }
153-
154- SCALA_CLI_JAR=" $PROG_HOME /etc/scala-cli.jar"
155-
156102declare -a scala_args
157103
158104addScala () {
0 commit comments