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