diff options
author | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2008-04-09 16:56:53 +0000 |
---|---|---|
committer | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2008-04-09 16:56:53 +0000 |
commit | 9346877092dbe49dc13392134c36773f1220b6c3 (patch) | |
tree | 68d7ba8a15d5fcf715a76d662ab68b6f9a13a6fe /src | |
parent | 07b35f671e36a681583548c6abc209913c07fec5 (diff) | |
download | scala-9346877092dbe49dc13392134c36773f1220b6c3.tar.gz scala-9346877092dbe49dc13392134c36773f1220b6c3.tar.bz2 scala-9346877092dbe49dc13392134c36773f1220b6c3.zip |
Added a simple target to build a JVM 1.4 versio...
Added a simple target to build a JVM 1.4 version of the Scala compiler
and library.
Diffstat (limited to 'src')
-rw-r--r-- | src/compiler/scala/tools/ant/sabbus/Make.scala | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/compiler/scala/tools/ant/sabbus/Make.scala b/src/compiler/scala/tools/ant/sabbus/Make.scala index 32ef5e0414..21ac55ceb9 100644 --- a/src/compiler/scala/tools/ant/sabbus/Make.scala +++ b/src/compiler/scala/tools/ant/sabbus/Make.scala @@ -26,6 +26,10 @@ class Make extends Task { } } + def setTarget(input: String): Unit = { + compTarget = Some(input) + } + def setCompilationPath(input: Path): Unit = { if (compilationPath.isEmpty) compilationPath = Some(input) else compilationPath.get.append(input) @@ -74,6 +78,7 @@ class Make extends Task { private var id: Option[String] = None private var params: Option[String] = None + private var compTarget: Option[String] = None private var compilationPath: Option[Path] = None private var sourcePath: Option[Path] = None private var compilerPath: Option[Path] = None @@ -84,6 +89,7 @@ class Make extends Task { if (compilerPath.isEmpty) error("Mandatory attribute 'compilerpath' is not set.") val settings = new Settings if (!destinationDir.isEmpty) settings.d = destinationDir.get + if (!compTarget.isEmpty) settings.target = compTarget.get if (!compilationPath.isEmpty) settings.classpath = compilationPath.get if (!sourcePath.isEmpty) settings.sourcepath = sourcePath.get if (!params.isEmpty) settings.more = params.get |