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) |