diff options
Diffstat (limited to 'support/jedit/console/commando/scalac.xml')
-rw-r--r-- | support/jedit/console/commando/scalac.xml | 70 |
1 files changed, 0 insertions, 70 deletions
diff --git a/support/jedit/console/commando/scalac.xml b/support/jedit/console/commando/scalac.xml deleted file mode 100644 index 7fad39bada..0000000000 --- a/support/jedit/console/commando/scalac.xml +++ /dev/null @@ -1,70 +0,0 @@ -<?xml version="1.0"?> -<!DOCTYPE COMMANDO SYSTEM "commando.dtd"> -<!-- Author(s): Manpreet Singh \junkblocker/ \at/ \yahoo/ \dot/ \com/ --> -<!-- Stephane Micheloud (http://scala.epfl.ch/) --> -<COMMANDO> - <UI> - <CAPTION LABEL="Scala Settings"> - <!-- See http://www.rgagnon.com/javadetails/java-0150.html --> - <DIR_ENTRY LABEL="Scala Home Path" VARNAME="home" EVAL=' - envProps = new Properties(); - osname = System.getProperty("os.name", "unknown").toLowerCase(); - if (osname.indexOf("windows 9") != -1) { - cmd = "command.com /c set"; - isWin32 = true; - } - else if ( (osname.indexOf("nt") != -1) || - (osname.indexOf("windows 20") != -1) || - (osname.indexOf("windows xp") != -1) ) { - cmd = "cmd.exe /c set"; - isWin32 = true; - } - else { - cmd = "env"; - isWin32 = false; - } - p = Runtime.getRuntime().exec(cmd); - is = new InputStreamReader(p.getInputStream()); - rd = new BufferedReader(is); - line = null; - while ((line = rd.readLine()) != null) { - index = -1; - if ((index = line.indexOf("=")) > -1) { - key = line.substring(0, index).trim(); - value = line.substring(index + 1).trim(); - envProps.setProperty(key, value); - } - else - envProps.setProperty(line, ""); - } - is.close(); - - value = envProps.getProperty("SCALA_HOME"); - if (value == null) { - value = (isWin32) ? "c:\\\\Progra~1\\Scala" : "/usr/local/scala"; - } - value - '/> - </CAPTION> - <CAPTION LABEL="Source File(s)"> - <FILE_ENTRY LABEL="Source File(s)" VARNAME="sources" EVAL='buffer.getPath()'/> - </CAPTION> - <CAPTION LABEL="Paths"> - <DIR_ENTRY LABEL="Class path" VARNAME="classpath" EVAL='buffer.getDirectory()'/> - <DIR_ENTRY LABEL="Output directory" VARNAME="output_dir"/> - </CAPTION> - </UI> - <COMMANDS> - <COMMAND SHELL="System" CONFIRM="FALSE"> - buf = new StringBuffer(); - if (home.length() > 0) buf.append(home + File.separator + "bin" + File.separator); - buf.append("scalac"); - if (classpath.length() > 0) buf.append(" -classpath " + classpath); - if (output_dir.length() > 0) buf.append(" -d " + output_dir); - buf.append(" " + sources); - buf.toString() - </COMMAND> - </COMMANDS> -</COMMANDO> - -<!-- $Id$ --> |