diff options
-rw-r--r-- | Makefile.config | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Makefile.config b/Makefile.config index 63673a442b..9910f103ea 100644 --- a/Makefile.config +++ b/Makefile.config @@ -13,6 +13,7 @@ PROJECT_NAME ?= scala PROJECT_ROOT ?= $(ROOT) +PROJECT_BINARYDIR ?= $(PROJECT_ROOT)/bin PROJECT_CONFIGDIR ?= $(PROJECT_ROOT)/config PROJECT_LIBRARYDIR ?= $(PROJECT_ROOT)/lib PROJECT_SUPPORTDIR ?= $(PROJECT_ROOT)/support @@ -81,6 +82,11 @@ PICO ?= pico PICO_FLAGS ?= -make -source 1.4 ############################################################################## +# Scala compiler + +SCALAC ?= $(PROJECT_BINARYDIR)/socos + +############################################################################## # Makefile functions RUN ?= $(ECHO) '$(1)'; $(1) || exit $$? |