diff options
author | paltherr <paltherr@epfl.ch> | 2004-09-15 17:37:03 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2004-09-15 17:37:03 +0000 |
commit | 6a315386865fa6d78c7f92d849905c89dcf09d24 (patch) | |
tree | 265f964cb69b9ab4581f7179b0ccb9b98d0ced70 /Makefile.config | |
parent | 246717e05e78a60bd1ced8d806eeb3d8f8455f90 (diff) | |
download | scala-6a315386865fa6d78c7f92d849905c89dcf09d24.tar.gz scala-6a315386865fa6d78c7f92d849905c89dcf09d24.tar.bz2 scala-6a315386865fa6d78c7f92d849905c89dcf09d24.zip |
- Added SCALA and SCALAINFO
Diffstat (limited to 'Makefile.config')
-rw-r--r-- | Makefile.config | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.config b/Makefile.config index 6b878d2574..53cb59f94f 100644 --- a/Makefile.config +++ b/Makefile.config @@ -104,11 +104,13 @@ PICO_FLAGS ?= -make -source 1.4 # Scala tools SCALA_HOME ?= +SCALA ?= $(SCALA_HOME:%=%/bin/)scala SCALAC ?= $(SCALA_HOME:%=%/bin/)scalac SCALAP ?= $(SCALA_HOME:%=%/bin/)scalap SCALAINT ?= $(SCALA_HOME:%=%/bin/)scalaint SCALARUN ?= $(SCALA_HOME:%=%/bin/)scalarun SCALADOC ?= $(SCALA_HOME:%=%/bin/)scaladoc +SCALAINFO ?= $(SCALA_HOME:%=%/bin/)scala-info ############################################################################## # Convert tool (ImageMagick) |